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