CSSV: towards a realistic tool for statically detecting all buffer overflows in C
No abstract available.
Related papers
- CSOD: Context-Sensitive Overflow Detection CGO 2019
- Dynamic buffer overflow detection for GPGPUs CGO 2017
- Sound Non-Statistical Clustering of Static Analysis Alarms TOPLAS 2017
- Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures PLDI 2011
- Fast polyhedra abstract domain POPL 2017
- A fast and low-overhead technique to secure programs against integer overflows CGO 2013
- C to checked C by 3c OOPSLA 2022
- Continuously reasoning about programs using differential Bayesian inference PLDI 2019