LART

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

LAUKO Henrich

Year of publication 2022
MU Faculty or unit

Faculty of Informatics

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:

You are running an old browser version. We recommend updating your browser to its latest version.