public static bool Check(MethodBodyBlock method)
{
//TODO: Will check parents consistency, if give up to do it automatically
RemoveStackTypes(method);
GraphProcessor graphProcessor = new GraphProcessor();
VerifierVisitor verifierVisitor = new VerifierVisitor(graphProcessor);
verifierVisitor.AddTask(method,new StackTypes());
try
{
graphProcessor.Process();
}
catch(VerifierException)
{
RemoveStackTypes(method);
return(false);
}
return(true);
}
public static bool Check(MethodBodyBlock method)
{
//TODO: Will check parents consistency, if give up to do it automatically
RemoveStackTypes(method);
GraphProcessor graphProcessor = new GraphProcessor();
VerifierVisitor verifierVisitor = new VerifierVisitor(graphProcessor);
verifierVisitor.AddTask(method, new StackTypes());
try
{
graphProcessor.Process();
}
catch (VerifierException)
{
RemoveStackTypes(method);
return(false);
}
return(true);
}
