2 papers
cs.SE2024
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…
cs.SE2024
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…