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.

语言：C++ · GitHub 星标：19 · Fork：1

话题：abstract-interpretation · abstraction · compiler · compilers · hacktoberfest · llvm · model-checking · static-analysis

在 GitHub 上查看原仓库