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

单词	static program analysis
释义	static program analysis Encyclopedia 工学电子数据取证释 static analysis; static program analysis静态分析在不运行代码的方式下，通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描，验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。又称程序静态分析。
随便看	WL Wladimir Peter Köppen Wladimir (Peter) Kёppen WLAN W. L. Bragg W. Leontief W. Leontief (1906—1999) WLF empirical equation WLF经验方程 WLM system Wlnsor McCay WLS WL取样 WM W.M. Abdul Hadi WMAN WMAP WMAP satellite WMAP卫星 W. Mayer W. Mayer (1887—1948) W. Mcissner W. Mcissner, 1882—1974 W Michael Reisman W. M. Keck Observatory

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