Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Automatic fact extraction from software systems is the fundamental building block in the process of understanding the relationships among a system's elements.  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.  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.
['Rudolf Ferenc', 'Arpad Beszedes', 'Tibor Gyimóthy']
I am writing a research paper on a idea Fact extraction and code auditing with Columbus and SourceAudit
[{"from": "human", "value": "I am writing a research paper on a idea Fact extraction and code auditing with Columbus and SourceAudit"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Automatic fact extraction from software systems is the fundamental building block in the process of understanding the relationships among a system's elements.  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.  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."}]