程序靜態分析

Noun

 * 1)  static program analysis