arXiv· Artur Zięba-Kozarzewski·· 1 天前推荐指数52
SourceLens 用执行轨迹核验 Joern 对 Python 的否定可达性结论
When Static Reachability Says No: Checking Joern-Based Negative Verdicts for Python Against Execution
AI 导读
论文提出流水线 SourceLens，将 Semgrep 发现映射到 Python 调用图，用执行轨迹核验 Joern 基于代码属性图给出的否定可达性结论。
来源：arXiv · arxiv.org