research-article

Language independent framework for static code analysis

Authors:

Gordana Rakić,

Miloš SavićAuthors Info & Claims

BCI '13: Proceedings of the 6th Balkan Conference in Informatics

Pages 236 - 243

https://doi.org/10.1145/2490257.2490273

Published: 19 September 2013 Publication History

Abstract

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.

References

[1]

T. Arbuckle. 2011. Measuring multi-language software evolution: a case study. In Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution (IWPSE-EVOL '11). ACM, New York, NY, USA, 91--95.

Digital Library

[2]

I. D. Baxter, A. Yahin, L. Moura, M. Sant'Anna, L. Bier, Clone Detection Using Abstract Syntax Trees, Proceedings of International Conference on Software Maintenance, 1998. pp. 368--377

Digital Library

[3]

H Bär. The FAMOOS Object Oriented Reengineering Handbook. Edited by Stéphane Ducasse. Forschungszentrum Informatik an der Univ., 1999.

[4]

Z. Budimac., G. Rakić., M. Heričko., Č. Gerlec., 2012. Towards the Better Software Metrics Tool, In Proc of 16th European Conference on Software Maintenance and Reengineering (CSMR), (Szeged, Hungary, March 27--30, 2012), ISSN: 1534-5351, Print ISBN: 978-1-4673-0984-4, pp. 491--494.

Digital Library

[5]

Z Budimac, G Rakić, M Savić, SSQSA architecture, In Proc. Of the Fifth Balkan Conference in Informatics (BCI 2012), Novi Sad, Serbia, September 16--20 2012, ISBN: 978-1-4503-1240-0 pp. 287--290

Digital Library

[6]

D. Christodoulakis, C. Tsalidis, C. van Gogh, V. Stinesen, 1989. Towards an automated tool for software certification. In Proc of Tools for Artificial Intelligence, 1989., IEEE International Workshop on Architectures, Languages and Algorithms. pp. 670--676.

[7]

S. Ducasse, M. Lanza, S. Tichelaar, Moose: an Extensible Language-Independent Environment for Reengineering Object-Oriented Systems. In Proc. of CoSET20'00 - 2nd International Symposium on Constructing Software Engineering Tools (Limerick Ireland, 4--11 June 2000).

[8]

S. Ducasse, M. Rieger, S. Demeyer,1999, A Language Independent Approach for Detecting Duplicated Code, Proceedings. IEEE International Conference on Software Maintenance (ICSM '99), pp 109--118

Digital Library

[9]

Č. Gerlec, M. Heričko, "Evaluating refactoring with a quality index", World Academy of Science, Engineering and Technology, Vol. 63, 2010, pp 76--80.

[10]

Č. Gerlec, A. Živković, "Software Metrics Repository Architecture", 12th International Multiconference Information Society - IS 2009, vol. A, Ljubljana, Slovenia, 2009, pp. 265--268.

[11]

Č. Gerlec, A Krajnc, M Hericko, J Boznik, Mining source code changes from software repositories, In Proc of the 7th Central and Eastern European Software Engineering Conference CEE-SECR 2011 (Moscow, Rusia, October 31 -- November 3), ISBN: 978-1-4673-0843-4. pp. 1--5

[12]

Č. Gerlec, G. Rakić, Z. Budimac, M. Heričko, 2012. A programming language independent framework for metrics-based software evolution and analysis. ComSIS journal, Vol. 9, No. 3, 1155--1186. (2012).

[13]

Z. Guangmei, C. Rui, L. Xiaowei and H. Congying, The Automatic Generation of Basis Set of Path for Path Testing, In the Proc of the 14th Asian Test Symposium (ATS), 2005

Digital Library

[14]

D. Hyland-Wood, D. Carrington and S. Kaplan, "Scale-free nature of Java software package, class and method collaboration graphs," Technical report no. TR-MS1286, MIND Laboratory, University of Maryland College Park, 2006.

[15]

R. Koschke, R., Falke, and P. Frenzel, Clone Detection Using Abstract Syntax Suffix Trees. In Proceedings of the 13th Working Conference on Reverse Engineering (WCRE), pages 253--262, 2006.

Digital Library

[16]

M. Lanza, and R. Marinescu, Object-oriented metrics in practice: using software metrics to characterize, evaluate, and improve the design of object-oriented systems. Springer, 2006

Digital Library

[17]

A. P. S. de Moura, Y. C. Lai and A. E. Motter, "Signatures of small-world and scale-free properties in large computer programs," Phys. Rev. E., vol. 68, issue 1, July 2003, pp. 017102.

[18]

C. R. Myers, "Software systems as complex networks: Structure, function and evolvability of software collaboration graphs," Phys. Rev. E., vol. 68, issue 4, Oct. 2003, pp. 046116.

[19]

G. C. Murphy, D. Notkin, W. G. Griswold and E. S. Lan, "An empirical study of static call graphs extractors," ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 7, issue 1, April 1998, pp. 158--191.

Digital Library

[20]

Parr T., 2007, The Definitive ANTLR Reference - Building Domain-Specific Languages, The Pragmatic Bookshelf, USA, ISBN: 0-9787392-5-6.

Digital Library

[21]

I. Pribela, M. Ivanović, Z. Budimac, System for Testing Different Kinds of Students' Programming Assignments, In Proc. of 5th International Conference on Information Technology ICIT 2011, Amman, Jordan, paper no. 535, May 11 th - 13 th, 2011. ISBN: 9957-8583-0-0 (eds, Abdelfatah A. Yahya, Al-Dahoud Ali).

[22]

I. Pribela, G. Rakić, Z. Budimac:, First Experiences in Using Software Metrics in Automated Assessment, In Proc. of the 15th International Multiconference on Information Society (IS), Collaboration, Software And Services In Information Society (CSS), (Ljubljana, Slovenia, October 8--12), Volume A, pp 263--266

[23]

D. Puppin and F. Silvestri, "The social network of Java classes," In Proc. 2006 ACM Symposium on Applied computing (SAC), April 2006, pp. 1409--1413.

Digital Library

[24]

G. Rakić, Z. Budimac, 2011. Introducing Enriched Concrete Syntax Trees, In Proc. of the 14th International Multiconference on Information Society (IS), Collaboration, Software And Services In Information Society (CSS), (Ljubljana, Slovenia, October 10--14), Volume A, pp. 211--214,

[25]

G. Rakić, Z. Budimac, SMIILE Prototype, 2011. In Proc. Of International Conference of Numerical Analysis and Applied Mathematics ICNAAM2011, Symposium on Computer Languages, Implementations and Tools (SCLIT), (Halkidiki, Greece, September 19--25, 2011) ISBN 978-0-7354-0956-9, pp. 853--856.

[26]

G. Rakić, Č. Gerlec, J. Novak, Z Budimac., 2011. XML-Based Integration of the SMIILE Tool Prototype and Software Metrics Repository. In Proc. Of International Conference of Numerical Analysis and Applied Mathematics ICNAAM2011, Symposium on Computer Languages, Implementations and Tools (SCLIT), (Halkidiki, Greece, September 19--25, 2011) AIP Conference Proceedings vol. 1398, ISBN 978-0-7354-0956-9, pp. 869--872.

[27]

G. Rakić, Z. Budimac, 2011., Problems In Systematic Application Of Software Metrics And Possible Solution, In Proc. of The 5th International Conference on Information Technology (ICIT) (Amman, Jordan, May 11--13, 2011).

[28]

M. Savić, M. Ivanović and M. Radovanović, "Characteristics of class collaboration networks in large Java software projects," Information Technology and Control, vol. 40, issue 1, Jan. 2011, pp. 48--58.

[29]

M. Savić, G. Rakić, Z. Budimac and M. Ivanović, Extractor of Software Networks from Enriched Concrete Syntax Trees, In Proc. Of International Conference of Numerical Analysis and Applied Mathematics ICNAAM2012, 2nd symposium on Computer Languages, Implementation and Tools (SCLIT), AIP Conference Proceedings, Sep. 2012, vol. 1479, pp. 486--490.

[30]

S. Valverde, V. Solé, "Hierarchical small-worlds in software architecture," Dyn. Contin. Discret. Impuls. Syst. Ser. B: Appl. Algorithms, vol. 14, 2007, pp. 305--315.

[31]

M. P. Ward, The Formal Transformation Approach to Source Code Analysis and Manipulation. In Proc. Of the first IEEE International Workshop on Source Code Analysis and Manipulation: 10 November 2001, Florence, Italy, p. 185. IEEE, 2001.

[32]

L. Wen, R. G. Dromey and D. Kirk, "Software engineering and scale-free networks," IEEE Trans. Sys. Man Cyber. Part B, vol. 39, issue 4, August 2009, pp. 845--854.

Digital Library

[33]

R. Wheeldon and S. Counsell, "Power law distributions in class relationships," In Proc. 3rd IEEE Int. Workshop on Source Code Analysis and Manipulation (SCAM), Sep. 2003, pp. 45--54.

Cited By

Abdelfattah ACerny T(2023)Roadmap to Reasoning in Microservice Systems: A Rapid ReviewApplied Sciences10.3390/app1303183813:3(1838)Online publication date: 31-Jan-2023
https://doi.org/10.3390/app13031838
Latif SMushtaq ZRasool GRustam FAslam NAshraf I(2023)Pragmatic evidence of cross-language link detection: A systematic literature reviewJournal of Systems and Software10.1016/j.jss.2023.111825206(111825)Online publication date: Dec-2023
https://doi.org/10.1016/j.jss.2023.111825
Curtis JHong JBures MPark JCerny T(2022)On language-agnostic abstract-syntax treesProceedings of the 37th ACM/SIGAPP Symposium on Applied Computing10.1145/3477314.3506962(1619-1625)Online publication date: 25-Apr-2022
https://dl.acm.org/doi/10.1145/3477314.3506962
Show More Cited By

Recommendations

Using Static Analysis to Find Bugs

Static analysis examines code in the absence of input data and without running the code. It can detect potential security violations (SQL injection), runtime errors (dereferencing a null pointer) and logical inconsistencies (a conditional test that can'...
Assessing the potentials of CASE-tools in software process improvement: a benchmarking study
SAST '96: Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)

CASE tools have been thought as one of the most important means for implementing the derived quality programs. Two basic questions should be answered to find the right CASE tool: what attributes the CASE tools should exhibit and how the existing tools ...
Static Analyzers: Seat Belts for Your Code

Just as seat belt use is widespread, static analysis should be part of ethical software development. Because security must be designed in, static analysis should occur early in software development to reduce vulnerabilities or, even better, provide ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

BCI '13: Proceedings of the 6th Balkan Conference in Informatics

September 2013

293 pages

ISBN:9781450318518

DOI:10.1145/2490257

Conference Chairs:
Kostas Diamantaras
TEI of Thessaloniki
,
Georgios Evangelidis
University of Macedonia
,
Yannis Manolopoulos
Aristotle University
,
Program Chairs:
Christos Georgiadis
University of Macedonia
,
Petros Kefalas
The University of Sheffield International Faculty, CITY College
,
Demosthenes Stamatis
TEI of Thessaloniki

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

University of Macedonia
Aristotle University of Thessaloniki
The University of Sheffield: The University of Sheffield
Greek Com Soc: Greek Computer Society
SEERC: South-East European Research Centre
Alexander TEI of Thessaloniki

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 September 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Ministry of Education, Science and Technological Development

Conference

BCI '13

Sponsor:

The University of Sheffield
Greek Com Soc
SEERC

BCI '13: Balkan Conference in Informatics

September 19 - 21, 2013

Thessaloniki, Greece

Acceptance Rates

BCI '13 Paper Acceptance Rate 41 of 103 submissions, 40%;

Overall Acceptance Rate 97 of 250 submissions, 39%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
235
Total Downloads

Downloads (Last 12 months)18
Downloads (Last 6 weeks)2

Reflects downloads up to 26 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Abdelfattah ACerny T(2023)Roadmap to Reasoning in Microservice Systems: A Rapid ReviewApplied Sciences10.3390/app1303183813:3(1838)Online publication date: 31-Jan-2023
https://doi.org/10.3390/app13031838
Latif SMushtaq ZRasool GRustam FAslam NAshraf I(2023)Pragmatic evidence of cross-language link detection: A systematic literature reviewJournal of Systems and Software10.1016/j.jss.2023.111825206(111825)Online publication date: Dec-2023
https://doi.org/10.1016/j.jss.2023.111825
Curtis JHong JBures MPark JCerny T(2022)On language-agnostic abstract-syntax treesProceedings of the 37th ACM/SIGAPP Symposium on Applied Computing10.1145/3477314.3506962(1619-1625)Online publication date: 25-Apr-2022
https://dl.acm.org/doi/10.1145/3477314.3506962
Schiewe MCurtis JBushong VCerny T(2022)Advancing Static Code Analysis With Language-Agnostic Component IdentificationIEEE Access10.1109/ACCESS.2022.316048510(30743-30761)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3160485
Küchler ABanse C(2022)Representing LLVM-IR in a Code Property GraphInformation Security10.1007/978-3-031-22390-7_21(360-380)Online publication date: 9-Dec-2022
https://doi.org/10.1007/978-3-031-22390-7_21
Ciuciu-Kiss JTóth MBozó I(2021)Towards Version Controlling in RefactorErlActa Cybernetica10.14232/actacyb.289386Online publication date: 4-Aug-2021
https://doi.org/10.14232/actacyb.289386
Alexandru CPanichella SProksch SGall H(2019)Redundancy-free analysis of multi-revision software artifactsEmpirical Software Engineering10.1007/s10664-018-9630-924:1(332-380)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10664-018-9630-9
Alexandru CPanichella SGall H(2017)Reducing redundancies in multi-revision code analysis2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER.2017.7884617(148-159)Online publication date: Mar-2017
https://doi.org/10.1109/SANER.2017.7884617
Rakić GBudimac ZHeričko MPušnik M(2017)Towards the XML schema measurement based on mapping between XML and OO domain10.1063/1.4992505(330007)Online publication date: 2017
https://doi.org/10.1063/1.4992505
Savić MRakić GBudimac Z(2016)Translation of Tempura specifications to eCST10.1063/1.4952028(240009)Online publication date: 2016
https://doi.org/10.1063/1.4952028
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents