基于Linux的一个专门检测已经编译好了的程序是否存在死循环等错误的程序，有源代码以及开发文档。