CrySL: Validating Correct Usage of Cryptographic APIs
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java