{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T21:03:17Z","timestamp":1791061397884,"version":"4.1.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227142","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"760-770","source":"Crossref","is-referenced-by-count":25,"title":["Understanding integer overflow in C\/C++"],"prefix":"10.1109","author":[{"given":"Will","family":"Dietz","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peng","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computing, University of Utah"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Regehr","sequence":"additional","affiliation":[{"name":"School of Computing, University of Utah"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vikram","family":"Adve","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"CVE-2002\u20130639: Integer overflow in sshd in OpenSSH","year":"2002"},{"key":"ref2","article-title":"CVE-2010\u20132753: Integer overflow in Mozilla Firefox, Thunderbird and SeaMonkey","year":"2010"},{"key":"ref3","article-title":"2011 CWE\/SANS Top 25 Most Dangerous Software Errors","volume-title":"Tech. Report","author":"Christey","year":"2011"},{"key":"ref4","article-title":"RICH: Automatically protecting against integer-based vul-nerabilities","volume-title":"Proc. of the Symp. on Network and Distributed Systems Security (NDSS)","author":"Brumley"},{"key":"ref5","article-title":"clang: a C language family frontend for LLVM","year":"2011"},{"key":"ref7","article-title":"Integer handling with the C++ Safelnt class","author":"LeBlanc","year":"2004"},{"key":"ref8","article-title":"Author\u2019s blog: Integer handling with the C++ Safelnt class","author":"LeBlanc"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref10","article-title":"IntegerLib, a secure integer library","year":"2006"},{"key":"ref11","article-title":"Why do Pinky and Inky have different behaviors when Pac-Man is facing up?","author":"Hodges","year":"2008"},{"key":"ref12","article-title":"Pac-Man","year":"2011"},{"key":"ref13","article-title":"Vulnerability type distributions in CVE","volume-title":"Tech. Report","author":"Christey","year":"2007"},{"key":"ref14","article-title":"Arbitrary-precision arithmetic","year":"2011"},{"key":"ref15","article-title":"Common Vulnerability and Expo-sures"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2009.77"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81042-9"},{"key":"ref18","first-page":"67","article-title":"Dynamic test generation to find integer bugs in x86 binary Linux programs","volume-title":"Proc. of the 18th USENIX Security Symposium","author":"Molnar"},{"key":"ref19","article-title":"IntScope: Automatically detecting integer overflow vulnerability in x86 binary using symbolic execution","volume-title":"Proc. of the 16th Network and Distributed System Security Symp.","author":"Wang"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.29"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE)","location":"Zurich, Switzerland","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227142.pdf?arnumber=6227142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:14:02Z","timestamp":1747804442000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6227142\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227142","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}