Add support to get PC - Githubissues

psycopaths / jdart

A dynamic symbolic analysis tool for Java

Apache License 2.0

113 stars 40 forks source link

Add support to get PC #17

Open j-godoy opened 7 years ago

j-godoy commented 7 years ago

It would be nice if JDART could poking into the the symbolic execution tree at runtime like SPF, and shows path conditions in a human friendly format :)