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
Original languageEnglish
Title of host publicationASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security
Place of PublicationBeijing, China
PublisherACM
Pages145-156
Number of pages12
ISBN (Print)978-1-60558-936-7
DOIs
Publication statusPublished - 13 Apr 2010
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 4582524