4 papers
Detecting lifetime errors of std::string_view objects in C++
Reka Kovacs, Gabor Horvath, Zoltan Porkolab
std::string view is a reference-like data structure in the C++ Standard Template Library (STL) that enables fast and cheap processing of read-only strings. Due to its wide applicab…
Implementing and Executing Static Analysis Using LLVM and CodeChecker
Gabor Horvath, Reka Kovacs, Richard Szalay +1
Static analysis is a method of analyzing source code without executing it. It is widely used to find bugs and code smells in industrial software. Besides other methods, the most im…
Static Code Analysis with CodeChecker
Gabor Horvath, Reka Kovacs, Richard Szalay +3
CodeChecker is an open source project that integrates different static analysis tools such as the Clang Static Analyzer and Clang-Tidy into the build systems, continuous integratio…
Scaling Symbolic Execution to Large Software Systems
Gabor Horvath, Reka Kovacs, Zoltan Porkolab
Static analysis is the analysis of a program without executing it, usually carried out by an automated tool. Symbolic execution is a popular static analysis technique used both in…