GitHub / pascal-lab 1 project

PASCAL Research Group

Programming Languages and Static Analysis Group@Nanjing University

https://tai-e.pascal-lab.net/

Projects

Updated 9 months ago

tai-e • Rank 10.4 • Science 67%

An easy-to-learn/use static analysis framework for Java