@inproceedings{6c15eecb77844bf2b967c8ece6c7bad6,
title = "PAriCheck: an efficient pointer arithmetic checker for C programs",
keywords = "bounds checking, buffer overflows",
author = "Yves Younan and Pieter Philippaerts and Lorenzo Cavallaro and R. Sekar and Frank Piessens and Wouter Joosen",
year = "2010",
month = apr,
day = "13",
doi = "10.1145/1755688.1755707",
language = "English",
isbn = "978-1-60558-936-7",
pages = "145--156",
booktitle = "ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security",
publisher = "ACM",
}