2013 · 19 citations · 22 references
Software MaintenanceEngineeringVerificationSoftware EngineeringSource Code AnalysisSoftware AnalysisFormal VerificationLanguage Independent FrameworkSystems EngineeringStatic CheckingSource CodeSoftware MeasurementStatic AnalysisComputer ScienceStatic Program AnalysisSoftware DesignIncorporated ToolsProgram AnalysisSoftware TestingSoftware MetricFormal MethodsStatic AnalyzersSystem Software
The aim of this paper is to describe a framework consisting of a set of static analyzers. The main characteristic of all incorporated tools is their independency of input programming language. This independency is based on a universal representation of the source code that is to be analyzed. The overall goal of this research is to provide a framework that is suitable for consistent analysis of the source code with the intention to ensure, check, and consequently increase the quality of the heterogeneous software products. The framework currently integrates three tools: software metrics tool -- SMIILE, extractor of software networks -- SNEIPL and structure change analyzer -- SSCA, with tendency to extend this set of components. Further application of these tools in collaboration with other tools on higher level provides even broader applicability of described framework.
22
Clone detection using abstract syntax trees
Ira D. Baxter, A. Yahin, Leonardo de Moura et al. · 2002 · 1.3K citations