静态分析

一种C语言缓冲区溢出漏洞检测的静态分析方法

A Static Analysis Method for Detecting Buffer Overflow Vulnerabilities in C Program

一个支持C源码测试的静态分析工具

A Static Analysis Tool Supporting C Program Testing

对于Web应用程序，安全静态分析最重要的类型叫做污染流分析。

For Web applications , the most important type of security static analysis is called taint flow analysis .

RationalApplicationDeveloper包含能够让您在代码运行之前就确定出缺陷的静态分析工具。

Rational Application Developer includes static analysis tools that enable you to identify defects before the code even runs .

我们首先通过静态分析确定电路中的关键节点，然后再对这些关键节点进行动态IRDrop分析。

We can find out the critical nodes using static analysis , and then apply dynamic IR drop analysis on the critical nodes .

正如我前面提到的，尽管我成功地吸引了很多IBM团队使用RationalApplicationDeveloper&我们的静态分析和检查工具，我自己的开发团队却抵制这一工具。

As I mentioned earlier , although I was successful at enticing many IBM teams to use Rational Application Developer , our static-analysis-and-inspection tool , my own development team resisted .

具有高阶剪切效应的粘弹性板准静态分析的DQ法

Differential Quadrature Method for Quasi-Static Analysis of Viscoelastic Plates with Transverse Shear Effects

作者在对C语言静态分析框架跨平台技术研究时发现，不同编译器支持的C语言语法不尽相同，语法兼容性问题是跨平台分析的难点之一。

Because the C language syntax supported by different compilers is different , the author met so many syntax compatibility issues in study of the C language static framework that start to do cross-platform analysis .

首先，以CH模型为基础，结合其拓展研究得到本文的静态分析模型。

First , based on CH model , combined with its expanding research get the static analysis model of this article .

CPD是流行的开源静态分析工具PMD的一部分，它报告代码基中重复行的数量。

CPD , which is part of the popular open source static analysis tool PMD , reports the number of duplicate lines in a code base .

存在许多用于静态分析的开放源代码工具和商业化产品可用，您可以在Wikipedia上找到它们的列表。

There are many open source tools and commercial products for static analysis available , and you can find a list of them on Wikipedia .

将这两个问题集合联合起来并不是意见简单的事情：动态分析以URLs和参数的形式说明，而静态分析则讨论代码的类和行。

Combining the two sets of issues is not simple : dynamic analysis speaks in terms of URLs and parameters , while static analysis discusses classes and lines of code .

我鼓励读者对自己的代码试用静态分析工具，不管是FindBugs、PMD还是其他的。

I encourage you to try some form of static analysis tool on your code , whether it 's FindBugs , PMD , or something else .

该方法将聚类分析与程序静态分析方法相结合，基于方法间的直接调用关系，识别面向对象遗产系统中的横切关注点，根据方法调用相似性自动形成候选Aspect集。

Both the clustering analysis technology and static source-code analysis were used in this method to identify crosscutting concerns from object-oriented legacy system . Direct method invocation relationship was used as the characteristics of scattering code . Candidate Aspects set was generated automatically after clustering .

该方法首先为C克隆代码构造语法树，并在语法树的基础上建立程序依赖图，然后进行静态分析，从而获得程序的控制流信息和数据流信息。

This method first takes the clone code of C programs as input and generates parser tree . Based on parser tree built above , program dependence graph is established and static analysis is performed , through which the control dependence information and data flow information are collected .

国内学术界对预算内教育支出规模增长的评价以静态分析为主，其缺点是难以反映在时间序列上教育支出规模与GDP的动态关系。

The static methods are usually used to evaluate public expenditures on education within budget , with the disadvantage that they are hard to be utilized to character the relationship in temporal sequence between GDP and public expenditures on education .

本文从C++静态分析的角度出发，介绍了模板和泛型构件技术、一个C++静态分析器实现中对模板和基本泛型构件的分析和识别方法、以及一种基于UML的泛型构件的表示方法。

This paper introduces a C + + static analyzer capable of parsing templates , together with a customized definition of basic generic component in C + + and the notations based on UML for visualizing the basic generic components .

在对液压缸动静态分析以及油箱、管道等液压辅助元件静态分析及参数优化的基础上，确定直径d、容积V等参数并得总参数表。

After corroborating the parameters such as diameter D , volume V etc of hydraulic cylinder and hydraulic added unit like oil-case , pipeline for example with the analysis of static state and dynamic state too , then a parameter list is obtained .

采用类似PASCAL的语言，提出了一种以源程序为目标的信息流和数据流静态分析方法。

Program static detection , a method of information and data flow analysis for source program with PASCAL like language is presented , which is an effective method for decreasing program errors such as data flow error , infinitive program iteration , etc.

采用或有债权分析方法推导出使收益最大化最佳投资时机的槛值，再用比较静态分析方法研究不同参数对槛值的正负影响及经济意义。

The optimal investment rule is found by contingent claims analysis .

组合框架式液压机上梁的变量化准静态分析

Variational quasi-static analysis of the upper beam for frame press machine

粘弹性薄板准静态分析中一种时域算法

A Time Domain Method for Quasi-Static Analysis of Viscoelastic Thin Plates

密封拍卖和采购招标的比较静态分析

Comparative statics analysis for first price sealed bid auction and procurement

用于晶体管放大电路静态分析和动态分析的晶体管电路模型是这一模型的特殊情况。

These circuit models also adapt to the static and dynamic analysis .

桩在粘弹性介质准静态分析的简便积分方程法

A simple integral equation method for the viscoelastic quasistatic analysis of pile

程序分析技术分为静态分析和动态分析两种。

There are two types of program analysis : static and dynamic .

弹性地基上自由矩形板的非线性动静态分析

Nonlinear analysis of free rectangular plate on elastic foundation

静态分析之后进而对车架进行模态分析。

The analysis of mode is carried out after the analysis of static .

负载平衡静态分析方法及其在网络路由分配中的应用

Static analysis method of load balancing and its application in network route allocation

第七章进行了比较静态分析，对本文的结果做出了分析。

The chapter seven makes a comparative static analysis .