{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:44Z","timestamp":1750220864593,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T00:00:00Z","timestamp":1571529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Social Fund","award":["EFOP 3.6.2-16-2017-00013"],"award-info":[{"award-number":["EFOP 3.6.2-16-2017-00013"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,20]]},"DOI":"10.1145\/3359061.3361075","type":"proceedings-article","created":{"date-parts":[[2019,10,11]],"date-time":"2019-10-11T15:16:45Z","timestamp":1570807005000},"page":"32-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Retaining semantic information in the static analysis of real-world software"],"prefix":"10.1145","author":[{"given":"G\u00e1bor","family":"Horv\u00e1th","sequence":"first","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Hungary"}]}],"member":"320","published-online":{"date-parts":[[2019,10,20]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"99","article-title":"Clang matchers for verified usage of the C++ Standard Template Library","volume":"44","author":"Horv\u00e1th G\u00e1bor","year":"2015","journal-title":"Annales Mathematicae et Informaticae"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3012408.3012414"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"G\u00e1bor Horv\u00e1th P\u00e9ter Sz\u00e9csi Zolt\u00e1n Gera D\u00e1niel Krupp and Norbert Pataki. 2018. Challenges of Implementing Cross Translation Unit Analysis in the Clang Static Analyzer. In 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM) . IEEE 171\u2013176.  G\u00e1bor Horv\u00e1th P\u00e9ter Sz\u00e9csi Zolt\u00e1n Gera D\u00e1niel Krupp and Norbert Pataki. 2018. Challenges of Implementing Cross Translation Unit Analysis in the Clang Static Analyzer. In 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM) . IEEE 171\u2013176.","DOI":"10.1109\/SCAM.2018.00027"},{"key":"e_1_3_2_1_4_1","unstructured":"Matt Miller. 2018. Trends Challenges and Strategic Shifts in the Software Vulnerability Mitigation Landscape. https:\/\/www.zdnet.com\/article\/microsoft-70-percent-of-all-securitybugs-are-memory-safety-issues\/ (last accessed: 28-02-2019).  Matt Miller. 2018. Trends Challenges and Strategic Shifts in the Software Vulnerability Mitigation Landscape. https:\/\/www.zdnet.com\/article\/microsoft-70-percent-of-all-securitybugs-are-memory-safety-issues\/ (last accessed: 28-02-2019)."}],"event":{"name":"SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"SPLASH '19"},"container-title":["Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359061.3361075","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359061.3361075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:40Z","timestamp":1750202620000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359061.3361075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,20]]},"references-count":4,"alternative-id":["10.1145\/3359061.3361075","10.1145\/3359061"],"URL":"https:\/\/doi.org\/10.1145\/3359061.3361075","relation":{},"subject":[],"published":{"date-parts":[[2019,10,20]]},"assertion":[{"value":"2019-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}