meta / SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
- Repository stars
- 675All-time #51,344
- Fork
- 57
- Last push
- updated 1 months ago
- Repository created
- since 2018
About
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.Summarised by AI from the README; the original prevails
Author description: SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Basic listing based on official public information; functionality has not been independently evaluated.
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.