R 2022

LART

LAUKO, Henrich

Basic information

Original name

LART

Authors

Edition

2022

Other information

Language

English

Type of outcome

Software

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

Organization unit

Faculty of Informatics

Keywords in English

compiler;program instrumentation;abstraction;llvm
Změněno: 10/11/2023 11:02, RNDr. Henrich Lauko, Ph.D.

Abstract

V originále

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.

Links

MUNI/A/1145/2021, interní kód MU
Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. (Acronym: SV-FI MAV XI.)
Investor: Masaryk University