Why people like
Boolean satisfiability. Interprocedural data flow. Statistical analysis. We’ve got them all. Plus false path pruning, which understands the data dependencies in your code and eliminates infeasible paths from the analysis so you don’t waste time triaging non issues.
- Accurate Java source code analysis
- Easy to understand results
- Uncover issues faster with deep source code analysis – find that needle in the haystack.
- Interprocedural analysis traces function call chains across your entire application with no stack depth limit to find complex issues.