Platform for interprocedural static analysis of binary code

This paper describes the developed platform for static analysis of binary code. The platform is developed based on interprocedural, flow-sensitive and context-sensitive analysis of the program. The machine-independent language REIL is used as an intermediate representation. In this representation ba...

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Труды Института системного программирования РАН
المؤلف الرئيسي:	H. K. Aslanyan
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-12-01
الموضوعات:	статический анализ анализ бинарного кода межпроцедурный анализ
الوصول للمادة أونلاين:	https://ispranproceedings.elpub.ru/jour/article/view/1106

مواد مشابهة

Interprocedural taint analysis for LLVM-bitcode
حسب: V. K. Koshelev, وآخرون
منشور في: (2018-10-01)

Analysis of program changes nature and searching for unpatched code fragments
حسب: Mariam Seropovna Arutunian, وآخرون
منشور في: (2019-04-01)

Using static analysis for finding security vulnerabilities and critical errors in source code
حسب: Arutyun Avetisyan, وآخرون
منشور في: (2018-10-01)

Next generation intermediate representations for binary code analysis
حسب: M. A. Solovev, وآخرون
منشور في: (2019-02-01)

Platform-independent and scalable tool for binary code clone detection
حسب: H. K. Aslanyan, وآخرون
منشور في: (2018-10-01)

Static analyzer Svace for finding of defects in program source code
حسب: V. P. Ivannikov, وآخرون
منشور في: (2018-10-01)

Vulnerabilities Detection via Static Taint Analysis
حسب: Nikita Vladimirovitch Chimtchik, وآخرون
منشور في: (2019-09-01)

Software deobfuscation methods: analysis and implementation
حسب: Sh. F. Kurmangaleev, وآخرون
منشور في: (2018-10-01)

Building security predicates for some types of vulnerabilities
حسب: A. N. Fedotov, وآخرون
منشور في: (2018-10-01)

Inter-procedural buffer overflows detection in C/C++ source code via static analysis
حسب: I. . Dudina
منشور في: (2018-10-01)

Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution
حسب: A. . Dergachev, وآخرون
منشور في: (2018-10-01)

Analyzing C/C++ code entities and relations for program understanding
حسب: A. . Belevantsev, وآخرون
منشور في: (2018-10-01)

The refactoring approach used in Klocwork Insight toolkit
حسب: N. L. Lugovskoy
منشور في: (2018-10-01)

Power saving code optimization based on using the power controllable components of CPU
حسب: I. I. Karetin, وآخرون
منشور في: (2018-10-01)

Source code transformation and automatic correction of defects with KAST language
حسب: N. L. Lugovskoy, وآخرون
منشور في: (2018-10-01)

An approach of reachability determination for static analysis defects with help of dynamic symbolic execution
حسب: A. Y. Gerasimov, وآخرون
منشور في: (2018-10-01)

Methods and software tools for combined binary code analysis
حسب: V. A. Padaryan, وآخرون
منشور في: (2018-10-01)

Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
حسب: I. A. Dudina
منشور في: (2018-10-01)

Survey on static program analysis results refinement approaches
حسب: A. Y. Gerasimov
منشور في: (2018-10-01)

Format recovery
حسب: A. I. Getman, وآخرون
منشور في: (2018-10-01)

Using unreachable code analysis in static analysis tool for finding defects in source code
حسب: R. R. Mulyukov, وآخرون
منشور في: (2018-10-01)

An approach to the C string analysis for buffer overflow detection
حسب: I. A. Dudina, وآخرون
منشور في: (2018-12-01)

A static analysis tool Svace as a collection of analyzers with various complexity levels
حسب: A. . Borodin, وآخرون
منشور في: (2018-10-01)

Dynamic detection of Use After Free bugs
حسب: S. A. Asryan, وآخرون
منشور في: (2018-10-01)

Using different views java-programs for static analysis
حسب: E. A. Karpulevitch
منشور في: (2018-10-01)

Input data generation for reaching specific function in program by iterative dynamic analysis
حسب: A. Y. Gerasimov, وآخرون
منشور في: (2018-10-01)

Supporting Java programming in the Svace static analyzer
حسب: A. P. Merkulov, وآخرون
منشور في: (2018-10-01)

Static detection of error of double locking of mutex
حسب: Alexey Borodin
منشور في: (2018-10-01)

Formalization of Error Criteria for static symbolic execution
حسب: V. K. Koshelev
منشور في: (2018-10-01)

Automated Type Contracts Generation in Ruby
حسب: N. Y. Viuginov, وآخرون
منشور في: (2018-10-01)

A static approach to estimation of execution time of components in AADL models
حسب: A. M. Troitskiy, وآخرون
منشور في: (2018-10-01)

Static Verification Tools for C Programs and Linux Device Drivers: A Survey
حسب: M. U. Mandrykin, وآخرون
منشور في: (2018-10-01)

Combining dynamic symbolic execution, code static analysis and fuzzing
حسب: A. Yu. Gerasimov, وآخرون
منشور في: (2019-02-01)

Dynamic analysis of virtualization- and dispatching-obfuscated applications
حسب: M. G. Bakulin, وآخرون
منشور في: (2018-10-01)

Static analysis usage for customizable checks of programming languages semantic constraints
حسب: Valery Ignatyev
منشور في: (2018-10-01)

Lightweight Static Analysis for Data Race Detection in Operating System Kernels
حسب: P. S. Andrianov, وآخرون
منشور في: (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)

Refactoring on the whole project
حسب: S. V. Syromyatnikov, وآخرون
منشور في: (2018-10-01)

Adjustable method with predicate abstraction for detection of race conditions in operating systems
حسب: P. S. Andrianov, وآخرون
منشور في: (2018-10-01)

Approach to detecting types inconsistency errors in a program code in dynamic languages
حسب: I. E. Bronshteyn
منشور في: (2018-10-01)