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 paperpeer-review

62 Citations (Scopus)
Original languageEnglish
Title of host publicationASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security
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