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 è una libreria progettata per facilitare lo sviluppo di analizzatori statici ad alte prestazioni basati sulla teoria dell'interpretazione astratta. Fornisce un insieme di componenti software che semplificano il processo ingegneristico, consentendo agli sviluppatori di concentrarsi sulla semantica, sulla partizione e sull'astrazione delle proprietà del programma. Questa libreria è particolarmente utile per creare analizzatori in grado di eseguire verifiche formali in vari contesti, inclusi i software aerospaziali. SPARTA è una libreria solo header, il che facilita l'integrazione nei progetti esistenti.
Open Source Health
- Stars
- 673
- Forks
- 58
- License
- MIT
- Last commit
- 1 months ago
Alternative a SPARTA
- Zhlintby zhlintUno strumento di linting per la lingua cinese.
- Peckerby RoyCodePecker è uno strumento per rilevare codice Swift non utilizzato.
- Wartremoverby wartremoverStrumento di linting flessibile per codice Scala
- TeXtidoteby Sylvain HalléControllo ortografico, grammaticale e stilistico su documenti LaTeX
- Secretlintby SecretlintStrumento di linting plug-and-play per prevenire il commit di credenziali.
Resources & Links
Related Categories
Usi SPARTA?
Tieni traccia del suo costo insieme al resto del tuo stack e ricevi un promemoria prima del rinnovo.
Aggiungi al mio stackVendor
Publisher of Habitats, Glow and Draft.js
