软件下载帮助文档新闻资讯

Skill UI

浏览并发现 19333+ 精选技能

全部编程开发人工智能设计创意产品商业数据科学市场营销职场通用效率工具硬件工程语言学习

搜索 Z3 ，共找到 1 条记录

默认排序最新上传最多下载

符号执行与约束求解专家手册

symbolic-execution-tools

yaklang/hack-skills

本手册提供使用 angr、Z3 和 Unicorn Engine 的符号执行高级技巧。内容涵盖 CTF 挑战自动化、约束求解模式、函数钩挂、内存操作和自定义虚拟机模拟，适用于二进制逆向分析和密钥恢复。

1

语言