常见例句双语例句The method is based on some static analysis techniques, including loop unwinding and path feasibility checking.该方法基于程序分析技术,包括循环展开和路径可行性分析技术。 返回 loop unwinding