翻译

Static verification

以上结果来自机器翻译。