static-symbolic-execution
Skill4 starsChanged 3 months agoNo licenceView on GitHub
静态符号执行方法论（供安全研究/自有应用）。当需要求解混淆过的指令序列、自动推导某输入约束、还原被 OLLVM/VMP 打乱的逻辑时，用 Angr / Miasm / Triton 做符号执行。涵盖三种引擎选型、符号执行基本流程、约束求解、处理路径爆炸。
In this repository47 other files it gives its agents.
- ad-removalSkill
- ai-reverse-workflowSkill
- android-emulator-skillSkill
- android-gradle-logicSkill
- android-pentestSkill
- android-releaseSkill
- android-reverse-engineeringSkill
- Android StudioSkill
- android-unpackingSkill
- apk-clues-extractSkill
- apktoolSkill
- deobfuscation-ollvmSkill
- devirtualization-vmpSkill
- flutter-reverseSkill
- flutterSkill
- frida-scriptsSkill
- hybrid-h5-reverseSkill
- ida-decompileSkill
- IDA-SkillSkill
- jadxSkill
- kernel-system-hookSkill
- memory-integrity-bypassSkill
- mt-mcp-apk-analyzerSkill
- noroot-hookSkill
- openclaw-sdkSkill
- packer-identificationSkill
- performing-dynamic-analysis-of-android-appSkill
- protocol-crypto-analysisSkill
- rev-dex-dumperSkill
- reverse-patch-techniquesSkill
- rev-fridaSkill
- rev-idapythonSkill
- rev-ios-dumpSkill
- rev-structSkill
- rev-symbolSkill
- rev-u3d-dumpSkill
- rev-unicorn-debugSkill
- signature-bypassSkill
- smali-repackSkill
- Smart Patch (IDA Pro)Skill
- svc-instruction-traceSkill
- unity-il2cpp-reverseSkill
- xposed-module-builderSkill
- 参考Skill
- 破Skill
- 破甲Skill
- 破限Skill
The file
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.