Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model

@inproceedings{Rigger2018SulongAT,
  title={Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model},
  author={Manuel Rigger and Roland Schatz and Ren{\'e} Mayrhofer and Matthias Grimmer and Hanspeter M{\"o}ssenb{\"o}ck},
  booktitle={ASPLOS},
  year={2018}
}
In C, memory errors, such as buffer overflows, are among the most dangerous software errors; as we show, they are still on the rise. Current dynamic bug-finding tools that try to detect such errors are based on the low-level execution model of the underlying machine. They insert additional checks in an ad-hoc fashion, which makes them prone to omitting checks for corner cases. To address this, we devised a novel approach to finding bugs during the execution of a program. At the core of this… CONTINUE READING

Similar Papers

Loading similar papers…