pietrobraione jbse issues

pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation

http://pietrobraione.github.io/jbse/

GNU General Public License v3.0

100 stars 29 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Unexpected results when the targeted class has an inner class

#69 zzctmac opened 3 months ago
1
Unsafe.ensureClassInitialized is removed in JDK 22

#68 cushon closed 5 months ago
1
How to obtain the actual parameter values during the execution of each path?

#67 mrhuangzh opened 6 months ago
0
load is native and has no overriding implementation

#66 agilesw opened 7 months ago
6
Including ex info

#65 arobie1992 closed 1 year ago
2
Array with unknown length

#64 sjoon2455 closed 2 years ago
0
JBSE issue with JDBC

#63 cniddodi closed 1 year ago
1
function parameters, local variables are obfuscated to __PARAM, __LOCAL

#62 sjoon2455 closed 2 years ago
1
creation of a java byte code for a target method

#61 sjoon2455 opened 2 years ago
1
Do you support loop unrolling?

#60 sjoon2455 closed 2 years ago
1
Fix: computation of initial map moved in eval_INVOKEX. This enables e…

#59 gdenaro73 closed 2 years ago
0
Temporary rollback

#58 gdenaro73 closed 2 years ago
0
Handling input Map objects that derive from uninterpreted functions

#57 gdenaro73 closed 2 years ago
0
Expose all stored field signatures of an Objekt

#56 alessandropellegrini closed 1 year ago
2
Break recursion if checking if Null is simple

#55 alessandropellegrini closed 1 year ago
2
Allow using Signature to set a method signature

#54 alessandropellegrini closed 2 years ago
0
Program Launcher checks if a method is static

#53 alessandropellegrini closed 1 year ago
0
Error while running RunIf.java after all build.

#52 sjoon2455 closed 2 years ago
4
Build fails on Eclipse

#51 sjoon2455 closed 2 years ago
0
GuidanceException when JDI cannot handle method calls nested in map-models

#50 gdenaro73 closed 3 years ago
0
How to run jbse on java project?

#49 cparadox opened 3 years ago
1
bug fix

#48 gdenaro73 closed 3 years ago
0
bug fix

#47 gdenaro73 closed 3 years ago
0
Fixes related to computing the context of SymbolicApply operators

#46 gdenaro73 closed 3 years ago
0
Using contexts when tracking uninterpreted functions under JDI

#45 gdenaro73 closed 3 years ago
0
Support for MAP_MODELS of any class that implements java.util.Map

#44 gdenaro73 closed 3 years ago
0
Add more natives

#43 MatteoModonato closed 3 years ago
0
Fix and refactoring on handling of hash-map-models

#42 gdenaro73 closed 3 years ago
0
Add natives

#41 MatteoModonato closed 3 years ago
0
jbse seems to have problems dealing with abstract methods

#40 y553546436 closed 3 years ago
1
Fix bug when refine raises exception.

#39 GAJaloyan closed 3 years ago
1
Adapted JDI guidance to handle JAVA_MAP models

#38 gdenaro73 closed 3 years ago
1
Symbolic Enum classes

#37 GAJaloyan closed 3 years ago
2
Fix bug for discarded triggers.

#36 GAJaloyan closed 3 years ago
1
State refinement does not work when symbolic arrays and maps are present

#35 pietrobraione opened 3 years ago
0
State refinement is incorrect in presence of some assumptions on class pre-loading

#34 pietrobraione closed 3 years ago
1
JDI stuck to initial state, and spawns new VMs to answer queries on uninterpreted functions

#33 gdenaro73 closed 4 years ago
1
Report Bugs: trigger rules are discarded in the latest implementation

#32 zyf0726 closed 3 years ago
2
Hashmaps model

#31 pietrobraione closed 4 years ago
0
java.lang.Classloader.findBootstrapClass should load class

#30 pietrobraione closed 3 years ago
0
sun.reflect.NativeMethodAccessorImpl.invoke0 implementation does not work if the method is native

#29 pietrobraione closed 4 years ago
1
Difference in behavior between JBSE and Java 1.8.0_221

#28 pietrobraione closed 4 years ago
1
Query regarding lazy initialization and polymorphic fields/inputs

#27 unshorn closed 4 years ago
0
Report Bugs, when run testgen

#26 Marvinmw opened 5 years ago
2
i am curious how to add change annotation ? Can you provide a code example?

#25 Marvinmw closed 3 years ago
1
Too much Output

#24 spyyes closed 5 years ago
1
Wrong resolution of symbolic references: no alias to static members

#23 pietrobraione closed 5 years ago
1
Merge gradle branch on master

#22 pietrobraione closed 5 years ago
0
Changes from Stefano Mameli and Luca Calloni

#21 lucacalloni18 closed 4 years ago
1
State clones are not reentrant

#20 pietrobraione closed 5 years ago
1