A combined representation for the maintenance of C programs


The C Informat ion Abstractor described by Chen et al[18] is a static analysis tool which stores the in format ion collected in a relational database. This tool provides informat ion w i t h the following qualities: • global in format ion abstraction emphasis is on global references rather than local references. This reduces database size and increases… (More)


37 Figures and Tables