1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 1 cited
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★ 1 cited
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…