A static analyzer for Java, C, C++, and Objective-C
Issues are used to track tasks, bugs, and feature requests.