Last released Jun 3, 2020
Free program analysis focused on bugs that matter to you.
Last released May 4, 2020
Git-aware utility for automated program analysis
Supported by