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

单词	static program analysis
释义	static program analysis Encyclopedia 工学电子数据取证释 static analysis; static program analysis静态分析在不运行代码的方式下，通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描，验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。又称程序静态分析。
随便看	黑土黑场黑垆土黑城黑城文书黑城遗址黑塞黑塞代数曲线黑塞共变式黑塞哥维那起义黑塞定理黑塞式黑塞形式黑塞曲线黑塞曲线（代数曲线的）黑塞构形黑塞的黑塞矩阵黑塞石蜈蚣属黑塞群黑塞范式黑塞行列式黑塞，E. 黑塞，H. 黑外的

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