Login / Signup
PAriCheck: an efficient pointer arithmetic checker for C programs.
Yves Younan
Pieter Philippaerts
Lorenzo Cavallaro
R. Sekar
Frank Piessens
Wouter Joosen
Published in:
AsiaCCS (2010)
Keyphrases
</>
data structure
knowledge representation
operating system
control flow
database
data sets
real world
case study
three dimensional
arithmetic operations