GuidanceException when JDI cannot handle method calls nested in map-models

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

101 stars 29 forks source link

GuidanceException when JDI cannot handle method calls nested in map-models #50

Closed gdenaro73 closed 3 years ago

gdenaro73 commented 3 years ago

NB: JDI cannot handle method calls nested in map-models because it sees only the calls that truly happen in the actual bytecode. This GuidanceException leaves for the callers the task of handling the issue.