SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
About
SPARTA est une bibliothèque conçue pour faciliter le développement d'analyseurs statiques haute performance basés sur la théorie de l'interprétation abstraite. Elle fournit un ensemble de composants logiciels qui simplifient le processus d'ingénierie, permettant aux développeurs de se concentrer sur la sémantique, la partition et l'abstraction des propriétés du programme. Cette bibliothèque est particulièrement utile pour créer des analyseurs capables d'effectuer une vérification formelle dans divers contextes, y compris les logiciels aérospatiaux. SPARTA est une bibliothèque uniquement en en-tête, ce qui facilite son intégration dans des projets existants.
Open Source Health
- Stars
- 673
- Forks
- 58
- License
- MIT
- Last commit
- 1 months ago
Alternatives à SPARTA
- Zhlintby zhlintUn outil de linting pour la langue chinoise.
- Peckerby RoyCodePecker est un outil pour détecter le code Swift inutilisé.
- Wartremoverby wartremoverOutil de linting flexible pour le code Scala
- TeXtidoteby Sylvain HalléVérification de l'orthographe, de la grammaire et du style sur des documents LaTeX
- Secretlintby SecretlintOutil de linting plug-and-play pour éviter l'engagement de données d'identification.
Resources & Links
Related Categories
Tu utilises SPARTA ?
Suis son coût avec le reste de ton stack et reçois un rappel avant son renouvellement.
Ajouter à mon stackVendor
Publisher of Habitats, Glow and Draft.js
