PAriCheck: an efficient pointer arithmetic checker for C programs (0)

by Y Younan, P Philippaerts, L Cavallaro, R Sekar, F Piessens, W Joosen