词组“源代码静态分析工具”是一个通用的词汇，它表示用于在未执行程序的情况下从源代码提取信息的工具。
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.
有了静态分析工具，就可以在不实际运行程序的情况对软件进行分析。
With static analysis tools, you can analyze software without actually running the program.
在尝试了解应用程序如何工作，以及确保在系统体系结构中遵循分层的方法时，我发现静态分析的这方面非常重要。
I find this aspect of static analysis important when trying to understand how an application works, and to ensure that a layered approach is being followed within the system architecture.
所包含的手动的基于浏览的监测和静态分析功能使得熟悉的应用程序的特殊板块能够进行简单的测试。
The included manual explore-based scans and static analysis functionality allows for easy testing of specific sections of the application that are known to be working.
利用静态分析学习关于被监测的应用程序的知识。
Using static analysis to learn about the application actions that should be monitored.
这种“程序整体”分析就是商业静态分析所能做的事情。
This type of "whole program" analysis is what commercial static analysis is all about.
举例来说，您可以创建对大型的应用程序运行的您自己的静态分析规则，从而发现在哪里用到了特定的接口或类。
For instance, you can create your own static analysis rule to run against a large application to find where a particular interface or class is used.
静态分析让您可以关注应用程序中引发的问题的更有创造性的方面，因而使得花在代码检查上的时间更有生产力。
Static analysis allows you to focus on more creative aspects of issues that may arise in your application, thus making the time spent in code inspections that much more productive.
静态分析工具审核一个应用程序的源代码和二进位，弄清楚这个应用程序是如何运行的，以及构建这个行为的数学模型。
Static analysis tools look at the source code and binaries of an application, figure out how the application works, and build mathematical models of that behavior.
当它被调用时，它就会对这个应用程序内部的活动进行监测，为动态分析提供跟高的可视性，并将运行确认添加到静态分析中。
It monitors the internal activities in the application while it is being invoked, giving more visibility to dynamic analysis and adding runtime validation to static analysis.
我提供了一个两层的模型来分析静态业务工作流程，并且论述了一个可配置的工作流程应用程序的所有主要组件。
I've presented a two-layer model to analyze dynamic business workflows and also discussed all the major components of a configurable workflow application.
静态分析提供为一个程序所有执行过程具有的特性。
A static analysis finds properties that hold for all executions of a program.
静态分析会扫描源代码，以寻找普通的程序错误，与MicrosoftWord扫描文件以寻找拼写和语法错误相类似。
Static analysis scans the source code looking for common programming errors, comparable to how Microsoft Word scans a document looking for spelling and grammar errors,.
结合投标报价策略研究，综述投标报价程序，对投标报价编制进行说明，并通过报价静态和动态分析，提出报价决策。
Summarize the process of the bid and quotation and explain the quotation authorized combine the study of tactic, and decision-making the quotation by static state and dynamic analysis of tender.
对于Web应用程序，安全静态分析最重要的类型叫做污染流分析。
For Web applications, the most important type of security static analysis is called taint flow analysis.
ParasoftJtest 的基于流的分析称为BugDetective，它静态地模拟应用程序执行路径，然后揭示这些路径中可能发生的运行时错误。
Parasoft Jtest’s flow-based analysis, called BugDetective, statically simulates application execution paths, and then uncovers run time errors that could occur in these paths.
例如，静态分析可以用来决定到应用程序的所有We b入口点，并为动态分析工具提供信息。
For example, static analysis can be used to determine all of the Web entry points to an application, and feed that information to a dynamic analysis tool.
静态分析的目标是在软件源程序和软件模型中发现缺陷。
The objective of static analysis is to find defects in software source code and software models.
现在VisualStudio中已经包含了用于验证Windows驱动程序和Metro应用程序的静态分析工具。
The static analysis tools needed for validating Windows Drivers and Metro applications are now included within Visual Studio.
静态分析工具分析程序代码(例如，控制流和数据流)，以及生成HTML和XML形式的输出。
Static analysis tools analyze program code (e. g. control flow and data flow), as well as generated output such as HTML and XML.
由于过程是大多数分析算法的基本单位，所以病毒作者会设法使得识别二进制程序中的过程更加困难从而挫败静态分析。
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.
这样的分析以不需要运行程序为特色，限定词静态由此而来。
Such an analysis is typically performed without executing the program, hence the qualifier static.
把面对象有限元程序设计方法应用到非线性静态分析中。
The object oriented finite element programming is applied to a nonlinear static analysis.
模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。
Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
静态分析对于保证程序质量，提高软件生产率有重要的意义。
Static analysis is of significant importance to guarantee software quality and improve software productivity.
静态分析的精确度取决于对程序抽象语义的表达。
Accuracy of static analysis depends on the representation of program's abstract semantics.
在面向对象程序设计中，成员调用的静态分析是指在编译阶段确定调用成员函数指针或引用的类型。
The static analysis of member call is defined as determining the type of member function pointer or reference in compiling stage.
C和c++程序静态分析工具可能包括检查未使用的预处理器宏。
Static analysis tools for C and C++ programs may include a check on unused preprocessor macros.
本文描述了采用静态数据分析实现逻辑程序“与”并行的方法。
This paper presents a method to execute logic programs in AND - parallelism based on static data analysis.
从而能够显著隐藏程序的调用流程，有效防止静态分析。
Thus, the program call flow can be drastically obscured to prevent static analysis.
应用推荐