Dynamic buffer overflow detection for GPGPUs
No abstract available.
Related papers
- CSOD: Context-Sensitive Overflow Detection CGO 2019
- CSSV: towards a realistic tool for statically detecting all buffer overflows in C PLDI 2003
- Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures PLDI 2011
- A fast and low-overhead technique to secure programs against integer overflows CGO 2013
- EffectiveSan: type and memory error detection using dynamically typed C/C++ PLDI 2018
- Ironclad C++: a library-augmented type-safe subset of c++ OOPSLA 2013
- Dynamic Elimination of Overflow Tests in a Trace Compiler CC 2011
- DieHard: probabilistic memory safety for unsafe languages PLDI 2006