“static program analysis”的概念、定义、翻译、参考文献-科学参考

单词	static program analysis
释义	static program analysis Encyclopedia 工学电子数据取证释 static analysis; static program analysis静态分析在不运行代码的方式下，通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描，验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。又称程序静态分析。
随便看	埃尔米特密度埃尔米特对称空间埃尔米特常数埃尔米特度量埃尔米特度量向量空间埃尔米特形式埃尔米特形式型埃尔米特微分方程埃尔米特性埃尔米特恒等式埃尔米特扩张埃尔米特插值埃尔米特插值公式埃尔米特插值多项式埃尔米特数埃尔米特/斜埃尔米特分裂埃尔米特方程埃尔米特-林德曼定理埃尔米特标量积埃尔米特样条埃尔米特核埃尔米特模埃尔米特求积埃尔米特法埃尔米特泛函

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。