Giters

xlauko / 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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

xlauko/lart Stargazers