CSSV
From MaRDI portal
Cited in
(30)- DiVer
- SPEED
- Consit
- TVLA
- RacerX
- CCured
- Loop summarization using state and transition invariants
- aiT
- Octagon
- Scapy
- ASTREE
- FunArray
- Privtrans
- Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities
- Loop Summarization Using Abstract Transformers
- Taming the Wrapping of Integer Arithmetic
- Program Analysis Using Symbolic Ranges
- Static Analysis in Disjunctive Numerical Domains
- Static Analysis of String Manipulations in Critical Embedded C Programs
- Symbolic String Verification: Combining String Analysis and Size Analysis
- Cibai
- Statically inferring complex heap, array, and numeric invariants
- SPEED: precise and efficient static estimation of program computational complexity
- A combination framework for tracking partition sizes
- Compiler Construction
- Programming Languages and Systems
- SOBER
- Static Analysis
- Efficient SAT-based bounded model checking for software verification
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
This page was built for software: CSSV
