fredfeng/Scuba
Bottom-up summary based pointer analysis for Java
Soot - A Java optimization framework
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Bottom-up summary based pointer analysis for Java
Some codes written in Haskell
Resolving virtual calls in a scalable and precise way
Public repository.