{"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":1750220815018,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"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.3351559","type":"proceedings-article","created":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T12:16:25Z","timestamp":1567685785000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Categorization of C++ Classes for Static Lifetime Analysis"],"prefix":"10.1145","author":[{"given":"G\u00e1bor","family":"Horv\u00e1th","sequence":"first","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Department of Programming Languages and Compilers Hungary, Budapest"}]},{"given":"Norbert","family":"Pataki","sequence":"additional","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Department of Programming Languages and Compilers Hungary, Budapest"}]}],"member":"320","published-online":{"date-parts":[[2019,9,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"{n. d.}. C++ Core Guidelines a set of tried-and-true guidelines rules and best practices about coding in C++. https:\/\/github.com\/isocpp\/CppCoreGuidelines (last accessed: 28-02-2019).  {n. d.}. C++ Core Guidelines a set of tried-and-true guidelines rules and best practices about coding in C++. https:\/\/github.com\/isocpp\/CppCoreGuidelines (last accessed: 28-02-2019)."},{"key":"e_1_3_2_1_2_1","unstructured":"{n. d.}. 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: 28-02-2019).  {n. d.}. 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: 28-02-2019)."},{"key":"e_1_3_2_1_3_1","unstructured":"{n. d.}. Clang-Tidy a Clang-based C++ \"linter\" tool. https:\/\/clang.llvm.org\/extra\/clang-tidy (last accessed: 28-02-2019).  {n. d.}. Clang-Tidy a Clang-based C++ \"linter\" tool. https:\/\/clang.llvm.org\/extra\/clang-tidy (last accessed: 28-02-2019)."},{"key":"e_1_3_2_1_4_1","unstructured":"{n. d.}. A GitHub mirror of the official Clang repository. https:\/\/github.com\/llvm-mirror\/clang (last accessed: 28-02-2019).  {n. d.}. A GitHub mirror of the official Clang repository. https:\/\/github.com\/llvm-mirror\/clang (last accessed: 28-02-2019)."},{"volume-title":"Aliasing in Object-Oriented Programming. Types, Analysis and Verification","author":"Clarke Dave","key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-36946-9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509550"},{"volume-title":"Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer. In 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM). 171--176","year":"2018","author":"Horv\u00e1th G\u00e1bor","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.04.003"},{"key":"e_1_3_2_1_10_1","unstructured":"R\u00e9ka Kov\u00e1cs. 2018. A checker for dangling string pointers in the Clang Static Analyzer. http:\/\/lists.llvm.org\/pipermail\/cfe-dev\/2018-August\/058907.html (last accessed: 28-02-2019).  R\u00e9ka Kov\u00e1cs. 2018. A checker for dangling string pointers in the Clang Static Analyzer. http:\/\/lists.llvm.org\/pipermail\/cfe-dev\/2018-August\/058907.html (last accessed: 28-02-2019)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/507758.377466"},{"key":"e_1_3_2_1_12_1","unstructured":"Chris Lattner. 2008. LLVM and Clang: Next Generation Compiler Technology. (2008). Lecture at BSD Conference 2008.  Chris Lattner. 2008. LLVM and Clang: Next Generation Compiler Technology. (2008). Lecture at BSD Conference 2008."},{"key":"e_1_3_2_1_13_1","unstructured":"Daniel Marjam\u00e4ki. 2013. CppCheck: a tool for static C\/C++ code analysis. http:\/\/cppcheck.sourceforge.net\/ (last accessed: 28-02-2019).  Daniel Marjam\u00e4ki. 2013. CppCheck: a tool for static C\/C++ code analysis. http:\/\/cppcheck.sourceforge.net\/ (last accessed: 28-02-2019)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692956.2663188"},{"key":"e_1_3_2_1_15_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)."},{"volume-title":"Proc. of 8th Joint Conference on Mathematics and Computer Science, MaCS","year":"2011","author":"Pataki Norbert","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.06.005"},{"key":"e_1_3_2_1_18_1","unstructured":"Konstantin Serebryany Derek Bruening Alexander Potapenko and Dmitriy Vyukov. 2012. AddressSanitizer: A fast address sanity checker. In Presented as part of the 2012 {USENIX} Annual Technical Conference ({USENIX}{ATC} 12). 309--318.   Konstantin Serebryany Derek Bruening Alexander Potapenko and Dmitriy Vyukov. 2012. AddressSanitizer: A fast address sanity checker. In Presented as part of the 2012 {USENIX} Annual Technical Conference ({USENIX}{ATC} 12). 309--318."},{"key":"e_1_3_2_1_19_1","unstructured":"Bjarne Stroustrup. 2013. The C++ Programming Language (4th ed.). Addison-Wesley Professional.   Bjarne Stroustrup. 2013. The C++ Programming Language (4th ed.). Addison-Wesley Professional."},{"key":"e_1_3_2_1_21_1","unstructured":"Herb Sutter. 2018. Thoughts on a more powerful and simpler C++ (5 of N). https:\/\/www.youtube.com\/watch?v=80BZxujhY38 (last accessed: 28-02-2019).  Herb Sutter. 2018. Thoughts on a more powerful and simpler C++ (5 of N). https:\/\/www.youtube.com\/watch?v=80BZxujhY38 (last accessed: 28-02-2019)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610395"}],"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.3351559","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3351556.3351559","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.3351559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,26]]},"references-count":21,"alternative-id":["10.1145\/3351556.3351559","10.1145\/3351556"],"URL":"https:\/\/doi.org\/10.1145\/3351556.3351559","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"}}]}}