Sciweavers

CCS
2010
ACM

PAriCheck: an efficient pointer arithmetic checker for C programs

14 years 2 months ago
PAriCheck: an efficient pointer arithmetic checker for C programs
Yves Younan, Pieter Philippaerts, Lorenzo Cavallar
Added 02 Sep 2010
Updated 02 Sep 2010
Type Conference
Year 2010
Where CCS
Authors Yves Younan, Pieter Philippaerts, Lorenzo Cavallaro, R. Sekar, Frank Piessens, Wouter Joosen
Comments (0)