 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.