 Information gathered during the compilation can be used to create a certificate that can be provided to the consumer as a proof of safety in the given program.Such a proof must imply that the consumer can trust the compiler used by the supplier and that the certificate, the information about the source code, can be verified.The figure illustrates how certification and verification of low-level code could be established by the use of a certifying compiler.