doop topic
List
doop
repositories
doop
135
Stars
20
Forks
Watchers
The official repo of Doop, the declarative pointer analysis framework.
plast-lab
datalog
doop
java
pointer-analysis