ISReal --- 程序病态模型检验器