1. Automatic Checking of the Usage of the C++11 Move Semantics
2. Backward Compatibility Violations and their Detection in C++ Legacy Code using Static Analysis
3. Challenges of implementing cross translation unit analysis in Clang Static Analyzer;horváth;2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM),2018
4. LLVM and Clang: Next generation compiler technology;lattner;lecture at BSD Conference 2008,2008
5. Static analysis toolset with Clang;babati;Proceedings of the 10th International Conference on Applied Informatics (ICAI 2017),2017