pietrobraione/jbse

Issues

• Replacement about sun.misc.Unsafe

  #70 opened 4 months ago by RuixiangJiang
  0

• Unexpected results when the targeted class has an inner class

  #69 opened 9 months ago by zzctmac
  1

• Unsafe.ensureClassInitialized is removed in JDK 22

  #68 opened 10 months ago by cushon
  1

• How to obtain the actual parameter values during the execution of each path?

  #67 opened a year ago by mrhuangzh
  0

• load is native and has no overriding implementation

  #66 opened a year ago by agilesw
  6

• Symbolic Execution using java.lang.String

  #12 opened 7 years ago by danglotb
  9

• creation of a java byte code for a target method

  #61 opened 3 years ago by sjoon2455
  1

• How to run jbse on java project?

  #49 opened 4 years ago by cparadox
  1

• JBSE issue with JDBC

  #63 opened 2 years ago by cniddodi
  1

• Array with unknown length

  #64 opened 3 years ago by sjoon2455
  0

• function parameters, local variables are obfuscated to __PARAM, __LOCAL

  #62 opened 3 years ago by sjoon2455
  1

• Error while running RunIf.java after all build.

  #52 opened 3 years ago by sjoon2455
  4

• Do you support loop unrolling?

  #60 opened 3 years ago by sjoon2455
  1

• Build fails on Eclipse

  #51 opened 3 years ago by sjoon2455
  0

• i am curious how to add change annotation ? Can you provide a code example?

  #25 opened 4 years ago by Marvinmw
  1

• java.lang.Classloader.findBootstrapClass should load class

  #30 opened 4 years ago by pietrobraione
  0

• jbse seems to have problems dealing with abstract methods

  #40 opened 4 years ago by y553546436
  1

• Symbolic Enum classes

  #37 opened 4 years ago by GAJaloyan
  2

• Report Bugs: trigger rules are discarded in the latest implementation

  #32 opened 4 years ago by zyf0726
  2

• State refinement does not work when symbolic arrays and maps are present

  #35 opened 4 years ago by pietrobraione
  0

• State refinement is incorrect in presence of some assumptions on class pre-loading

  #34 opened 4 years ago by pietrobraione
  1

• DecisionProcedureTest fails due to hard-coded z3 path

  #10 opened 7 years ago by andreamattavelli
  2

• sun.reflect.NativeMethodAccessorImpl.invoke0 implementation does not work if the method is native

  #29 opened 5 years ago by pietrobraione
  1

• Difference in behavior between JBSE and Java 1.8.0_221

  #28 opened 5 years ago by pietrobraione
  1

• Query regarding lazy initialization and polymorphic fields/inputs

  #27 opened 5 years ago by unshorn
  0

• Report Bugs, when run testgen

  #26 opened 6 years ago by Marvinmw
  2

• Wrong resolution of symbolic references: no alias to static members

  #23 opened 6 years ago by pietrobraione
  1

• State clones are not reentrant

  #20 opened 6 years ago by pietrobraione
  1

• Too much Output

  #24 opened 6 years ago by spyyes
  1

• master branch does not work under Windows

  #19 opened 6 years ago by pietrobraione
  1

• Error building project

  #18 opened 6 years ago by unshorn
  3

• Path Conditions details

  #16 opened 7 years ago by danglotb
  2

• Understand the output of JBSE

  #14 opened 7 years ago by danglotb
  2

• Retrieve PathCondition information

  #13 opened 7 years ago by danglotb
  2

• Understand output of JBSE on provided example

  #11 opened 7 years ago by danglotb
  4

• Setting Z3 Solver

  #6 opened 7 years ago by wombatwen
  1

• Nontermination on variable-bounded loop

  #7 opened 8 years ago by krypt-n
  4

• SettingParser

  #4 opened 8 years ago by monperrus
  1

• JBSE Installation

  #2 opened 9 years ago by pabloloyola
  3