Koukyosyumei / Gymbo
gradient-based symbolic execution engine implemented from scratch
☆35Updated 9 months ago
Related projects: ⓘ
- Dr. Disassembler☆35Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆39Updated last month
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- rev.ng configuration for orchestra. The starting point for any development.☆32Updated this week
- VSCode extension for the LLVM IR language☆58Updated 3 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated last year
- A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.☆34Updated last week
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆25Updated 4 months ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Solving floating point SMT constraints on a GPU☆47Updated 3 years ago
- AIL: The angr Intermediate Language.☆28Updated this week
- ☆56Updated last year
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆18Updated last year
- ☆13Updated last week
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- llvm crash analysis☆41Updated 2 months ago
- Sydr benchmark applications☆15Updated 2 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains☆20Updated 6 months ago
- Some Rust bindings for Binary Ninja☆31Updated 11 months ago
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆56Updated last week
- Demo showing Claude Opus does not find CVE-2023-0266☆12Updated 6 months ago
- ☆19Updated 5 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 2 months ago
- ☆27Updated 2 months ago
- ☆10Updated 5 months ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 4 years ago
- This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …☆62Updated 3 years ago