Owner · pascal-lab

pascal-lab

pascal-lab's tracked open-source repos, sorted by stars.

2 repos

#1
Tai-e ↗@pascal-labJava
An easy-to-learn/use static analysis framework for Java and Android
★ 1,806+3Star change over the last 7 days
#2
Tai-e-assignments ↗@pascal-labJava
Tai-e assignments for static program analysis
★ 1,227+1Star change over the last 7 days