SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Über
SPARTA ist eine Bibliothek, die entwickelt wurde, um die Entwicklung von leistungsstarken statischen Analysatoren basierend auf der Theorie der abstrakten Interpretation zu erleichtern. Sie bietet eine Reihe von Softwarekomponenten, die den Ingenieurprozess vereinfachen, sodass Entwickler sich auf Semantik, Partitionierung und Abstraktion von Programmeigenschaften konzentrieren können. Diese Bibliothek ist besonders nützlich für die Erstellung von Analysatoren, die formale Verifikation in verschiedenen Kontexten, einschließlich der Luftfahrtsoftware, durchführen können. SPARTA ist eine Header-only-Bibliothek, was die Integration in bestehende Projekte erleichtert.
Open Source Health
- Stars
- 673
- Forks
- 58
- License
- MIT
- Last commit
- 1 months ago
Alternativen zu SPARTA
- Zhlintvon zhlintEin Linting-Tool für die chinesische Sprache.
- Peckervon RoyCodePecker ist ein Tool zur Erkennung ungenutzten Swift-Codes.
- Wartremovervon wartremoverFlexibles Scala-Code-Linting-Tool
- TeXtidotevon Sylvain HalléRechtschreib-, Grammatik- und Stilprüfung für LaTeX-Dokumente
- Secretlintvon SecretlintPluggbares Linting-Tool, um das Committen von Anmeldeinformationen zu verhindern.
Ressourcen & Links
Verwandte Kategorien
Nutzt du SPARTA?
Behalte die Kosten neben dem Rest deines Stacks im Blick und lass dich vor der Verlängerung erinnern.
Zu meinem Stack hinzufügenAnbieter
Publisher of Habitats, Glow and Draft.js
