PAriCheck: An Efficient Pointer Arithmetic Checker for C Programs

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

Original language	English
Title of host publication	5th ACM Symposium on Information, Computer and Communications Security (AsiaCCS)
Publication status	Published - 2010

Access to Document

@inproceedings{15b6b7c989354cb09b397299f3754e50,

title = "PAriCheck: An Efficient Pointer Arithmetic Checker for C Programs",

author = "Y. Younan and P. Philippaerts and L. Cavallaro and R. Sekar and F. Piessens and W. Joosen",

year = "2010",

language = "English",

booktitle = "5th ACM Symposium on Information, Computer and Communications Security (AsiaCCS)",

}