词语：静态
语境：Code Prover会使用形式化方法为基础的静态代码分析来验证程式语言层级的程式执行情形。
释义：静态：以静态角度研究的。
构词方式：定中
语素1释义：静止不动。
语素2释义：形状；状态。