PAriCheck: An efficient pointer arithmetic checker for C programs

Yves Younan, Pieter Phillipaerts, Lorenzo Cavallaro, R. Sekar, Frank Piessens, Wouter Joosen

Research output: Working paper

Original languageEnglish
Publication statusPublished - 1 Jun 2009

Cite this