psycopaths jdart issues

psycopaths / jdart

A dynamic symbolic analysis tool for Java

Apache License 2.0

110 stars 39 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Problems about Installing JDart by using Docker

#38 Chriszai opened 1 year ago
1
[SEVERE] no static entry method: com.hsx.jpf.controller.JpfDemoPeopleController.main([Ljava/lang/String;)V

#37 hsx1612727380 closed 2 years ago
6
How to deal with the methods with no parameters yet could be affected by other methods?

#36 QRXqrx closed 3 years ago
3
Where is path condition and solution result stored in?

#35 QRXqrx opened 3 years ago
4
fix docker build not working due to missing java

#34 magilus opened 5 years ago
0
Does jdart support complex data structure?

#33 Marvinmw opened 5 years ago
8
Outdated Docker file - docker build -t jdart . fails

#32 zubair527 closed 5 years ago
4
Getting the concrete return value

#31 JasonPap closed 6 months ago
1
Values

#30 c-jar opened 6 years ago
0
How to stub a method which is called from within the 'method under test' ?

#29 srgiri opened 6 years ago
1
Optimize string construction

#28 qsphan opened 6 years ago
0
Collecting constraints of a single path

#27 JasonPap closed 6 months ago
3
How to generate test inputs for method where the class uses external frameworks

#26 srgiri closed 6 years ago
1
How to test a method from diiferent java project in JDart.

#25 srgiri closed 7 years ago
2
Handling List, Map and String

#24 srgiri opened 7 years ago
24
How to specify the return value of a method as a symbolic variable?

#23 zhendong2050 opened 7 years ago
0
How to generate JUnit test cases and Coverage report from JDart.

#22 srgiri closed 7 years ago
6
proposed fix for missing automatic primitive widening in IINC bytecode

#21 fhowar closed 7 years ago
0
test any method from any Directory ?

#20 anboua opened 7 years ago
0
problem with jdart

#19 anboua closed 7 years ago
7
Bug in the method gov.nasa.jpf.jdart.ConcolicMethodExplorer.advanceValuation()

#18 ngocpq opened 7 years ago
0
Add support to get PC

#17 j-godoy opened 7 years ago
0
jdart failed to run Apollo that is runable with SPF

#16 chenbihuan opened 7 years ago
0
[Feature Request] Add support for symbolic array indices

#15 ksluckow opened 7 years ago
0
[Feature Request] Fixed array length

#14 zhenyu-zhou opened 7 years ago
0
[Feature Request] Problem for Enum

#13 zhenyu-zhou opened 7 years ago
0
Errors happen when testing constructor in a Java class

#12 yangyixiaof closed 7 years ago
1
How to test an object?

#11 yangyixiaof closed 7 years ago
3
Added JSON output generated by Gson

#10 chaofz closed 8 years ago
0
Added JSON output

#9 chaofz closed 8 years ago
0
Generating XML in JDart

#8 MarwenSami opened 8 years ago
1
Problem with switch statement.

#7 MarwenSami closed 8 years ago
2
JDart on JavaCard ?

#6 MarwenSami closed 7 years ago
13
Class not found gov.nasa.jpf.jdart.JDart by classloader

#5 MarwenSami closed 8 years ago
7
http authorization required

#4 mmuesly closed 8 years ago
1
max_depth does not work?

#3 chenbihuan closed 8 years ago
7
Couldn't make it work with z3

#2 zhenyu-zhou closed 8 years ago
3
Regression test suite needed

#1 mdimjasevic opened 8 years ago
0