umutoztunc / whitesymexView external linksLinks
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
- Code to extracts stable ARM CPU register values directly from system hardware for fingerprinting device.☆28Jul 23, 2025Updated 6 months ago
- ☆64Nov 26, 2021Updated 4 years ago
- Symbolic executor for Binary Ninja's MLIL☆26Oct 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…☆27Dec 14, 2024Updated last year
- ARM TrustZone Audit: Securing vs. Non-Securing Memory Separation☆23Mar 1, 2025Updated 11 months ago
- ☆49Feb 23, 2022Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- cracker for the llvm-fla-obfuscator☆24Sep 6, 2016Updated 9 years ago
- IDA (sort of) headless☆27Feb 17, 2024Updated last year
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆166Feb 16, 2025Updated last year
- JDB++ an jdb extension for easily debugging through smali code☆23Jul 18, 2025Updated 6 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 last month
- The Reverse Engineering Assistant of your dreams☆31Dec 30, 2021Updated 4 years ago
- A tool to resolve seccomp just like seccomp-tools, written in C☆50Updated this week
- 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.☆54Sep 16, 2025Updated 5 months ago
- llvm powered deobfuscation of a vm-based protection☆46Apr 18, 2025Updated 9 months ago
- ☆14Mar 10, 2025Updated 11 months ago
- 一个用于暴力破解猫变换(Arnold's Cat Map)加密图像的命令行工具。☆26Dec 21, 2025Updated last month
- choose demo☆20Nov 6, 2025Updated 3 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
- IDA SQL - Interface with IDA in SQL via live virtual tables☆110Updated this week
- [USENIX Security'24] Official repository of "Making Them Ask and Answer: Jailbreaking Large Language Models in Few Queries via Disguise a…☆112Oct 11, 2024Updated last year
- ☆12Feb 20, 2016Updated 9 years ago
- Tool to decrypt encrypted strings in AgentTesla☆16Jan 24, 2022Updated 4 years ago
- PC远控winos4.0成品☆12Sep 13, 2023Updated 2 years ago
- Performing IoT with arduino without WiFi Module☆12Dec 17, 2017Updated 8 years ago