Efficient and precise data-flow analysis.
$IDE^{al}$ is an efficient and generic framework for pointer-tracking data-flow analysis.
Support for software developers to securely using cryptography
Boomerang is a demand-driven pointer analysis for Java.