Program synthesis tools and utilities for LLVM.
☆20Jul 6, 2023Updated 2 years ago
Alternatives and similar repositories for accsynt
Users that are interested in accsynt are comparing it to the libraries listed below
Sorting:
- ☆16Feb 27, 2026Updated last week
- A simple C++ driver base with KD data block☆11Jun 25, 2022Updated 3 years ago
- Load-time selective binary rewriting☆164Aug 26, 2022Updated 3 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- Windows kernel ROP-only implant exposing R/W primitives☆42Feb 1, 2026Updated last month
- Kernel Cache Decryption for iOS☆17Nov 16, 2021Updated 4 years ago
- ☆13Dec 27, 2019Updated 6 years ago
- Virtual machine with a custom instruction set in C☆16Jul 17, 2018Updated 7 years ago
- A high-fidelity x86_64 polymorphic mutation engine focused on instruction-level fragmentation and context preservation.☆111Jan 18, 2026Updated last month
- Binary Ninja plugin to perform automated analysis of Windows drivers☆20Aug 8, 2019Updated 6 years ago
- ☆20Nov 5, 2018Updated 7 years ago
- A simple polymorphic engine☆21Jun 5, 2020Updated 5 years ago
- ☆45Apr 10, 2021Updated 4 years ago
- ☆22Jan 24, 2023Updated 3 years ago
- Place & Router for Minetest☆18Nov 5, 2022Updated 3 years ago
- ☆19Dec 19, 2019Updated 6 years ago
- HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Ap…☆22Jul 6, 2021Updated 4 years ago
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated last year
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- obfuscation that aims to not stand out☆24Mar 27, 2022Updated 3 years ago
- Another tutorial for writing a Forth interpreter in assembly☆19Oct 8, 2017Updated 8 years ago
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆76Nov 12, 2019Updated 6 years ago
- LLVM obfuscation pass, flattening at the basic block's level and turning each basic block into a dispacher and each instruction into a ne…☆49Aug 23, 2021Updated 4 years ago
- transpile llil to c++ for execution and testing☆48Jan 11, 2024Updated 2 years ago
- Binary Ninja plugin that decompiles the whole binary and saves them in a directory.☆22Nov 24, 2022Updated 3 years ago
- ☆23Mar 13, 2023Updated 2 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆23Dec 3, 2021Updated 4 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 10 months ago
- A library for dynamic binary rewriting☆59Feb 10, 2021Updated 5 years ago
- Experiments involving the Windows Hypervisor Platform☆23Jun 24, 2020Updated 5 years ago
- Commodity Obfuscation Engine for Intel SGX☆20Jul 21, 2019Updated 6 years ago
- ScrapeAW is a framework that without API scrape IPs across the world using Shodan☆11May 16, 2024Updated last year
- ☆24Apr 30, 2023Updated 2 years ago
- ☆59Jan 27, 2023Updated 3 years ago
- Optimizing Directed Fuzzing via Target-tailored Program State Restriction☆31May 16, 2023Updated 2 years ago
- Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis☆32Feb 8, 2026Updated 3 weeks ago
- The toolchain of Chosen-instruction attack☆21May 3, 2022Updated 3 years ago
- Dell Driver EoP (CVE-2021-21551)☆26Feb 3, 2023Updated 3 years ago
- A radare2 Python script to dump a raw IA32 binary to an NASM source file☆32Dec 10, 2025Updated 2 months ago