Fact Extraction and Code Auditing with Columbus and SourceAudit

Abstract

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.

Publication
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), Chicago Illinois, USA, Page 513

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/},
}