facebook/SPARTA: SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

550
STARS
23
WATCHERS
44
FORKS
1
ISSUES

SPARTA Recent Issues

Issue Title State Comments Created Date Updated Date
SPARTA build cmake failure closed 5 2020-10-27 2022-09-29

facebook's Other Repos