 Certifying compilation is the idea of producing a certificate during compilation of source code, using the information from the high-level programming language semantics.This certificate should be enclosed with the compiled code in order to provide a form of proof to the consumer that the source code was compiled according to a certain set of rules.The certificate can be produced in different ways, e.g.