Informace o publikaci
LART
| Autoři | |
|---|---|
| Rok publikování | 2022 |
| Druh | Software |
| Fakulta / Pracoviště MU | |
| www | https://github.com/xlauko/lart |
| Popis | 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. |
| Související projekty: |