z3 solver 学习
☆53Jun 17, 2023Updated 2 years ago
Alternatives and similar repositories for z3-study
Users that are interested in z3-study are comparing it to the libraries listed below
Sorting:
- IDAPython / IDC tips and tricks☆38Oct 25, 2022Updated 3 years ago
- Resume FuncOutline by idapython☆28Aug 20, 2024Updated last year
- ☆16Jun 9, 2023Updated 2 years ago
- ☆15Jun 24, 2021Updated 4 years ago
- derper's mom☆13Oct 28, 2025Updated 4 months ago
- Raw IDA Kernel API for IDAPython☆34Apr 10, 2022Updated 3 years ago
- A Cython reverse helper with analyzing Ghidra P-Code. For 2024 CTFCON.☆11Aug 16, 2024Updated last year
- Files and writeups for challenges I authored in BalsnCTF 2022.☆26Sep 5, 2022Updated 3 years ago
- Export IDA microcode to BinExport format so that you can use BinDiff to diff microcodes☆12Sep 21, 2024Updated last year
- 一个基于 Qiling 的 函数仿真工具。可以从一个 ELF 文件中选取特定函数执行，并将执行结果导出。☆15Aug 10, 2022Updated 3 years ago
- 笔者在一款基于LLVM编译器架构的retdec开源反编译器工具的基础上,融合了klee符号执行工具,通过符号执行(Symbolic Execution)引擎动态模拟反编译后的llvm的ir(中间指令集)运行源程序的方法,插桩所有的对x86指令集的thiscall类型函数对t…☆224Apr 6, 2022Updated 3 years ago
- ☆16Sep 27, 2021Updated 4 years ago
- Emulation Wrapper Solution is a IDA Pro plugin that brings emulator capacities to provide features such as debugging an mocking.☆23May 25, 2023Updated 2 years ago
- Dynamic Tracing in Android (fork from iovisor/ply)☆21Nov 26, 2022Updated 3 years ago
- Updated IDA ReObjc Plugin for 7.4+ and python3☆13Apr 17, 2021Updated 4 years ago
- ☆48Oct 11, 2024Updated last year
- Run `strace` on program that is under another debugger☆18Aug 6, 2023Updated 2 years ago
- Plugin on Python; Create signatures for rust binaries☆18Dec 8, 2022Updated 3 years ago
- 详细说明及演示MMU相 关原理及过程(用于理解Linux内核Root Kernelpatch)☆23Jun 17, 2024Updated last year
- Use openai to help you better translate function meanings and restore symbol tables from sub_xxxx functions☆19Jul 1, 2024Updated last year
- 反ida内联汇编花指令☆54Jul 3, 2023Updated 2 years ago
- ☆34Dec 23, 2025Updated 2 months ago
- Supporting for IDA9.0. Forked from https://bitbucket.org/NtQuery/scyllahide☆38Dec 22, 2024Updated last year
- FindFunc is an IDA Pro plugin to find code functions that contain a certain assembly or byte pattern, reference a certain name or string,…☆354Nov 17, 2025Updated 3 months ago
- dump dex for android 14☆66Oct 4, 2024Updated last year
- Generic Frida Script To Bypass Root Detection☆56Sep 25, 2022Updated 3 years ago
- qemu vulnerablity.☆55May 25, 2021Updated 4 years ago
- Open source of the paper "击败SOTA反混淆方法"☆18Sep 10, 2022Updated 3 years ago
- ☆153Jan 6, 2019Updated 7 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆90Sep 18, 2025Updated 5 months ago
- IdaClu is a version agnostic IDA Pro plugin for grouping similar functions. Pick an existing grouping algorithm or create your own.☆180Feb 10, 2026Updated 2 weeks ago
- IDA plugin that displays the P-code for the current function☆72Nov 18, 2025Updated 3 months ago
- 自己收集与编写的 常用IDA脚本，通常用于反混淆☆91Feb 28, 2025Updated last year
- MBA-Blast is a tool for simplification of MBA expressions.☆70Aug 6, 2021Updated 4 years ago
- An IDA plugin for making pseudocode better.☆364Dec 10, 2022Updated 3 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
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Dec 7, 2019Updated 6 years ago
- This is an IDA plugin to recover class information from C++ binary.☆19Aug 4, 2020Updated 5 years ago
- 一个通过控制指定内存段权限设置而实现阻止app自身inline hook行为的内核模块☆39Mar 13, 2025Updated 11 months ago