https://github.com/cuplv/hopper
Scala55
8 years ago
Goal-directed static analysis tool for JVM languages.
Apache License 2.0