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

Hacker News

Sparta: High-Performance Static Code Analyzers Based on Abstract Interpretation https://github.com/facebookincubator/SPARTA#sparta 11 comments 20/2/2019

Lobsters

SPARTA: Library with Building Blocks for Abstract Interpretation Tools https://github.com/facebookincubator/SPARTA#sparta 4 comments 20/2/2019 formalmethods , programming

Linked pages

GitHub - facebook/redex: A bytecode optimizer for Android apps https://github.com/facebook/redex/ 0 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:github.com

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

See how to search.

Submit link to: