public static bool Certify(string SymT, string vPath)
{
List <MethodRecord> methodList = MethodHasher.getDehashedRecords(SymT);
VProgramGenerator.generateVProgram(methodList, vPath);
VProgramGenerator.EditCSproj(methodList, vPath);
bool resultOfVerification = VProgramGenerator.verify(vPath);
return(resultOfVerification);
}
public static bool CertifyLocally(CST_MSG msg)
{
RemoveUntrustedSymTPart(msg);
if (!SymTResultCache.ContainsKey(msg.SymT))
{
List <MethodRecord> mrList = MethodHasher.getDehashedRecords(methodSHADictKEYSHA, msg);
VProgramGenerator.EditCSproj(mrList);
VProgramGenerator.generateVProgram(mrList);
bool resultOfVerification = VProgramGenerator.verify();
SymTResultCache[msg.SymT] = resultOfVerification;
}
return(SymTResultCache[msg.SymT]);
}
