PAriCheck: an efficient pointer arithmetic checker for C programs. Younan, Y., Philippaerts, P., Cavallaro, L., Sekar, R., Piessens, F., & Joosen, W. In AsiaCCS, pages 145–156, 2010. ACM.
bibtex   
@inproceedings{DBLP:conf/ccs/YounanPCSPJ10,
  author    = {Yves Younan and
               Pieter Philippaerts and
               Lorenzo Cavallaro and
               R. Sekar and
               Frank Piessens and
               Wouter Joosen},
  title     = {PAriCheck: an efficient pointer arithmetic checker for {C} programs},
  booktitle = {AsiaCCS},
  pages     = {145--156},
  publisher = {{ACM}},
  year      = {2010}
}

Downloads: 0