Original language | English |
---|---|
Title of host publication | 5th ACM Symposium on Information, Computer and Communications Security (AsiaCCS) |
Publication status | Published - 2010 |
PAriCheck: An Efficient Pointer Arithmetic Checker for C Programs
Y. Younan, P. Philippaerts, L. Cavallaro, R. Sekar, F. Piessens, W. Joosen
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review