 The software supplier gains the advantage of not having to reveal the source code, and the consumer is left with the task of verifying the certificate, which is an easy task compared to evaluation and compilation of the source code itself.Verifying the certificate only requires a limited trusted code base containing the compiler and the verifier.The main applications of program analysis are program optimization (running time, space requirements, power consumption etc.)