issues
search
plast-lab
/
cclyzer
A tool for analyzing LLVM bitcode using Datalog.
MIT License
96
stars
14
forks
source link
Add predicate with global variable location info
#4
Closed
eirenevp
closed
8 years ago