automatic residual static analysis techniques 自动剩余静校正分析技术
The method is based on some static analysis techniques, including loop unwinding and path feasibility checking.
该方法基于程序分析技术，包括循环展开和路径可行性分析技术。
Because of the fairly static nature of a method, static analysis techniques — especially method review — play an essential role in method quality.
由于方法静态的特征，静态分析技术——尤其是方法检查——在方法质量中扮演了一个必须的角色。
In turn, Table 3 shows how the static analysis engine is strengthened by the new string analysis capability and the support of dynamic analysis techniques.
反过来，表格3显示了静态分析引擎是如何被新的字符串分析性能和动态分析技巧所加强的。
应用推荐