fredfeng/Scuba
Bottom-up summary based pointer analysis for Java
OL components
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
Soot - A Java optimization framework
Some codes written in Haskell
Resolving virtual calls in a scalable and precise way