PAriCheck: An Efficient Pointer Arithmetic Checker for C Programs

Y. Younan, P. Philippaerts, L. Cavallaro, R. Sekar, F. Piessens, W. Joosen

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publication5th ACM Symposium on Information, Computer and Communications Security (AsiaCCS)
Publication statusPublished - 2010

Cite this