The phrase "source-code static analysis tool" is a general term for a tool that extracts information from the source code itself without executing the program.
词组“源代码静态分析工具”是一个通用的词汇，它表示用于在未执行程序的情况下从源代码提取信息的工具。
This type of "whole program" analysis is what commercial static analysis is all about.
这种“程序整体”分析就是商业静态分析所能做的事情。
With static analysis tools, you can analyze software without actually running the program.
有了静态分析工具，就可以在不实际运行程序的情况对软件进行分析。
Since a procedure is a basic unit of most analysis algorithms, a virus writer can defeat static analysis by making it harder to identify a procedure unit in binary program.
由于过程是大多数分析算法的基本单位，所以病毒作者会设法使得识别二进制程序中的过程更加困难从而挫败静态分析。
Using the source program designed by BASIC, the static analysis of coplanar body system can be made.
源程序用BASIC语言设计，可用于解决平面物体系统的静力分析问题。
A static analysis finds properties that hold for all executions of a program.
静态分析提供为一个程序所有执行过程具有的特性。
Static analysis tools analyze program code (e. g. control flow and data flow), as well as generated output such as HTML and XML.
静态分析工具分析程序代码(例如，控制流和数据流)，以及生成HTML和XML形式的输出。
Such an analysis is typically performed without executing the program, hence the qualifier static.
这样的分析以不需要运行程序为特色，限定词静态由此而来。
Wind computer program is verified by a case study. According to the theoretical analysis and computation, this paper static long span suspension bridge study proposes a new wind.
抗风计算程序，通过了实例分析验证。根据该理论分析和计算，本文对大跨度悬索桥的静力抗风研究提出了新的。
To resolve these problems, this paper on two issues: the program for Remote BATS research and static security analysis software development.
为解决上述问题，本文主要研究了两个问题：远方互投方案研究和静态安全分析软件开发。
Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。
Comparing with other program analysis methods, static analysis method can detect security vulnerabilities automatically and effectively.
和其他程序分析方法相比，该方法具有自动化程度高和检测速度快的优点。
Based on static analysis, the added mass and added damping of a buoy are calculated by three dimensional potential flow numerical calculation program.
本文在静力计算的基础上，应用三维势流理论数值计算程序计算浮标体的附加质量(矩)、阻尼系数和所受波浪力。
The obfuscation algorithm can prevent the deobfuscation technique based on the static analysis of programs and by using program instrumentation.
该算法所处理的迷惑代码能够很好地抗击源代码静态分析和基于源代码植入反迷惑攻击。
Thus, the program call flow can be drastically obscured to prevent static analysis.
从而能够显著隐藏程序的调用流程，有效防止静态分析。
This paper gives main functions of a general purpose program called SAPFEM for static strength analysis of structure by the finite element method.
本文介绍了作者研制的709机结构有限元静力分析通用程序SAPFEM的主要功能。
This paper gives main functions of a general purpose program called SAPFEM for static strength analysis of structure by the finite element method.
本文介绍了作者研制的709机结构有限元静力分析通用程序SAPFEM的主要功能。
应用推荐