常见例句雙語例句The method is based on some static analysis techniques, including loop unwinding and path feasibility checking.該方法基於程序分析技術,包括循環展開和路逕可行性分析技術。 返回 loop unwinding