An implementation of the Andersen's algorithm using horn logic and z3.
Tested on LLVM 8.0.1 and Z3 4.8.3
cmake .
make
make test
-
Notifications
You must be signed in to change notification settings - Fork 0
Alias analysis for LLVM using Datalog
License
zhengyao-lin/datalog-aa
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Alias analysis for LLVM using Datalog
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published