Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by xlauko
A curated list of projects in awesome lists by xlauko .
https://github.com/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.
abstract-interpretation abstraction compiler compilers hacktoberfest llvm model-checking static-analysis symbolic-execution
Last synced: 15 Nov 2024
https://github.com/xlauko/lart-runtime
LART Runtime Support Library
abstract-interpretation c c-plus-plus clang llvm sanitizer verification
Last synced: 15 Nov 2024