Changes from Stefano Mameli and Luca Calloni

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

Closed lucacalloni18 closed 4 years ago

lucacalloni18 commented 5 years ago

Incomplete solution to guided symbolic execution with function symbols.

pietrobraione commented 4 years ago

Already implemented.