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 es una biblioteca diseñada para facilitar el desarrollo de analizadores estáticos de alto rendimiento basados en la teoría de la interpretación abstracta. Proporciona un conjunto de componentes de software que simplifican el proceso de ingeniería, permitiendo a los desarrolladores centrarse en la semántica, la partición y la abstracción de las propiedades del programa. Esta biblioteca es particularmente útil para crear analizadores que pueden realizar verificación formal en varios contextos, incluida la software aeroespacial. SPARTA es una biblioteca solo de encabezado, lo que facilita su integración en proyectos existentes.
Open Source Health
- Stars
- 673
- Forks
- 58
- License
- MIT
- Last commit
- 1 months ago
Alternativas a SPARTA
- Zhlintby zhlintUna herramienta de linting para el idioma chino.
- Peckerby RoyCodePecker es una herramienta para detectar código Swift no utilizado.
- Wartremoverby wartremoverHerramienta de linting flexible para código Scala
- TeXtidoteby Sylvain HalléRevisión de ortografía, gramática y estilo en documentos LaTeX
- Secretlintby SecretlintHerramienta de linting conectable para evitar el compromiso de credenciales.
Resources & Links
Related Categories
¿Usas SPARTA?
Controla su coste junto al resto de tu stack y recibe un recordatorio antes de que se renueve.
Añadir a mi stackVendor
Publisher of Habitats, Glow and Draft.js
