Papr1ka / llvm2py
☆10Updated last month
Alternatives and similar repositories for llvm2py:
Users that are interested in llvm2py are comparing it to the libraries listed below
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Simple grammar-based test case generator☆31Updated 3 weeks ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- Thesis code☆26Updated last year
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 3 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆41Updated 8 months ago
- Universal Symbolic Virtual Machine☆23Updated this week
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆17Updated last year
- libLISA: Instruction Discovery and Analysis on x86-64☆112Updated 2 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆97Updated 2 years ago
- Juliet C/C++ Dynamic Test Suite☆28Updated 2 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month
- ☆50Updated 2 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆47Updated last year
- ☆39Updated last week
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- Library for manipulating gdb in batch mode☆20Updated last year
- Grammar synthesis algorithm using a black box oracle☆37Updated 11 months ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆52Updated 3 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 4 months ago
- Synthesis of Loop-free Programs in Rust☆65Updated 5 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆239Updated 6 months ago
- ☆17Updated 3 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated 3 weeks ago
- A verification tool for many memory models☆92Updated this week
- Efficient patch generation engine for C/C++ programs☆18Updated 2 years ago
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆16Updated 7 months ago