PASCAL Research Group

icon indicating a website link https://tai-e.pascal-lab.net/

icon location Programming Languages and Static Analysis Group@Nanjing University

Results 2 repositories owned by PASCAL Research Group

Tai-e-assignments

994
Stars
229
Forks
Watchers

Tai-e assignments for static program analysis

verified publisher icon pascal-lab

Tai-e

1.3k
Stars
161
Forks
Watchers

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

verified publisher icon pascal-lab