All issues

Search results

Unconstrained integer values for boolean variables cause spurious reachability on Javac-compiled bytecode

Status: Open.

#71 In pietrobraione/jbse;

· zyf0726 opened on Jan 25, 2026

Replacement about sun.misc.Unsafe

Status: Open.

#70 In pietrobraione/jbse;

· RuixiangJiang opened on Aug 20, 2024

Unexpected results when the targeted class has an inner class

Status: Open.

#69 In pietrobraione/jbse;

· zzctmac opened on Mar 27, 2024

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

Status: Open.

#67 In pietrobraione/jbse;

· mrhuangzh opened on Dec 18, 2023

load is native and has no overriding implementation

Status: Open.

#66 In pietrobraione/jbse;

· agilesw opened on Nov 21, 2023

creation of a java byte code for a target method

Status: Open.

#61 In pietrobraione/jbse;

· sjoon2455 opened on Aug 24, 2021

How to run jbse on java project?

bug

Status: Open.

#49 In pietrobraione/jbse;

· cparadox opened on Mar 6, 2021

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

bug

Status: Open.

#35 In pietrobraione/jbse;

· pietrobraione opened on Jul 13, 2020

Report Bugs, when run testgen

bug

Status: Open.

#26 In pietrobraione/jbse;

· Marvinmw opened on Apr 2, 2019

Symbolic Execution using java.lang.String

enhancement

Status: Open.

#12 In pietrobraione/jbse;

· danglotb opened on Jan 8, 2018

DecisionProcedureTest fails due to hard-coded z3 path

enhancement

Status: Open.

#10 In pietrobraione/jbse;

· andreamattavelli opened on Sep 20, 2017