Method for exploitability estimation of program bugs

The method for exploitability estimation of program bugs is presented. Using this technique allows to prioritize software bugs that were found. Thus, it gives an opportunity for a developer to fix bugs, which are most security critical at first. The method is based on combining preliminary classific...

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

類似資料

Software defect severity estimation in presence of modern defense mechanisms
著者:: A. N. Fedotov, 等
出版事項: (2018-10-01)

Search method for format string vulnerabilities
著者:: I. A. Vakhrushev, 等
出版事項: (2018-10-01)

Memory violation detection method in binary code
著者:: V. V. Kaushan, 等
出版事項: (2018-10-01)

Automated exploit generation method for stack buffer overflow vulnerabilities
著者:: V. A. Padaryan, 等
出版事項: (2018-10-01)

Buffer overrun detection method in binary code
著者:: V. V. Kaushan
出版事項: (2018-10-01)

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

Compiler protection techniques against software vulnerabilities exploitation
著者:: A. R. Nurmukhametov, 等
出版事項: (2018-10-01)

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

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

When stack protection does not protect the stack?
著者:: Pavel Dovgalyuk, 等
出版事項: (2018-10-01)

Preventing Attacks on the Easiest Applications with Vulnerabilities by Verification of Their Committed System Calls
著者:: M. A. Parinov, 等
出版事項: (2022-08-01)

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

Building security predicates for some types of vulnerabilities
著者:: A. N. Fedotov, 等
出版事項: (2018-10-01)

On representation used in the binary code reverse engineering
著者:: V. A. Padaryan
出版事項: (2018-10-01)

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

Автоматизация разработки моделей устройств и вычислительных машин для QEMU
著者:: V. Yu. Efimov, 等
出版事項: (2018-10-01)

Automated generation of machine instruction decoders
著者:: N. Yu. Fokina, 等
出版事項: (2018-10-01)

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

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

Method for analysis of code-reuse attacks
著者:: A. V. Vishnyakov, 等
出版事項: (2018-12-01)

Instruction scheduling and software pipelining for modern architectures
著者:: Arutyun Avetisyan
出版事項: (2018-10-01)

Classification of ROP gadgets
著者:: A. V. Vishnyakov
出版事項: (2018-10-01)

Support for Conditional Execution in Selective Scheduling
著者:: Dmitry Melnik, 等
出版事項: (2018-10-01)

Two-stage compilation for optimizing and deploying programs in general purpose languages
著者:: Arutyun Avetisyan
出版事項: (2018-10-01)

Minimization of data base query's conditions: evoluation of efficiency
著者:: N. A. Mendkovich, 等
出版事項: (2018-10-01)

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

Non-Human Politics and the Dialogue of Vulnerability
著者:: J Dutkiewicz
出版事項: (2011-03-01)

Verified program code execution system prototype
著者:: A. V. Kozachok, 等
出版事項: (2018-10-01)

«В чистом поле – гора»: символика горы и поля в русской лингвокультуре
著者:: Вероника Игоревна Абрамова, 等
出版事項: (2021-02-01)

Generation of the weakest preconditions of programs with dynamic memory in symbolic execution
著者:: A. V. Misonizhnik, 等
出版事項: (2024-12-01)

Модель социального влияния в анализе социоинженерных атак
出版事項: (2021-10-01)

Уязвимые группы в чрезвычайных ситуациях: солидарность и доверие государству как основа стратегий мигрантов в России во время пандемии COVID-19
著者:: Анна Леонидовна Рочева, 等
出版事項: (2020-12-01)

Комплексная система защиты от уязвимостей, основанных на возвратно-ориентированном программировании
著者:: Ivan Lubkin, 等
出版事項: (2022-03-01)

ОЦЕНКА СЕЙСМИЧЕСКОГО РИСКА УРБАНИЗИРОВАННОЙ ТЕРРИТОРИИ
著者:: В. Б. Заалишвили, 等
出版事項: (2014-08-01)

Управление геоэкологическим риском и проблемы устойчивого развития горных территорий
著者:: В.Б. Свалова
出版事項: (2022-04-01)

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

Медиаэстетический код Челябинска глазами блогеров-урбанистов
著者:: Светлана Симакова, 等
出版事項: (2022-07-01)

Техносфера как источник системных угроз: аналитический обзор современных теоретических подходов
著者:: Vsevolod N. Sergeev, 等
出版事項: (2025-08-01)

Toponyms with the Stem баш/бас in Tuvan and Yakut languages: a lingvoculturological interpretation
著者:: Egor R. Nikolaev
出版事項: (2018-09-01)

The organization of the totally self-checking integrated control circuit based on the Boolean complement method up to «2-out-of-4» constant-weight code
著者:: D. V. Efanov, 等
出版事項: (2018-10-01)