arXiv ScienceSearch

arXiv subjects

Daniel Krupp

Publications and source records attributed to Daniel Krupp.

1 recordsLinked to original sources

Static Code Analysis with CodeChecker

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 integration loops, and development workflows of C++ programmers. It has a powerful issue management system to make it easier to evaluate the reports of the static analysis tools. This document was handed out as supportive material for a code analysis lecture at the 2018 3COWS conference in Kosice, Slovakia.

cs.SE