swMATH13701MaRDI QIDQ25615FDOQ25615
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=781149
Cited In (29)
- Loop summarization using state and transition invariants
- Compiler Construction
- Efficient SAT-based bounded model checking for software verification
- Static Analysis in Disjunctive Numerical Domains
- Symbolic String Verification: Combining String Analysis and Size Analysis
- Loop Summarization Using Abstract Transformers
- Programming Languages and Systems
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
- A combination framework for tracking partition sizes
- Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities
- Taming the Wrapping of Integer Arithmetic
- Statically inferring complex heap, array, and numeric invariants
- Consit
- SPEED
- CCured
- RacerX
- TVLA
- aiT
- ASTREE
- FunArray
- Octagon
- Scapy
- Privtrans
- Cibai
- SOBER
- Static Analysis of String Manipulations in Critical Embedded C Programs
- SPEED: precise and efficient static estimation of program computational complexity
- Program Analysis Using Symbolic Ranges
- Static Analysis
This page was built for software: CSSV
