Robuta

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.30 Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis a newfine grainedpointer analysisqilinframework