PySemBridge

PySemBridge 是一个实验性框架，用于建模和编译 Python 动态语义桥（Semantic Bridge），以增强静态污点分析对动态特性的覆盖能力。它将 LLM 或代码分析生成的语义桥中间表示（IR）编译为静态分析器可消费的事实/规则，再由 YASA 等后端执行污点传播验证，支持 receiver dispatch、动态调用、容器传播、属性间接访问等 14 类典型动态语义识别。适用于安全研究人员和静态分析工具开发者，在 CVE 复现、Python 框架漏洞建模及分析引擎扩展等场景中，辅助构建可验证的动态语义假设。