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: |