Skip to main content
SpringerLink
Log in

Analysis of entities in C and C++ programs and relations between them for program understanding

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

A tool for the static analysis of programs that can detect entities in C and C++ programs, their metrics, and relations between them is considered. The program entities are files, functions, classes, methods, etc., and relations are calls, inheritance, read/write operations of global variables, file inclusion, and aggregation. Methods for the development of such a tool based on the open compiler infrastructure LLVM [1], including the necessary modifications in the Clang compiler [2], and the developed analyzer are described. Results of the tool testing on the Android code are presented.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. The LLVM Compiler Infrastructure. http://LLVM. org.

  2. Clang compiler. http://clang.llvm.org.

  3. The Tool Understand. https://scitools.com.

  4. The Tool Imagix4D. http://www.imagix.com/products/source-code-analysis.html.

  5. Avetisyan, A.I., Belevantsev, A.A., Borodin, A.E., and Nesov, V.S., The use of static analysis for detecting vulnerabilities and critical bugs in source code, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2011, vol. 21, pp. 23–38.

    Google Scholar 

  6. Ivannikov, V.P., Belevantsev, A.A., Borodin, A.E., Ignat’ev, V.N., Zhurikhin, D.M., Avetisyan, A.I., and Leonov, M.I., The static analyzer Svace for detecting defects in source codes, Tr. Inst. Sist. Program. Ross. Akad. Nauk, 2014, vol. 26, no. 1, pp. 231–250.

    Google Scholar 

  7. GNU Binutils. http://www.gnu.org/software/binutils.

Download references

Author information

Authors and Affiliations

  1. Institute for System Programming, Russian Academy of Sciences, Moscow, 109004, Russia

    A. A. Belevantsev, E. A. Veselevich & V. P. Ivannikov

  2. Moscow State University, Moscow, 119991, Russia

    A. A. Belevantsev & V. P. Ivannikov

  3. Moscow Institute of Physics and Technology State University, Dolgoprudny, Moscow oblast, 141700, Russia

    V. P. Ivannikov

Authors
  1. A. A. Belevantsev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. A. Veselevich
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. V. P. Ivannikov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. A. Belevantsev.

Additional information

Original Russian Text © A.A. Belevantsev, E.A. Veselevich, V.P. Ivannikov, 2016, published in Trudy Instituta Sistemnogo Programmirovaniya, 2015, Vol. 27, No. 2.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Belevantsev, A.A., Veselevich, E.A. & Ivannikov, V.P. Analysis of entities in C and C++ programs and relations between them for program understanding. Program Comput Soft 42, 49–53 (2016). https://doi.org/10.1134/S0361768816010023

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768816010023

Keywords

Search

Navigation