-
Notifications
You must be signed in to change notification settings - Fork 2
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
License
xlauko/lart
ErrorLooks like something went wrong!
About
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published