CSSV: Towards a realistic tool for statically detecting all buffer overflows in C
- Nurit Dor
- Michael Rodeh
- et al.
- 2003
- PLDI 2003
Publications
5 results at PLDI 2003
A region-based compilation technique for a Java just-in-time compiler
- Toshio Suganuma
- Toshiaki Yasue
- et al.
- 2003
- PLDI 2003
A comparison of empirical and model-driven optimization
- Kamen Yotov
- Xiaoming Li
- et al.
- 2003
- PLDI 2003
Stride prefetching by dynamically inspecting objects
- Tatsushi Inagaki
- Tamiya Onodera
- et al.
- 2003
- PLDI 2003
Debugging temporal specifications with concept analysis
- Glenn Ammons
- David Mandelin
- et al.
- 2003
- PLDI 2003