A method of object code verification for debugging compiler

• 一种可用于编译器调试的目标代码验证方法