1. CodeChecker from Horstman