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