CodeChecker: a static analysis infrastructure built on Clang Static Analyzer | Heykuki News