forinxy/-skills/u-0lihm2n1f2dxsv

Claude Code and agent skill by forinxy/-skills

Trust tier 3
  • community
Source check pending

Checking that the SKILL.md file is still in the repository.

静态符号执行方法论（供安全研究/自有应用）。当需要求解混淆过的指令序列、自动推导某输入约束、还原被 OLLVM/VMP 打乱的逻辑时，用 Angr / Miasm / Triton 做符号执行。涵盖三种引擎选型、符号执行基本流程、约束求解、处理路径爆炸。

Install

npx vskill@latest install forinxy/-skills/u-0lihm2n1f2dxsv

SKILL.md

静态符号执行（Angr / Miasm / Triton）

当逻辑被混淆到人眼难读，或想"给定输出反推输入"时，符号执行让工具替你算。把具体值换成符号变量，跟踪约束，最后用求解器解出满足条件的输入。

一、三种引擎怎么选

引擎语言强项适合
AngrPython生态全、上手快、CFG/符号执行/求解一体通用首选、CTF、找特定路径输入
MiasmPython中间表示强、擅长反混淆/重写OLLVM/VMP 去混淆、指令语义分析
TritonC++/Python动态符号执行、污点分析、快跟真实执行结合、单函数精确分析

二、Angr 典型流程（最常用）

python
import angr, claripy
proj = angr.Project("libtarget.so", auto_load_libs=False)
# 目标函数地址
func = 0x1234
# 符号化输入
arg = claripy.BVS("arg", 8*16)
state = proj.factory.call_state(func, arg)
simgr = proj.factory.simulation_manager(state)
# 找到"验证通过"的地址，避开"失败"地址
simgr.explore(find=0xAABB, avoid=0xCCDD)
if simgr.found:
    print(simgr.found[0].solver.eval(arg, cast_to=bytes))

三、关键难点：路径爆炸

  • 分支太多 → 状态指数增长跑不完。对策：
  • 用 avoid 剪掉无关分支
  • 缩小符号化范围（只符号化关键输入，其余给具体值）
  • 从目标函数中间开始（blank_state(addr=...)）而非从 main
  • hook 掉耗时的库函数（proj.hook）用 SimProcedure 替代

四、配合其他技能

  • 反 OLLVM：符号执行帮确定平坦化的 state 转移（配合 deobfuscation-ollvm）
  • VMP：Miasm 符号执行分析 VM handler 语义（配合 devirtualization-vmp）
  • native 定位：先用 ida-decompile/rev-symbol 找到目标函数地址再符号执行

五、手机端现实

符号执行工具（angr/miasm/triton）跑在 PC（手机装不了）。玄星里 AI 的角色：

  • 帮你写/改 angr 脚本、定位 find/avoid 地址、诊断路径爆炸
  • 解读符号执行结果、把求解出的输入翻译成人话
  • 实际运行在你电脑上，AI 指导

边界

用于自有 App / 授权样本的算法分析、漏洞研究、CTF、学习。不协助破解他人付费验证。

Security

  • Security scanPassed, 90 of 100Pattern checks on the skill's files.
  • Model reviewPassed

See the full security report

Quality evaluation

  • Task evaluationNot runNo evaluation yet. Run one in Skill Studio.

See evaluation results

Source

Popularity

Repository stars
42
Repository forks
18
7-day trend score
0

Stars and forks are for the whole GitHub repository, not this skill alone. Not refreshed yet.

Works with

Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.

  • Claude Code
  • Cursor
  • GitHub Copilot
  • Windsurf
  • Codex
  • Gemini CLI
  • Cline
  • Amp
  • Roo Code
  • Goose
  • Continue
  • Kilo Code
  • Junie
  • Trae
  • OpenHands
  • Qwen Code
  • AI Agent
  • Tabnine Chat
  • Sourcegraph Cody
  • Amazon Q
  • Firebase Genkit
  • Sweep
  • Devin
  • Phind
  • Mentat
  • Claude Desktop
  • Aider
  • GPT Pilot
  • Plandex
  • bolt.new
  • v0
  • Replit Agent
  • Anse
  • TypingMind
  • BetterChatGPT
  • LibreChat
  • Warp AI
  • Pieces
  • Fig AI
Embed badge
vskill VERIFIED badge
[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/forinxy/-skills/u-0lihm2n1f2dxsv/badge)](https://verified-skill.com/skills/forinxy/-skills/u-0lihm2n1f2dxsv)

Something wrong with this skill or its page? Tell us.