用途：该技能聚焦使用 LLVM 基础设施进行静态程序分析，服务于安全研究、漏洞检测与代码质量评估。
主要能力： 数据流分析，包括前向分析、后向分析以及 May/Must 近似。 控制流分析，包括支配树、后支配树与循环分析。 指针分析，包括流不敏感（Andersen、Steensgaard）、流敏感与上下文敏感方法。 污点分析，采用 Source-Sink 模型，支持过程间分析、间接调用与上下文敏感。 依赖分析，包括数据依赖图（DDG）和程序切片（前向/后向切片）。 安全应用，如缓冲区溢出检测、释放后使用检测和信息流追踪。
使用方式：可借助 LLVM 内置分析（AliasAnalysis、LoopInfo、DominatorTree）通过 FunctionAnalysisManager 获取结果，也可实现自定义分析（如污点分析类）；指针分析可参考 CFLAndersAliasAnalysis 与 points-to 集合。相关工具包括 Phasar、SVF、Joern、CodeChecker、clam、dg、Semgrep。可结合 clangd/LSP 与 CI/CD 集成。
适用场景：安全审计、漏洞挖掘、代码质量评估、IDE 实时反馈与持续集成检查。
限制：资料未提供安装命令、配置细节、具体收费与价格、平台支持范围及效果数据，暂未提供。