IDE extension that lets you fix coding issues before they exist!
Setup is effortless and analysis is automatic for most languages
Fast, accurate analysis; enterprise scalability
Queries with contradictory WHERE clauses will always return empty result sets. This is clearly a bug.
WHERE
SELECT * FROM fruit WHERE type='apple' AND type='orange' -- Noncompliant
