Koukyosyumei / GymboLinks
gradient-based symbolic execution engine implemented from scratch
☆36Updated 2 years ago
Alternatives and similar repositories for Gymbo
Users that are interested in Gymbo are comparing it to the libraries listed below
Sorting:
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Dr. Disassembler☆37Updated 4 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 7 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- AIL: The angr Intermediate Language.☆33Updated 7 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated 2 months ago
- ☆59Updated 2 years ago
- ☆21Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54Updated 7 months ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- CTADL is a static taint analysis tool☆50Updated 4 months ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆20Updated 5 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- Retypd plugin for Ghidra reverse engineering framework from NSA☆27Updated 2 years ago
- Solving floating point SMT constraints on a GPU☆50Updated 5 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆22Updated last year
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- Formally verified x86-64 decompilation☆44Updated 3 weeks ago
- ☆25Updated 2 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated last year
- Tantō slices functions into more consumable chunks☆76Updated last month
- Scalable Validator for Binary Lifters☆61Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆79Updated this week
- VSCode extension for the LLVM IR language☆60Updated last year
- ☆13Updated 3 years ago
- Pretty printer from GTIRB to assembly code☆49Updated 2 months ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Updated 4 months ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆61Updated 3 weeks ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- ☆74Updated last year