PAriCheck: an efficient pointer arithmetic checker for C programs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security
Place of Publication	Beijing, China
Publisher	ACM
Pages	145-156
Number of pages	12
ISBN (Print)	978-1-60558-936-7
DOIs	https://doi.org/10.1145/1755688.1755707
Publication status	Published - 13 Apr 2010

Keywords

@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",

}

TY - GEN

T1 - PAriCheck: an efficient pointer arithmetic checker for C programs

AU - Younan, Yves

AU - Philippaerts, Pieter

AU - Cavallaro, Lorenzo

AU - Sekar, R.

AU - Piessens, Frank

AU - Joosen, Wouter

PY - 2010/4/13

Y1 - 2010/4/13

KW - bounds checking, buffer overflows

U2 - 10.1145/1755688.1755707

DO - 10.1145/1755688.1755707

M3 - Conference contribution

SN - 978-1-60558-936-7

SP - 145

EP - 156

BT - ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security

PB - ACM

CY - Beijing, China

ER -