PAriCheck: An efficient pointer arithmetic checker for C programs. / Younan, Yves; Phillipaerts, Pieter; Cavallaro, Lorenzo; Sekar, R.; Piessens, Frank; Joosen, Wouter.

2009.

Research output: Working paper

Published
Original languageEnglish
Publication statusPublished - 1 Jun 2009

ID: 4582788