Applying dynamic analysis for defect detection in Java-applications

This paper provides an overview of program analysis techniques and describes practical implementation of these techniques for automatic software defect detection. The paper focuses on program dynamic analysis technique based on tainted data flow tracing, instrumentation and constraint set constructi...

Full description

Bibliographic Details
Published in:	Труды Института системного программирования РАН
Main Authors:	Sergey Vartanov, Alexander Gerasimov
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	итеративный динамичеcкий анализ программ автоматический поиск ошибок анализ java программ software iterative dynamic analysis automatic defect detection java bytecode instrumentation
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/870

Similar Items

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

Dynamic Java program analysis using virtual machine modification
by: M. . Ermakov, et al.
Published: (2018-10-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)

Survey on static program analysis results refinement approaches
by: A. Y. Gerasimov
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 Java bytecode static instrumentation for software dynamic analysis
by: S. P. Vartanov, 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)

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

Automatic concurrency defect detection for Android applications
by: V. P. Ivannikov, et al.
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)

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

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

Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
by: I. A. Dudina
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)

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR
by: Tomaž DOBRAVEC
Published: (2019-01-01)

Buffer overrun detection method in binary code
by: V. V. Kaushan
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)

Analyzing C/C++ code entities and relations for program understanding
by: A. . Belevantsev, et al.
Published: (2018-10-01)

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

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

Avalanche: Using dynamic analysis for automatic defect detection in programs based on network sockets
by: Ildar Isaev, et al.
Published: (2018-10-01)

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

Research on Malicious JavaScript Detection Technology Based on LSTM
by: Yong Fang, et al.
Published: (2018-01-01)

Towards the methods of analysis malicious applications for Android operating system
by: S. M. Staroletov
Published: (2018-10-01)

Linux Driver Verification
by: D. Beyer, et al.
Published: (2018-10-01)

Extension of ParJava model for HPC clusters with multicore nodes
by: M. S. Akopyan
Published: (2018-10-01)

On the application of equivalence checking algorithms for program minimization
by: V. A. Zakharov, et al.
Published: (2018-10-01)

Applying synchronization contracts approach for dynamic detection of data races in industrial applications
by: V. Yu. Trifanov
Published: (2018-10-01)

Finite state automata in the theory of algebraic program schemata
by: R. I. Podlovchenko
Published: (2018-10-01)

Новые подходы в финансировании индустриально - инновационных программ развития экономики.
by: Д. Таиров
Published: (2015-09-01)

Profile-based optimizations for JavaScript programs
by: V. . Vardanyan
Published: (2018-10-01)

Cross programming system YAUZA-6 for specialized real time computers (70s–80s of the last century)
by: V. V. Lipaev
Published: (2018-10-01)

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

двусторонняя синтаксическая связь, синтаксическая омонимия, омонимизирующий компонент, автоматический синтаксический анализ, закономерности первоначального восприятия текста
by: Е.В. ШКУРКО
Published: (2018-01-01)

An executable Java software for visualizing networks
by: WenJun Zhang
Published: (2024-03-01)

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

A Solution to the Equivalent Transformation Problem in a Class of Primitive Program Schemes
by: A. . Molchanov
Published: (2018-10-01)

Kalmyk Participial Infl ectional Models: a Perspective from the Grammar of Order (Evidence from the Kalmyk National Corpus)
by: V. V. Kukanova
Published: (2018-04-01)

Combined (static and dynamic) analysis of binary code
by: A. YU. Tikhonov, et al.
Published: (2018-10-01)

Conversion Typed Functions into Relational Form
by: P. . Lozov, et al.
Published: (2018-10-01)