A part of the compilation process in which code is checked for conformance to a specific set of rules defined to allow proof of certain security requirements.

• 编译过程的一部分,在该过程中,对代码进行检查,看是否与定义的特定规则集相一致,以允许检验某些安全要求。