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 proceedingConference contribution

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

Keywords

  • bounds checking, buffer overflows

Cite this