Informace o publikaci

LART

Autoři

LAUKO Henrich

Rok publikování 2022
Druh Software
Fakulta / Pracoviště MU

Fakulta informatiky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info