PAriCheck: an efficient pointer arithmetic checker for C programs.

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

Browse the full CCS paper archive.