A symbolic Java virtual machine for program analysis, verification and test generation
GNU General Public License v3.0
103
stars
29
forks
source link
Fix: computation of initial map moved in eval_INVOKEX. This enables e… #59
Closed
gdenaro73 closed 3 years ago
…val_INVOKEX to advance multiple times as needed for computing the localSymbolicApplyCache