Automatic fact extraction from software systems is the fundamental building block in the process of understanding the relationships among a system’s elements. We demonstrate the reverse engineering framework called Columbus which is able to automatically extract facts from C++ source code and how the extracted facts can be used in practice. We also mention a special-purpose tool that was developed on top of the Columbus framework. This tool, called SourceAudit, is a code auditor that is able to investigate source code and check it against rules that describe the preferred properties of the code.
BibTeX:
@InProceedings{FBG04,
author = {Ferenc, Rudolf and Besz\'edes, {\'A}rp\'ad and Gyim\'othy, Tibor},
title = {Fact Extraction and Code Auditing with {C}olumbus and {SourceAudit}},
booktitle = {Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004)},
year = {2004},
pages = {513},
address = {Chicago Illinois, USA},
month = sep,
publisher = {IEEE Computer Society},
doi = {10.1109/ICSM.2004.1357858},
url = {http://ieeexplore.ieee.org/document/1357858/},
}