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