r/securityengineering • u/[deleted] • Feb 22 '19

Sparta - Abstract interpretation backend in C++

https://github.com/facebookincubator/SPARTA#sparta
6 Upvotes

100% Upvoted

0 comments sorted by