cuplv/TAJS
Type Analyzer for JavaScript
WALA utility methods for Scala projects.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Type Analyzer for JavaScript
Goal-directed static analysis tool for JVM languages.
Framework model for static analysis of Android
Public repository.