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's Language Statistics

facebook's Other Repos

Star history of SPARTA
Issue history of SPARTA

SPARTA Recent Issues

Issue Title State Comments Created Date Updated Date Closed Date
SPARTA build cmake failure closed 5 2020-10-27 2022-09-27 2021-01-16