CodeChecker: a static analysis infrastructure built on Clang Static Analyzergithub.com/Ericsson4 pointsingve11 years ago