PASCAL Research Group
Programming Languages and Static Analysis Group@Nanjing University
https://tai-e.pascal-lab.net/
An easy-to-learn/use static analysis framework for Java