PAriCheck: an efficient pointer arithmetic checker for C programs. / Younan, Yves; Philippaerts, Pieter; Cavallaro, Lorenzo; Sekar, R.; Piessens, Frank; Joosen, Wouter.

ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security. Beijing, China : ACM, 2010. p. 145-156.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

PAriCheck: an efficient pointer arithmetic checker for C programs. / Younan, Yves; Philippaerts, Pieter; Cavallaro, Lorenzo; Sekar, R.; Piessens, Frank; Joosen, Wouter.

ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security. Beijing, China : ACM, 2010. p. 145-156.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Younan, Y, Philippaerts, P, Cavallaro, L, Sekar, R, Piessens, F & Joosen, W 2010, PAriCheck: an efficient pointer arithmetic checker for C programs. in ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security. ACM, Beijing, China, pp. 145-156. https://doi.org/10.1145/1755688.1755707

APA

Younan, Y., Philippaerts, P., Cavallaro, L., Sekar, R., Piessens, F., & Joosen, W. (2010). PAriCheck: an efficient pointer arithmetic checker for C programs. In ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security (pp. 145-156). ACM. https://doi.org/10.1145/1755688.1755707

Vancouver

Younan Y, Philippaerts P, Cavallaro L, Sekar R, Piessens F, Joosen W. PAriCheck: an efficient pointer arithmetic checker for C programs. In ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security. Beijing, China: ACM. 2010. p. 145-156 https://doi.org/10.1145/1755688.1755707

Author

Younan, Yves ; Philippaerts, Pieter ; Cavallaro, Lorenzo ; Sekar, R. ; Piessens, Frank ; Joosen, Wouter. / PAriCheck: an efficient pointer arithmetic checker for C programs. ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security. Beijing, China : ACM, 2010. pp. 145-156

BibTeX

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

}

RIS

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 -