1. Application-Only Call Graph Construction
2. K.
Ali
and
O.
Lhoták
.
Averroes: Whole-program analysis without the whole program. In G. Castagna editor ECOOP 2013 - Object-Oriented Programming - 27th European Conference Montpellier France July 1-5 2013
.
Proceedings volume
7920
of
Lecture Notes in Computer Science pages 378–
400
. Springer 2013. 10.1007/978-3-642-39038-8_16 K. Ali and O. Lhoták. Averroes: Whole-program analysis without the whole program. In G. Castagna editor ECOOP 2013 - Object-Oriented Programming - 27th European Conference Montpellier France July 1-5 2013. Proceedings volume 7920 of Lecture Notes in Computer Science pages 378–400. Springer 2013. 10.1007/978-3-642-39038-8_16
3. Combining type-analysis with points-to analysis for analyzing Java library source-code
4. FlowDroid
5. Fast static analysis of C++ virtual function calls