Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
Research article (DROPS (Schloss Dagstuhl – Leibniz Center for Informatics), 2016) · cited 90× · AI/ML