静态分析技术
基于1个网页-相关网页
automatic residual static analysis techniques 自动剩余静校正分析技术
static analysis techniques
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The method is based on some static analysis techniques, including loop unwinding and path feasibility checking.
该方法基于程序分析技术，包括循环展开和路径可行性分析技术。
youdao
应用推荐
模块上移
模块下移
不移动