Papr1ka / llvm2pyLinks
☆12Updated 10 months ago
Alternatives and similar repositories for llvm2py
Users that are interested in llvm2py are comparing it to the libraries listed below
Sorting:
- Some experiments with SMT solvers and GIMPLE IR☆79Updated this week
- Simple grammar-based test case generator☆39Updated 2 weeks ago
- libLISA: Instruction Discovery and Analysis on x86-64☆123Updated 11 months ago
- ☆21Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆61Updated 2 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆82Updated this week
- Clade is a tool for extracting information about software build process and source code☆22Updated 2 years ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Updated 2 years ago
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 9 months ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆22Updated 2 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Updated last year
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆62Updated last month
- CodeHawk Abstract Interpretation Engine and Analyzers☆73Updated last week
- Library for manipulating gdb in batch mode☆20Updated last year
- ☆53Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆148Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 10 months ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆55Updated last year
- Thesis code☆26Updated 2 years ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Updated 5 months ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated last year
- ☆48Updated 7 months ago
- ROSA: Finding Backdoors with Fuzzing☆28Updated 7 months ago
- LLVM meets Code Property Graphs☆96Updated 4 years ago
- Dynamically discover the commands used to create a piece of software☆58Updated 3 months ago
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- Pretty printer from GTIRB to assembly code☆49Updated 2 months ago