{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:24Z","timestamp":1750220364605,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,17]],"date-time":"2021-08-17T00:00:00Z","timestamp":1629158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,17]]},"DOI":"10.1145\/3465481.3465771","type":"proceedings-article","created":{"date-parts":[[2021,8,16]],"date-time":"2021-08-16T18:07:25Z","timestamp":1629137245000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Integer Overflow Detection with Delayed Runtime Test"],"prefix":"10.1145","author":[{"given":"Zhen","family":"Huang","sequence":"first","affiliation":[{"name":"DePaul University, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaowei","family":"Yu","sequence":"additional","affiliation":[{"name":"DePaul University, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. 2019 CWE Top 25 Most Dangerous Software Weaknesses. https:\/\/cwe.mitre.org\/top25\/archive\/2019\/2019_cwe_top25.html. (2019)."},{"key":"e_1_3_2_1_2_1","unstructured":"2020. 2020 CWE Top 25 Most Dangerous Software Weaknesses. https:\/\/cwe.mitre.org\/top25\/archive\/2020\/2020_cwe_top25.html. (2020)."},{"key":"e_1_3_2_1_3_1","volume-title":"RICH: Automatically protecting against integer-based vulnerabilities. In Ndss \u201907","author":"Brumley David","year":"2007","unstructured":"David Brumley, T Chiueh, R Johnson, and H Lin. 2007. RICH: Automatically protecting against integer-based vulnerabilities. In Ndss \u201907. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.73.7344"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of NDSS Symposium","author":"Brumley David","year":"2007","unstructured":"David Brumley, Tzi cker Chiueh, and Robert Johnson. 2007. RICH: Automatically Protecting Against Integer-Based Vulnerabilities. In Proceedings of NDSS Symposium 2007. NDSS, New York, NY, USA."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115718"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486892"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337313"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2743019"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535888"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855768.1855773"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6494996"},{"key":"e_1_3_2_1_13_1","unstructured":"Julian Sch\u00fctte. 2016. Osiris : Hunting for Integer Bugs in Ethereum Smart Contracts Vol.\u00a0D. 664\u2013676."},{"key":"e_1_3_2_1_14_1","volume-title":"Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. ASPLOS","author":"Sidiroglou-Douskos Stelios","year":"2015","unstructured":"Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, and C.\u00a0Martin Rinard. 2015. Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. ASPLOS (2015), 473\u2013486."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2714576.2714605"},{"key":"e_1_3_2_1_16_1","unstructured":"[16] The LLVM Compiler Infrastructure 2018. http:\/\/llvm.org\/. (2018)."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2009","author":"Wang Tielei","year":"2009","unstructured":"Tielei Wang, Tao Wei, Zhiqiang Lin, and Wei Zou. 2009. IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution.. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2009. The Internet Society. http:\/\/dblp.uni-trier.de\/db\/conf\/ndss\/ndss2009.html#WangWLZ09"},{"key":"e_1_3_2_1_18_1","volume-title":"Improving Integer Security for Systems with KINT. In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)","author":"Wang Xi","year":"2012","unstructured":"Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, and M.\u00a0Frans Kaashoek. 2012. Improving Integer Security for Systems with KINT. In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). USENIX Association, Hollywood, CA, 163\u2013177. https:\/\/www.usenix.org\/conference\/osdi12\/technical-sessions\/presentation\/wang"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15497-3_5"},{"volume-title":"Research in Attacks","author":"Zhang Yang","key":"e_1_3_2_1_20_1","unstructured":"Yang Zhang, Xiaoshan Sun, Yi Deng, Liang Cheng, Shuke Zeng, Yu Fu, and Dengguo Feng. 2015. Improving Accuracy of Static Integer Overflow Detection in Binary. In Research in Attacks, Intrusions, and Defenses, Herbert Bos, Fabian Monrose, and Gregory Blanc(Eds.). Springer International Publishing, Cham, 247\u2013269."}],"event":{"name":"ARES 2021: The 16th International Conference on Availability, Reliability and Security","acronym":"ARES 2021","location":"Vienna Austria"},"container-title":["Proceedings of the 16th International Conference on Availability, Reliability and Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3465481.3465771","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3465481.3465771","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:29Z","timestamp":1750191449000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3465481.3465771"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,17]]},"references-count":20,"alternative-id":["10.1145\/3465481.3465771","10.1145\/3465481"],"URL":"https:\/\/doi.org\/10.1145\/3465481.3465771","relation":{},"subject":[],"published":{"date-parts":[[2021,8,17]]},"assertion":[{"value":"2021-08-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}