检查程序在格式上是否有问题，生成目标文件