{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:55Z","timestamp":1750220815301,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T00:00:00Z","timestamp":1569456000000},"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":[[2019,9,26]]},"DOI":"10.1145\/3351556.3351585","type":"proceedings-article","created":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T12:16:25Z","timestamp":1567685785000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Detecting C++ Lifetime Errors with Symbolic Execution"],"prefix":"10.1145","author":[{"given":"R\u00e9ka","family":"Kov\u00e1cs","sequence":"first","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"}]},{"given":"G\u00e1bor","family":"Horv\u00e1th","sequence":"additional","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"}]},{"given":"Zolt\u00e1n","family":"Porkol\u00e1b","sequence":"additional","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"}]}],"member":"320","published-online":{"date-parts":[[2019,9,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. HarfBuzz a text shaping engine. https:\/\/www.freedesktop.org\/wiki\/Software\/HarfBuzz\/ (last accessed: 21-04-2019).  2019. HarfBuzz a text shaping engine. https:\/\/www.freedesktop.org\/wiki\/Software\/HarfBuzz\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_2_1","unstructured":"2019. qBittorrent a free and reliable P2P Bittorrent client. https:\/\/www.qbittorrent.org\/ (last accessed: 21-04-2019).  2019. qBittorrent a free and reliable P2P Bittorrent client. https:\/\/www.qbittorrent.org\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/565816.503274"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321724"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H"},{"key":"e_1_3_2_1_7_1","first-page":"209","article-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","volume":"8","author":"Cadar Cristian","year":"2008","journal-title":"OSDI"},{"key":"e_1_3_2_1_8_1","unstructured":"Daniel Marjamaki. 2019. Cppcheck a tool for static C\/C++ analysis. http:\/\/cppcheck.sourceforge.net\/ (last accessed: 21-04-2019).  Daniel Marjamaki. 2019. Cppcheck a tool for static C\/C++ analysis. http:\/\/cppcheck.sourceforge.net\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_9_1","unstructured":"Daniel Wilkerson. 2019. CQual++. http:\/\/dsw.users.sonic.net\/oink\/qual.html (last accessed: 21-04-2019).  Daniel Wilkerson. 2019. CQual++. http:\/\/dsw.users.sonic.net\/oink\/qual.html (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/543552.512538"},{"key":"e_1_3_2_1_11_1","unstructured":"David Evans. 2019. Splint annotation-assisted lightweight static checking. http:\/\/splint.org\/ (last accessed: 21-04-2019).  David Evans. 2019. Splint annotation-assisted lightweight static checking. http:\/\/splint.org\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_12_1","unstructured":"Ericsson Hungary. 2019. CodeChecker a static analysis infrastructure built on the LLVM\/Clang Static Analyzer toolchain replacing scan-build in a Linux or macOS (OS X) development environment. https:\/\/codechecker.readthedocs.io\/en\/latest\/ (last accessed: 21-04-2019).  Ericsson Hungary. 2019. CodeChecker a static analysis infrastructure built on the LLVM\/Clang Static Analyzer toolchain replacing scan-build in a Linux or macOS (OS X) development environment. https:\/\/codechecker.readthedocs.io\/en\/latest\/ (last accessed: 21-04-2019)."},{"volume-title":"International Workshop on Parallel and Distributed Methods in Verification. Springer, 297--300","year":"2006","author":"Fehnker Ansgar","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","unstructured":"GrammaTech Inc. 2019. CodeSonar. https:\/\/www.grammatech.com\/products\/codesonar (last accessed: 21-04-2019).  GrammaTech Inc. 2019. CodeSonar. https:\/\/www.grammatech.com\/products\/codesonar (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_15_1","unstructured":"Herb Sutter. 2019. Lifetime safety: Preventing common dangling. https:\/\/github.com\/isocpp\/CppCoreGuidelines\/blob\/master\/docs\/Lifetime.pdf (last accessed: 21-04-2019).  Herb Sutter. 2019. Lifetime safety: Preventing common dangling. https:\/\/github.com\/isocpp\/CppCoreGuidelines\/blob\/master\/docs\/Lifetime.pdf (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_16_1","unstructured":"LLVM Foundation. 2019. The LLVM Compiler Infrastructure Project. https:\/\/llvm.org\/ (last accessed: 21-04-2019).  LLVM Foundation. 2019. The LLVM Compiler Infrastructure Project. https:\/\/llvm.org\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_17_1","unstructured":"Micro Focus Ltd. 2019. Fortify Static Code Analyzer. https:\/\/www.microfocus.com\/en-us\/products\/static-code-analysis-sast\/overview (last accessed: 21-04-2019).  Micro Focus Ltd. 2019. Fortify Static Code Analyzer. https:\/\/www.microfocus.com\/en-us\/products\/static-code-analysis-sast\/overview (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_18_1","unstructured":"Microsoft Inc. 2019. PREfast a static analysis tool that identifies defects in C\/C++ programs. https:\/\/msdn.microsoft.com\/en-us\/windows\/desktop\/ms933794 (last accessed: 21-04-2019).  Microsoft Inc. 2019. PREfast a static analysis tool that identifies defects in C\/C++ programs. https:\/\/msdn.microsoft.com\/en-us\/windows\/desktop\/ms933794 (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_19_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-security-bugs-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-security-bugs-are-memory-safety-issues\/ (last accessed: 28-02-2019)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844136"},{"key":"e_1_3_2_1_21_1","unstructured":"Red Hat Inc. 2019. Ceph: a unified distributed storage system. https:\/\/ceph.com\/ (last accessed: 21-04-2019).  Red Hat Inc. 2019. Ceph: a unified distributed storage system. https:\/\/ceph.com\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_22_1","unstructured":"Reka Nikolett Kovacs. 2018. A checker for dangling string pointers in C++. Google Summer of Code Archive https:\/\/summerofcode.withgoogle.com\/archive\/2018\/projects\/6487597828276224\/ (last accessed: 21-04-2019).  Reka Nikolett Kovacs. 2018. A checker for dangling string pointers in C++. Google Summer of Code Archive https:\/\/summerofcode.withgoogle.com\/archive\/2018\/projects\/6487597828276224\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_23_1","unstructured":"Reka Nikolett Kovacs. 2019. Inner Pointer Checker in the Clang Static Analyzer. https:\/\/github.com\/llvm-mirror\/clang\/blob\/release_70\/lib\/StaticAnalyzer\/Checkers\/InnerPointerChecker.cpp (last accessed: 21-04-2019).  Reka Nikolett Kovacs. 2019. Inner Pointer Checker in the Clang Static Analyzer. https:\/\/github.com\/llvm-mirror\/clang\/blob\/release_70\/lib\/StaticAnalyzer\/Checkers\/InnerPointerChecker.cpp (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_24_1","unstructured":"Bug report. 2018. Use-after-free in db\/db_impl_open.cc. https:\/\/github.com\/facebook\/rocksdb\/issues\/4239 (last accessed: 21-04-2019).  Bug report. 2018. Use-after-free in db\/db_impl_open.cc. https:\/\/github.com\/facebook\/rocksdb\/issues\/4239 (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_25_1","unstructured":"Bug report. 2018. Use-after-free problem in gpggencardkeyinteractor.cpp. https:\/\/dev.gnupg.org\/T4094 (last accessed: 21-04-2019).  Bug report. 2018. Use-after-free problem in gpggencardkeyinteractor.cpp. https:\/\/dev.gnupg.org\/T4094 (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_26_1","unstructured":"Bug report. 2018. Use-after-free problem in RocksDBStore.cc. https:\/\/marc.info\/?l=ceph-devel&m=153367941406038&w=2 (last accessed: 21-04-2019).  Bug report. 2018. Use-after-free problem in RocksDBStore.cc. https:\/\/marc.info\/?l=ceph-devel&m=153367941406038&w=2 (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_28_1","unstructured":"Rogue Wave Software Inc. 2019. Klocwork. https:\/\/www.roguewave.com\/products-services\/klocwork (last accessed: 21-04-2019).  Rogue Wave Software Inc. 2019. Klocwork. https:\/\/www.roguewave.com\/products-services\/klocwork (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_29_1","unstructured":"Synopsys Inc. 2019. Coverity. https:\/\/scan.coverity.com\/ (last accessed: 21-04-2019).  Synopsys Inc. 2019. Coverity. https:\/\/scan.coverity.com\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_30_1","unstructured":"The Document Foundation. 2019. LibreOffice: free office suite. https:\/\/www.libreoffice.org\/ (last accessed: 21-04-2019).  The Document Foundation. 2019. LibreOffice: free office suite. https:\/\/www.libreoffice.org\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_31_1","unstructured":"The LLVM Foundation. 2019. Clang a C language family frontend for LLVM. https:\/\/clang.llvm.org\/ (last accessed: 21-04-2019).  The LLVM Foundation. 2019. Clang a C language family frontend for LLVM. https:\/\/clang.llvm.org\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_32_1","unstructured":"The LLVM Foundation. 2019. Clang Static Analyzer a source code analysis tool that finds bugs in C C++ and Objective-C programs. https:\/\/clang-analyzer.llvm.org\/ (last accessed: 21-04-2019).  The LLVM Foundation. 2019. Clang Static Analyzer a source code analysis tool that finds bugs in C C++ and Objective-C programs. https:\/\/clang-analyzer.llvm.org\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_33_1","unstructured":"The LLVM Foundation. 2019. Clang-Tidy. https:\/\/clang.llvm.org\/extra\/clang-tidy\/ (last accessed: 21-04-2019).  The LLVM Foundation. 2019. Clang-Tidy. https:\/\/clang.llvm.org\/extra\/clang-tidy\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_34_1","unstructured":"The MathWorks Inc. 2019. Polyspace Bug Finder. https:\/\/www.mathworks.com\/products\/polyspace-bug-finder.html (last accessed: 21-04-2019).  The MathWorks Inc. 2019. Polyspace Bug Finder. https:\/\/www.mathworks.com\/products\/polyspace-bug-finder.html (last accessed: 21-04-2019)."},{"volume-title":"ICU: International Components for Unicode","year":"2019","author":"Unicode","key":"e_1_3_2_1_35_1"},{"key":"e_1_3_2_1_36_1","unstructured":"Wladimir van der Laan Jonas Schnelli Pieter Wuille. 2019. Bitcoin Core. https:\/\/bitcoincore.org\/ (last accessed: 21-04-2019).  Wladimir van der Laan Jonas Schnelli Pieter Wuille. 2019. Bitcoin Core. https:\/\/bitcoincore.org\/ (last accessed: 21-04-2019)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610395"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940115"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939281.1939332"}],"event":{"name":"BCI'19: 9th Balkan Conference in Informatics","sponsor":["Technical University of Sofia"],"location":"Sofia Bulgaria","acronym":"BCI'19"},"container-title":["Proceedings of the 9th Balkan Conference on Informatics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3351556.3351585","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3351556.3351585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:03Z","timestamp":1750201983000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3351556.3351585"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,26]]},"references-count":39,"alternative-id":["10.1145\/3351556.3351585","10.1145\/3351556"],"URL":"https:\/\/doi.org\/10.1145\/3351556.3351585","relation":{},"subject":[],"published":{"date-parts":[[2019,9,26]]},"assertion":[{"value":"2019-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}