常見例句雙語(yǔ)例句The method is based on some static analysis techniques, including loop unwinding and path feasibility checking.該方法基于程序分析技術(shù),包括循環(huán)展開和路徑可行性分析技術(shù)。 返回 loop unwinding