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
Original language | English |
---|---|
Publication status | Published - 1 Jun 2009 |
ID: 4582788