 This is information which can be of value to the code consumer, as it provides some degree of guarantee that the program will not crash due to some specific error.A goal of LBS is to ensure the presence of certain properties in the source code corresponding to the safety policy of the software.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.