Skip to main navigation Skip to search Skip to main content

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