A symbolic Java virtual machine for program analysis, verification and test generation
GNU General Public License v3.0
101
stars
29
forks
source link
Using contexts when tracking uninterpreted functions under JDI #45
Closed
gdenaro73 closed 3 years ago
...plus some refactoring (induced by the change) within the JDI classes