Uses transfer functions from LLVM ConstantRange.cpp and interprets a program given in LLVM IR to give final ranges for each integer variable until we reach a fixed point.
-
Notifications
You must be signed in to change notification settings - Fork 0
LLVM Abstract Interpreter
License
pranavk/llvm-ai
About
LLVM Abstract Interpreter
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published