{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T11:56:09Z","timestamp":1777290969626,"version":"3.51.4"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031641701","type":"print"},{"value":"9783031641718","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-64171-8_1","type":"book-chapter","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T11:02:33Z","timestamp":1720609353000},"page":"3-22","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Exceptional Interprocedural Control Flow Graphs for\u00a0x86-64 Binaries"],"prefix":"10.1007","author":[{"given":"Joshua","family":"Bockenek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Freek","family":"Verbeek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Binoy","family":"Ravindran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,9]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming, pp. 268\u2013279 (2000)","DOI":"10.1145\/357766.351266"},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/234528.234740","volume":"28","author":"P Cousot","year":"1996","unstructured":"Cousot, P.: Abstract interpretation. ACM Comput. Surv. 28(2), 324\u2013328 (1996). https:\/\/doi.org\/10.1145\/234528.234740","journal-title":"ACM Comput. Surv."},{"key":"1_CR3","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Principles of Programming Languages, pp. 238\u2013252 (1977). https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-27764-4_12","volume-title":"Mathematics of Program Construction","author":"G Hutton","year":"2004","unstructured":"Hutton, G., Wright, J.: Compiling exceptions correctly. In: Kozen, D. (ed.) MPC 2004. LNCS, vol. 3125, pp. 211\u2013227. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27764-4_12"},{"issue":"4","key":"1_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1288258.1288259","volume":"42","author":"S Jiang","year":"2007","unstructured":"Jiang, S., Jiang, Y.: An analysis approach for testing exception handling programs. ACM SIGPLAN Not. 42(4), 3\u20138 (2007)","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Kechagia, M., Devroey, X., Panichella, A., Gousios, G., van Deursen, A.: Effective and efficient API misuse detection via exception propagation and search-based testing. In: Software Testing and Analysis, pp. 192\u2013203 (2019). https:\/\/doi.org\/10.1145\/3293882.3330552","DOI":"10.1145\/3293882.3330552"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/978-3-642-22655-7_27","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"P Prabhu","year":"2011","unstructured":"Prabhu, P., Maeda, N., Balakrishnan, G., Ivan\u010di\u0107, F., Gupta, A.: Interprocedural exception analysis for C++. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol. 6813, pp. 583\u2013608. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22655-7_27"},{"key":"1_CR8","unstructured":"Ramos, D.A., Engler, D.: Under-constrained symbolic execution: correctness checking for real code. In: 24th USENIX Security Symposium (USENIX Security 2015), pp. 49\u201364 (2015)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Zhang, H., Luo, J., Hu, M., Yan, J., Zhang, J., Qiu, Z.: Detecting exception handling bugs in C++ programs. In: 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE), pp. 1084\u20131095. IEEE (2023)","DOI":"10.1109\/ICSE48619.2023.00098"}],"container-title":["Lecture Notes in Computer Science","Detection of Intrusions and Malware, and Vulnerability Assessment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64171-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T11:04:47Z","timestamp":1720609487000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64171-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031641701","9783031641718"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64171-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"9 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DIMVA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lausanne","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dimva2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dimva.org\/dimva2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}