Ctrlk
For the complete documentation index, see llms.txt. This page is also available as Markdown.

第三篇：程序分析与代码图谱

静态分析：不运行代码时能知道什么动态分析：运行起来之后才能知道什么变更分析：系统是如何演进的代码图谱：节点、边与属性可视化表达：从图到证据
PreviousIR、SSA、CFG 与 DFGNext静态分析：不运行代码时能知道什么

Last updated