PAriCheck: an efficient pointer arithmetic checker for C programs

Yves Younan, Pieter Philippaerts, Lorenzo Cavallaro, R. Sekar, Frank Piessens, Wouter Joosen

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

56 Citations (Scopus)

Original language	English
Title of host publication	ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security
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

@inbook{dfeadcc272754a95a04848f0256425a7,

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 - CHAP

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 paper

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

ER -