@inproceedings{DBLP:conf/ccs/YounanPCSPJ10,
  author    = {Yves Younan and
               Pieter Philippaerts and
               Lorenzo Cavallaro and
               R. Sekar and
               Frank Piessens and
               Wouter Joosen},
  title     = {PAriCheck: an efficient pointer arithmetic checker for {C} programs},
  booktitle = {AsiaCCS},
  pages     = {145--156},
  publisher = {{ACM}},
  year      = {2010}
}

{"_id":"2B4mzxQQq9m2J2MKK","bibbaseid":"younan-philippaerts-cavallaro-sekar-piessens-joosen-paricheckanefficientpointerarithmeticcheckerforcprograms-2010","downloads":0,"creationDate":"2016-10-15T13:23:23.786Z","title":"PAriCheck: an efficient pointer arithmetic checker for C programs","author_short":["Younan, Y.","Philippaerts, P.","Cavallaro, L.","Sekar, R.","Piessens, F.","Joosen, W."],"year":2010,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb0/p/Piessens:Frank.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Yves"],"propositions":[],"lastnames":["Younan"],"suffixes":[]},{"firstnames":["Pieter"],"propositions":[],"lastnames":["Philippaerts"],"suffixes":[]},{"firstnames":["Lorenzo"],"propositions":[],"lastnames":["Cavallaro"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Sekar"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Piessens"],"suffixes":[]},{"firstnames":["Wouter"],"propositions":[],"lastnames":["Joosen"],"suffixes":[]}],"title":"PAriCheck: an efficient pointer arithmetic checker for C programs","booktitle":"AsiaCCS","pages":"145–156","publisher":"ACM","year":"2010","bibtex":"@inproceedings{DBLP:conf/ccs/YounanPCSPJ10,\n author = {Yves Younan and\n Pieter Philippaerts and\n Lorenzo Cavallaro and\n R. Sekar and\n Frank Piessens and\n Wouter Joosen},\n title = {PAriCheck: an efficient pointer arithmetic checker for {C} programs},\n booktitle = {AsiaCCS},\n pages = {145--156},\n publisher = {{ACM}},\n year = {2010}\n}\n\n","author_short":["Younan, Y.","Philippaerts, P.","Cavallaro, L.","Sekar, R.","Piessens, F.","Joosen, W."],"key":"DBLP:conf/ccs/YounanPCSPJ10","id":"DBLP:conf/ccs/YounanPCSPJ10","bibbaseid":"younan-philippaerts-cavallaro-sekar-piessens-joosen-paricheckanefficientpointerarithmeticcheckerforcprograms-2010","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["paricheck","efficient","pointer","arithmetic","checker","programs","younan","philippaerts","cavallaro","sekar","piessens","joosen"],"keywords":["bounds checking","buffer overflows","security","security and protection"],"authorIDs":[],"dataSources":["cjvMqzGsyByuD9JLe"]}