Papr1ka / llvm2pyLinks
☆11Updated 3 months ago
Alternatives and similar repositories for llvm2py
Users that are interested in llvm2py are comparing it to the libraries listed below
Sorting:
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Juliet C/C++ Dynamic Test Suite☆29Updated 2 years ago
- Universal Symbolic Virtual Machine☆24Updated this week
- A framework for testing compilers' type checkers☆54Updated 10 months ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- Simple grammar-based test case generator☆31Updated 2 weeks ago
- ☆39Updated last month
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆19Updated last year
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆245Updated 8 months ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Sydr benchmark applications☆17Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 4 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 3 months ago
- Thesis code☆26Updated last year
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆17Updated 2 weeks ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆29Updated 3 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆50Updated last year
- ☆52Updated 2 years ago
- ☆47Updated 11 months ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 11 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 10 months ago
- Grammar synthesis algorithm using a black box oracle☆36Updated last year
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- A randomized program fuzzer for the Rust programming language☆64Updated last year
- Library for manipulating gdb in batch mode☆21Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated last month
- A framework for finding completeness bugs in optimizing compiler toolchains☆22Updated last year
- ☆74Updated last year
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆137Updated last month
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated 2 weeks ago