All Git Users → plast-lab

2 open source projects by plast-lab

[ Open user page on Github ]

A tool for analyzing LLVM bitcode using Datalog.

✭ 67

Mirror of Doop: https://bitbucket.org/yanniss/doop

✭ 61

java groovy python shell perl ANTLR datalog doop pointer-analysis

1-2 of 2 user projects