Symbolic execution engine for Whitespace.
☆13May 30, 2021Updated 4 years ago
Alternatives and similar repositories for whitesymex
Users that are interested in whitesymex are comparing it to the libraries listed below
Sorting:
- ☆22Feb 14, 2022Updated 4 years ago
- A tool that acts as an assistant for Reverse Engineering challenges in CTFs☆16Jan 5, 2021Updated 5 years ago
- A box for CTF challenges with some sugar functions, Just Enjoy it☆33Dec 9, 2022Updated 3 years ago
- ☆16Sep 27, 2021Updated 4 years ago
- ☆64Nov 26, 2021Updated 4 years ago
- Code to extracts stable ARM CPU register values directly from system hardware for fingerprinting device.☆28Jul 23, 2025Updated 7 months ago
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- Python module for demangling rust function names☆19Apr 24, 2021Updated 4 years ago
- A JADX plugin for interactive code analysis using Large Language Models (LLMs). Provides dynamic code analysis, security assessment, malw…☆28Dec 14, 2024Updated last year
- ARM TrustZone Audit: Securing vs. Non-Securing Memory Separation☆23Mar 1, 2025Updated last year
- ☆50Feb 23, 2022Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- IDA (sort of) headless☆27Feb 17, 2024Updated 2 years ago
- cracker for the llvm-fla-obfuscator☆24Sep 6, 2016Updated 9 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆167Feb 16, 2025Updated last year
- JDB++ an jdb extension for easily debugging through smali code☆23Jul 18, 2025Updated 7 months ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Jun 14, 2025Updated 8 months ago
- Resume FuncOutline by idapython☆28Aug 20, 2024Updated last year
- Some common reverse exps in CTF.自己总结编写的一些逆向常用脚本&&常见加密/编码的实现源码和比赛时用的处理脚本。☆34Jan 9, 2024Updated 2 years ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆45Jan 5, 2026Updated 2 months ago
- The Reverse Engineering Assistant of your dreams☆31Dec 30, 2021Updated 4 years ago
- Juliet C/C++ Dynamic Test Suite☆35Apr 18, 2023Updated 2 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆39May 6, 2024Updated last year
- ☆34Mar 19, 2021Updated 4 years ago
- A flutter wheel project☆11Apr 9, 2019Updated 6 years ago
- A versatile and easy-to-use static binary patching tool.☆55Sep 16, 2025Updated 5 months ago
- A tool to resolve seccomp just like seccomp-tools, written in C☆73Updated this week
- 一个用于暴力破解猫变换（Arnold's Cat Map）加密图像的命令行工具。☆26Dec 21, 2025Updated 2 months ago
- ☆14Mar 10, 2025Updated 11 months ago
- learn llvm from scratch☆14Apr 29, 2023Updated 2 years ago
- Cuckoo Sandbox report parser into ransomware classifier☆11Feb 14, 2019Updated 7 years ago
- choose demo☆21Nov 6, 2025Updated 4 months ago
- llvm powered deobfuscation of a vm-based protection☆52Feb 25, 2026Updated last week
- [USENIX Security'24] Official repository of "Making Them Ask and Answer: Jailbreaking Large Language Models in Few Queries via Disguise a…☆113Oct 11, 2024Updated last year
- ☆11Aug 21, 2024Updated last year
- Repository for Binary Reverse Engineering exercises.☆12Jul 17, 2020Updated 5 years ago
- PC远控winos4.0成品☆12Sep 13, 2023Updated 2 years ago
- PANDA-powered tracing engine for tenet☆11Apr 7, 2022Updated 3 years ago
- A PDF that shows its own MD5☆11Jan 2, 2023Updated 3 years ago