C^＋＋信息抽象系统

本文描述了一个用于分析Ｃ＾＋＋程序结构的系统。该系统根据关系模型从Ｃ＾＋＋程序中提取出各种关系信息并将其存贮到数据库中供分析源程序之用。借助该系统构造了一个Ｄｅｍｅｔｅｒ／Ｃ＾＋＋法则的检测工具。