Open source repositories tagged with #symbolic-execution, ranked by health score.
Reverse engineering framework in Python
