Analyzing C/C++ code entities and relations for program understanding

This paper describes the static analysis tool for finding program entities, their metrics, and relations between entities. Program entities are files/directories (physical structure) and classes/functions/methods/global variables (logical structure). Relations are connections between entities, such...

Full description

Bibliographic Details
Published in:	Труды Института системного программирования РАН
Main Authors:	A. . Belevantsev, E. . Velesevich
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	понимание программ llvm статический анализ метрики исходного кода
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/1090

Similar Items

Static analysis usage for customizable checks of programming languages semantic constraints
by: Valery Ignatyev
Published: (2018-10-01)

Source code transformation and automatic correction of defects with KAST language
by: N. L. Lugovskoy, et al.
Published: (2018-10-01)

Analysis of program changes nature and searching for unpatched code fragments
by: Mariam Seropovna Arutunian, et al.
Published: (2019-04-01)

Survey on static program analysis results refinement approaches
by: A. Y. Gerasimov
Published: (2018-10-01)

Platform for interprocedural static analysis of binary code
by: H. K. Aslanyan
Published: (2018-12-01)

An approach of reachability determination for static analysis defects with help of dynamic symbolic execution
by: A. Y. Gerasimov, et al.
Published: (2018-10-01)

Dynamic detection of Use After Free bugs
by: S. A. Asryan, et al.
Published: (2018-10-01)

Software deobfuscation methods: analysis and implementation
by: Sh. F. Kurmangaleev, et al.
Published: (2018-10-01)

Vulnerabilities Detection via Static Taint Analysis
by: Nikita Vladimirovitch Chimtchik, et al.
Published: (2019-09-01)

Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
by: I. A. Dudina
Published: (2018-10-01)

Dynamic analysis of virtualization- and dispatching-obfuscated applications
by: M. G. Bakulin, et al.
Published: (2018-10-01)

The refactoring approach used in Klocwork Insight toolkit
by: N. L. Lugovskoy
Published: (2018-10-01)

Incremental source code analysis for C/C++ languages
by: V. O. Savitsky, et al.
Published: (2018-10-01)

Optimizing programs for given hardware architectures with static compilation: methods and tools
by: Dmitry Melnik, et al.
Published: (2018-10-01)

Supporting Java programming in the Svace static analyzer
by: A. P. Merkulov, et al.
Published: (2018-10-01)

Идентификация автора исходного кода методами машинного обучения
by: Anna Vladimirovna Kurtukova, et al.
Published: (2019-06-01)

Static analyzer Svace for finding of defects in program source code
by: V. P. Ivannikov, et al.
Published: (2018-10-01)

Next generation intermediate representations for binary code analysis
by: M. A. Solovev, et al.
Published: (2019-02-01)

Scalable code clone detection tool based on semantic analysis
by: Sevak Sargsyan, et al.
Published: (2018-10-01)

Using static analysis for finding security vulnerabilities and critical errors in source code
by: Arutyun Avetisyan, et al.
Published: (2018-10-01)

Applying dynamic analysis to programs running in interpreted environments
by: S. P. Vartanov, et al.
Published: (2018-10-01)

Dynamic compilation of JavaScript programs to the statically typed LLVM intermediate representation
by: V. . Vardanyan, et al.
Published: (2018-10-01)

An approach to the C string analysis for buffer overflow detection
by: I. A. Dudina, et al.
Published: (2018-12-01)

Technique The Instrumentation A Code And Optimization of code lines in modeling phase transitions on the programming language C++
by: E. V. Palchevsky, et al.
Published: (2018-10-01)

Automated Type Contracts Generation in Ruby
by: N. Y. Viuginov, et al.
Published: (2018-10-01)

Dynamic program analysis for error detection using goal-seeking input data generation
by: S. P. Vartanov, et al.
Published: (2018-10-01)

Applying iterative dynamic analysis to programs with graphical user interface
by: M. K. Ermakov, et al.
Published: (2018-10-01)

Dynamic analysis of programs with graphical user interface based on symbolic execution
by: S. P. Vartanov, et al.
Published: (2018-10-01)

Platform-independent and scalable tool for binary code clone detection
by: H. K. Aslanyan, et al.
Published: (2018-10-01)

Using different views java-programs for static analysis
by: E. A. Karpulevitch
Published: (2018-10-01)

Methods and software tools for combined binary code analysis
by: V. A. Padaryan, et al.
Published: (2018-10-01)

Input data generation for reaching specific function in program by iterative dynamic analysis
by: A. Y. Gerasimov, et al.
Published: (2018-10-01)

Static Verification Tools for C Programs and Linux Device Drivers: A Survey
by: M. U. Mandrykin, et al.
Published: (2018-10-01)

Using unreachable code analysis in static analysis tool for finding defects in source code
by: R. R. Mulyukov, et al.
Published: (2018-10-01)

Inter-procedural buffer overflows detection in C/C++ source code via static analysis
by: I. . Dudina
Published: (2018-10-01)

Анализ эффективности использования программ автоматизированного бухгалтерского учета.
by: О. Ю. Когут
Published: (2015-09-01)

Applying Java bytecode static instrumentation for software dynamic analysis
by: S. P. Vartanov, et al.
Published: (2018-10-01)

Linux Driver Verification Architecture
by: V. S. Mutilin, et al.
Published: (2018-10-01)

Evaluating a number of cache coherency misses based on a statistical model
by: Evgeny Velesevich
Published: (2018-10-01)

An Interactive Specializer Based on Partial Evaluation for a Java Subset
by: I. A. Adamovich, et al.
Published: (2018-10-01)