Static program analyzer for

Easy to use

Fully automatic analysis workflow that requires minimal setup by the end-user.

Scalable

Analyzes several millions LOCs within a few hours.

High true positive rate

60–90% depending on the defect type.

Detailed explanation of potential defects

Browse defects supplied with textual descriptions, locations, and traces in a graphical web-based interface.

Warning review & history

Review, store, track, and compare warnings from consecutive analysis runs.

Good coverage

> 50 defect classes (null pointer dereferences, buffer overflows, resource and memory leaks, locking errors, etc.)