{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T17:59:04Z","timestamp":1791395944579,"version":"4.3.3"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1109\/cgo.2013.6494996","type":"proceedings-article","created":{"date-parts":[[2013,4,11]],"date-time":"2013-04-11T17:38:10Z","timestamp":1365701890000},"page":"1-11","source":"Crossref","is-referenced-by-count":36,"title":["A fast and low-overhead technique to secure programs against integer overflows"],"prefix":"10.1109","author":[{"given":"R. E.","family":"Rodrigues","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor Hugo","family":"Sperle Campos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fernando","family":"Magno Quintao Pereira","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/43.959864"},{"key":"15","author":"gough","year":"1994","journal-title":"Eliminating Range Checks Using Static Single Assignment Form"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_38"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03456-5_28"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227142"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/251880.251992"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"20","first-page":"67","article-title":"Dynamic test generation to find integer bugs in x86 binary linux programs","author":"molnar","year":"2009","journal-title":"SSYM"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207117"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349317"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.035"},{"key":"26","article-title":"Intscope: Automatically detecting integer overflow vulnerability in x86 binary using symbolic execution","author":"wang","year":"2009","journal-title":"NDSS Internet Society"},{"key":"27","author":"warren","year":"2002","journal-title":"Hacker s Delight"},{"key":"28","first-page":"71","article-title":"Intpatch: Automatically fix integer-overflow-to-bufferoverflow vulnerability at compile-time","author":"zhang","year":"2010","journal-title":"ESORICS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356064"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349342"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"1","author":"aho","year":"2006","journal-title":"Compilers Principles Techniques and Tools"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99594"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30108-0_24"},{"key":"5","first-page":"208","article-title":"BRICK: A binary tool for run-time detecting and locating integerbased vulnerability","author":"chen","year":"2009","journal-title":"ARES"},{"key":"4","article-title":"RICH: Automatically protecting against integer-based vulnerabilities","author":"brumley","year":"2007","journal-title":"NDSS USENIX"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"}],"event":{"name":"2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","location":"Shenzhen","start":{"date-parts":[[2013,2,23]]},"end":{"date-parts":[[2013,2,27]]}},"container-title":["Proceedings of the 2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6489844\/6494968\/06494996.pdf?arnumber=6494996","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T14:23:37Z","timestamp":1490192617000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6494996\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cgo.2013.6494996","relation":{},"subject":[],"published":{"date-parts":[[2013,2]]}}}