☆34May 13, 2024Updated last year
Alternatives and similar repositories for atk-logic
Users that are interested in atk-logic are comparing it to the libraries listed below
Sorting:
- ☆13Jul 18, 2023Updated 2 years ago
- RE for champions☆15Feb 28, 2026Updated last week
- ☆11Jul 12, 2022Updated 3 years ago
- CPUID database derived from InstLatx64☆15Feb 1, 2020Updated 6 years ago
- A compiler for microarchitectural weird machines☆19Aug 10, 2024Updated last year
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆17Jul 27, 2024Updated last year
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Tiny C x86_64 function detouring library.☆28Jan 18, 2026Updated last month
- Easily search LLVM headers for all major versions!☆19Sep 14, 2025Updated 5 months ago
- Simple OpenGL core profile loading, customized for Dear ImGui☆17Dec 11, 2025Updated 2 months ago
- OscillatorIMP ecosystem FPGA IP sources☆27Feb 22, 2026Updated 2 weeks ago
- Workshop for Model Context Protocol☆17Mar 27, 2025Updated 11 months ago
- Dynamic Tracing in Android (fork from iovisor/ply)☆21Nov 26, 2022Updated 3 years ago
- Collection of Cheat dumps for Research and Detection.☆16Jan 4, 2026Updated 2 months ago
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- Rust implementation of the rectcut algorithm described in https://halt.software/dead-simple-layouts/☆18Feb 13, 2023Updated 3 years ago
- Simple anti-instrumentation with EFLAGS.AC☆17Mar 31, 2025Updated 11 months ago
- Online Assembler and Disassembler, support offline usage.☆54Feb 3, 2026Updated last month
- KiCad PCB project of Logic Analyzer☆47Jan 3, 2021Updated 5 years ago
- Rule Engine for Dynamic Malware Analysis and Research☆25Apr 16, 2025Updated 10 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 10 months ago
- FPGA Software for the Probe-Scope☆19Aug 25, 2019Updated 6 years ago
- Pure Go port of Hacker Disassembler Engine.☆25Feb 21, 2025Updated last year
- LLDB based debugger for Linux Kernel☆28Apr 5, 2025Updated 11 months ago
- Rust unsafe bindings for Vid API (Hyper-V)☆22Feb 23, 2025Updated last year
- C definitions processor.☆22Feb 3, 2018Updated 8 years ago
- ☆22Feb 25, 2026Updated last week
- Port of zentool to Windows☆27Mar 7, 2025Updated last year
- Symbolic execution of LLVM IR traces for program understanding.☆27Feb 24, 2014Updated 12 years ago
- SLOT: SMT-LLVM Optimizing Translation☆60Apr 17, 2025Updated 10 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆23Nov 5, 2024Updated last year
- IDA Type Info Libraries for RE☆32Jan 11, 2025Updated last year
- Control Flow Flattening Deobfuscator for Obfuscator-LLVM as a plugin for IDA Pro.☆91Apr 14, 2025Updated 10 months ago
- A collection of Proof-of-Concept implementations of various anti-disassembly techniques for ARM32 and ARM64 architectures.☆77Apr 18, 2025Updated 10 months ago
- 基于Qt的虚拟示波器软件☆29Feb 6, 2020Updated 6 years ago
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆40Dec 5, 2024Updated last year
- LLVM Graph View for VSCode☆40Mar 25, 2025Updated 11 months ago
- a cute hook framwork(now for arm64)☆30Nov 28, 2017Updated 8 years ago
- ☆31Feb 28, 2025Updated last year