国产自主可控概念(基于缺陷模式的静态分析技术在自主可控平台的应用)

1静态分析技术静态代码缺陷分析技术使用对代码的静态分析来猜测程序运行时的性能行为，从而发现代码中可能存在的缺陷[1]。这种技术主要包括自动抽象解释、定理证明、模型检验、符号执行和基于缺陷模式的代码检验。在使用这些工具的过程中，用户经常希望扩展“缺陷模式”的知识，以便这些工具能够支持检测对所关心的“代码缺陷”。然而，大多数当前的工具并没有为