Supporting Java programming in the Svace static analyzer

The paper is devoted to the works performed within the Svace static analysis tool to support Java language. First, the approach to intercept compilation process for transparently building the analyzer internal representation should be extended to cover usage of the Java compiler API that is popular...

書誌詳細
出版年:	Труды Института системного программирования РАН
主要な著者:	A. P. Merkulov, S. A. Polyakov, A. A. Belevantsev
フォーマット:	論文
言語:	英語
出版事項:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
主題:	статический анализ java девиртуализация байткод
オンライン･アクセス:	https://ispranproceedings.elpub.ru/jour/article/view/278

類似資料

Static analyzer Svace for finding of defects in program source code
著者:: V. P. Ivannikov, 等
出版事項: (2018-10-01)

Using different views java-programs for static analysis
著者:: E. A. Karpulevitch
出版事項: (2018-10-01)

A static analysis tool Svace as a collection of analyzers with various complexity levels
著者:: A. . Borodin, 等
出版事項: (2018-10-01)

Mechanisms for extending the system of static analysis Svace by new types of detectors of vulnerabilities and critical errors
著者:: Arutyun Avetisyan, 等
出版事項: (2018-10-01)

Analyzing C/C++ code entities and relations for program understanding
著者:: A. . Belevantsev, 等
出版事項: (2018-10-01)

Using static analysis for finding security vulnerabilities and critical errors in source code
著者:: Arutyun Avetisyan, 等
出版事項: (2018-10-01)

Survey on static program analysis results refinement approaches
著者:: A. Y. Gerasimov
出版事項: (2018-10-01)

Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
著者:: I. A. Dudina
出版事項: (2018-10-01)

An approach of reachability determination for static analysis defects with help of dynamic symbolic execution
著者:: A. Y. Gerasimov, 等
出版事項: (2018-10-01)

Platform for interprocedural static analysis of binary code
著者:: H. K. Aslanyan
出版事項: (2018-12-01)

Vulnerabilities Detection via Static Taint Analysis
著者:: Nikita Vladimirovitch Chimtchik, 等
出版事項: (2019-09-01)

Input data generation for reaching specific function in program by iterative dynamic analysis
著者:: A. Y. Gerasimov, 等
出版事項: (2018-10-01)

Static Verification Tools for C Programs and Linux Device Drivers: A Survey
著者:: M. U. Mandrykin, 等
出版事項: (2018-10-01)

An approach to the C string analysis for buffer overflow detection
著者:: I. A. Dudina, 等
出版事項: (2018-12-01)

Formalization of Error Criteria for static symbolic execution
著者:: V. K. Koshelev
出版事項: (2018-10-01)

Using unreachable code analysis in static analysis tool for finding defects in source code
著者:: R. R. Mulyukov, 等
出版事項: (2018-10-01)

Static analysis usage for customizable checks of programming languages semantic constraints
著者:: Valery Ignatyev
出版事項: (2018-10-01)

A static approach to estimation of execution time of components in AADL models
著者:: A. M. Troitskiy, 等
出版事項: (2018-10-01)

Analysis of program changes nature and searching for unpatched code fragments
著者:: Mariam Seropovna Arutunian, 等
出版事項: (2019-04-01)

Lightweight Static Analysis for Data Race Detection in Operating System Kernels
著者:: P. S. Andrianov, 等
出版事項: (2018-10-01)

Static detection of error of double locking of mutex
著者:: Alexey Borodin
出版事項: (2018-10-01)

Methods and software tools for combined binary code analysis
著者:: V. A. Padaryan, 等
出版事項: (2018-10-01)

Interprocedural taint analysis for LLVM-bitcode
著者:: V. K. Koshelev, 等
出版事項: (2018-10-01)

Statically detecting buffer overflows in C/C++
著者:: I. . Dudina, 等
出版事項: (2018-10-01)

Adjustable method with predicate abstraction for detection of race conditions in operating systems
著者:: P. S. Andrianov, 等
出版事項: (2018-10-01)

Combining dynamic symbolic execution, code static analysis and fuzzing
著者:: A. Yu. Gerasimov, 等
出版事項: (2019-02-01)

The refactoring approach used in Klocwork Insight toolkit
著者:: N. L. Lugovskoy
出版事項: (2018-10-01)

Refactoring on the whole project
著者:: S. V. Syromyatnikov, 等
出版事項: (2018-10-01)

Dynamic Java program analysis using virtual machine modification
著者:: M. . Ermakov, 等
出版事項: (2018-10-01)

Type inference for Python programming language
著者:: I. E. Bronshteyn
出版事項: (2018-10-01)

Inter-procedural buffer overflows detection in C/C++ source code via static analysis
著者:: I. . Dudina
出版事項: (2018-10-01)

Component-based verification of operating systems
著者:: V. V. Kuliamin, 等
出版事項: (2019-02-01)

Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution
著者:: A. . Dergachev, 等
出版事項: (2018-10-01)

Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference
著者:: V. . Koshelev, 等
出版事項: (2018-10-01)

Approach to detecting types inconsistency errors in a program code in dynamic languages
著者:: I. E. Bronshteyn
出版事項: (2018-10-01)

Next generation intermediate representations for binary code analysis
著者:: M. A. Solovev, 等
出版事項: (2019-02-01)

C# static analysis framework
著者:: V. . Koshelev, 等
出版事項: (2018-10-01)

Source code transformation and automatic correction of defects with KAST language
著者:: N. L. Lugovskoy, 等
出版事項: (2018-10-01)

Formal Verification of Linux Kernel Library Functions
著者:: D. V. Efremov, 等
出版事項: (2018-10-01)

Applying dynamic analysis for defect detection in Java-applications
著者:: Sergey Vartanov, 等
出版事項: (2018-10-01)