You are here:
Publication details
LART
Authors | |
---|---|
Year of publication | 2022 |
MU Faculty or unit | |
Web | https://github.com/xlauko/lart |
Description | LART: 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. |
Related projects: |