kristerw / instless_compLinks
Instruction-less computation
☆19Updated last year
Alternatives and similar repositories for instless_comp
Users that are interested in instless_comp are comparing it to the libraries listed below
Sorting:
- A framework for finding completeness bugs in optimizing compiler toolchains☆22Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 8 months ago
- Formally verified x86-64 decompilation☆43Updated last week
- Synthesis of loop-free programs☆19Updated 2 weeks ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- ☆72Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 4 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆22Updated 4 months ago
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆42Updated 2 years ago
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- The next generation reverse engineering IDE (work-in-progress).☆97Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆75Updated this week
- VSCode extension for the LLVM IR language☆61Updated last year
- ☆43Updated 4 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆33Updated this week
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆26Updated 4 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆159Updated last week
- Retypd plugin for Ghidra reverse engineering framework from NSA☆25Updated 2 years ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆36Updated 5 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated 2 years ago
- ☆24Updated 2 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆53Updated 3 weeks ago
- A graphing library for Control Flow Graphs☆65Updated 2 months ago
- Core emulator components for Icicle☆238Updated this week
- Safely execute an arbitrary x86 instruction☆185Updated last year
- libLISA: Instruction Discovery and Analysis on x86-64☆116Updated 6 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- SMT Modeling for Ghidra's PCODE☆28Updated last week