Publication details

LART

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.

More info