{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:31Z","timestamp":1750306291217,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Program B for Outstanding PhD Candidate of Nanjing University"},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61170070, 61572248, 61431008, 61321491"],"award-info":[{"award-number":["61170070, 61572248, 61431008, 61321491"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key Technology R&D Program of China","award":["2012BAK26B01"],"award-info":[{"award-number":["2012BAK26B01"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2884781.2884820","type":"proceedings-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T18:21:10Z","timestamp":1463163670000},"page":"1051-1062","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["IntEQ"],"prefix":"10.1145","author":[{"given":"Hao","family":"Sun","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunhui","family":"Zheng","sequence":"additional","affiliation":[{"name":"IBM T.J. Watson Research Center, Yorktown Heights"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingkai","family":"Zeng","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"CWE-190: Integer overflow or wraparound. http:\/\/cwe.mitre.org\/data\/definitions\/190.html.  CWE-190: Integer overflow or wraparound. http:\/\/cwe.mitre.org\/data\/definitions\/190.html."},{"key":"e_1_3_2_1_2_1","unstructured":"CWE-2011 CWE\/SANS top 25 most dangerours software errors. http:\/\/cwe.mitre.org\/top25\/.  CWE-2011 CWE\/SANS top 25 most dangerours software errors. http:\/\/cwe.mitre.org\/top25\/."},{"key":"e_1_3_2_1_3_1","unstructured":"CWE-680: IO2BO vulnerabilities. http:\/\/cwe.mitre.org\/data\/definitions\/680.html.  CWE-680: IO2BO vulnerabilities. http:\/\/cwe.mitre.org\/data\/definitions\/680.html."},{"key":"e_1_3_2_1_4_1","unstructured":"GCC the GNU Compiler Collection. https:\/\/gcc.gnu.org\/.  GCC the GNU Compiler Collection. https:\/\/gcc.gnu.org\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Overflow-inducing input for CVE-2005-0199. https:\/\/bugs.gentoo.org\/show\\_bug.cgi?id=79705.  Overflow-inducing input for CVE-2005-0199. https:\/\/bugs.gentoo.org\/show\\_bug.cgi?id=79705."},{"key":"e_1_3_2_1_6_1","unstructured":"Overflow-inducing input for CVE-2005-1141. http:\/\/www.overflow.pl\/adv\/gocr.txt.  Overflow-inducing input for CVE-2005-1141. http:\/\/www.overflow.pl\/adv\/gocr.txt."},{"key":"e_1_3_2_1_7_1","unstructured":"Overflow-inducing input for CVE-2006-2971. http:\/\/www.exploit-db.com\/exploits\/1894\/.  Overflow-inducing input for CVE-2006-2971. http:\/\/www.exploit-db.com\/exploits\/1894\/."},{"key":"e_1_3_2_1_8_1","unstructured":"Overflow-inducing input for CVE-2006-4812. http:\/\/www.exploit-db.com\/exploits\/28760\/.  Overflow-inducing input for CVE-2006-4812. http:\/\/www.exploit-db.com\/exploits\/28760\/."},{"key":"e_1_3_2_1_9_1","unstructured":"Overflow-inducing input for CVE-2008-1384. http:\/\/cxsecurity.com\/issue\/WLB-2008030052.  Overflow-inducing input for CVE-2008-1384. http:\/\/cxsecurity.com\/issue\/WLB-2008030052."},{"key":"e_1_3_2_1_10_1","unstructured":"Overflow-inducing input for CVE-2008-1801. http:\/\/www.securityfocus.com\/bid\/29097\/exploit.  Overflow-inducing input for CVE-2008-1801. http:\/\/www.securityfocus.com\/bid\/29097\/exploit."},{"key":"e_1_3_2_1_11_1","unstructured":"Overflow-inducing input for CVE-2008-3732. http:\/\/www.exploit-db.com\/exploits\/6252\/.  Overflow-inducing input for CVE-2008-3732. http:\/\/www.exploit-db.com\/exploits\/6252\/."},{"key":"e_1_3_2_1_12_1","unstructured":"Overflow-inducing input for CVE-2011-1092. http:\/\/www.exploit-db.com\/exploits\/16966\/.  Overflow-inducing input for CVE-2011-1092. http:\/\/www.exploit-db.com\/exploits\/16966\/."},{"key":"e_1_3_2_1_13_1","unstructured":"Spec cpu 2000 benchmark. http:\/\/www.spec.org\/cpu2000\/.  Spec cpu 2000 benchmark. http:\/\/www.spec.org\/cpu2000\/."},{"key":"e_1_3_2_1_14_1","unstructured":"Spec cpu 2006 benchmarks. http:\/\/www.spec.org\/cpu2006\/.  Spec cpu 2006 benchmarks. http:\/\/www.spec.org\/cpu2006\/."},{"key":"e_1_3_2_1_15_1","unstructured":"The Z3 Constraint Solver. https:\/\/github.com\/Z3Prover\/z3.  The Z3 Constraint Solver. https:\/\/github.com\/Z3Prover\/z3."},{"key":"e_1_3_2_1_16_1","unstructured":"Vulnerability Type Distributions in CVE (2001-2006). https:\/\/cve.mitre.org\/docs\/vuln-trends\/vuln-trends.pdf.  Vulnerability Type Distributions in CVE (2001-2006). https:\/\/cve.mitre.org\/docs\/vuln-trends\/vuln-trends.pdf."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_9"},{"key":"e_1_3_2_1_18_1","first-page":"339","volume-title":"Proceedings of 19th USENIX Security Symposium","author":"Bandhakavi S.","year":"2010"},{"volume-title":"Proceedings of 14th Annual Network and Distributed System Security Symposium","year":"2007","author":"Brumley D.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","unstructured":"CERT. Integerlib a secure integer library. http:\/\/www.cert.org\/secure-coding\/IntegerLib.zip 2006.  CERT. Integerlib a secure integer library. http:\/\/www.cert.org\/secure-coding\/IntegerLib.zip 2006."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2009.77"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_35"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486892"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.59"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.29"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337313"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770351.1770421"},{"volume-title":"Ranged integers for the c programming language. Technical Note CMU\/SEI-2007-TN-027","year":"2007","author":"Gennari J.","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630034"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572286"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_54"},{"volume-title":"Compilers: Principles, techniques and tools","year":"2006","author":"Lam M.","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","unstructured":"D. LeBlanc. Safeint. http:\/\/safeint.codeplex.com\/.  D. LeBlanc. Safeint. http:\/\/safeint.codeplex.com\/."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025160"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535888"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635900"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855768.1855773"},{"key":"e_1_3_2_1_38_1","unstructured":"National Vulnerability Database. CVE-2006-2971. http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2006-2971.  National Vulnerability Database. CVE-2006-2971. http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2006-2971."},{"key":"e_1_3_2_1_39_1","unstructured":"National Vulnerability Database. CVE-2008-1722. http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2008-1722.  National Vulnerability Database. CVE-2008-1722. http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2008-1722."},{"key":"e_1_3_2_1_40_1","unstructured":"National Vulnerability Database. CVE-2008-1801. http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2008-1801.  National Vulnerability Database. CVE-2008-1801. http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2008-1801."},{"key":"e_1_3_2_1_41_1","unstructured":"National Vulnerability Database. CVE-2012-4405. http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2012-4405.  National Vulnerability Database. CVE-2012-4405. http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2012-4405."},{"key":"e_1_3_2_1_42_1","unstructured":"National Vulnerability Database. CVE-2014-0150. http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2014-0150.  National Vulnerability Database. CVE-2014-0150. http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2014-0150."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453131"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664282"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6494996"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259050"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737988"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694389"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2714576.2714605"},{"key":"e_1_3_2_1_50_1","first-page":"255","volume-title":"Proceedings of 11th Conference on Detection of Intrusions and Malware & Vulnerability Assessment","author":"Wang T.","year":"2014"},{"volume-title":"Proceedings of the Network and Distributed System Security Symposium","year":"2009","author":"Wang T.","key":"e_1_3_2_1_51_1"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387880.2387897"},{"key":"e_1_3_2_1_53_1","first-page":"179","volume-title":"Proceedings of 15th USENIX Security Symposium","author":"Xie Y.","year":"2006"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328467"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/1888881.1888888"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337292"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486874"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\TCSE TC on Software Engineering","IEEE-CS\\DATC IEEE Computer Society"],"location":"Austin Texas","acronym":"ICSE '16"},"container-title":["Proceedings of the 38th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884820","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2884781.2884820","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:06Z","timestamp":1750221546000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884820"}},"subtitle":["recognizing benign integer overflows via equivalence checking across multiple precisions"],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":57,"alternative-id":["10.1145\/2884781.2884820","10.1145\/2884781"],"URL":"https:\/\/doi.org\/10.1145\/2884781.2884820","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}