Open AccessError detection in binary code with dynamic symbolic execution
Author(s) -
Alexey Vishnyakov,
Eli Kobrin,
Andrey Fedotov
Publication year - 2022
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2022-34(2)-3
Subject(s) - fuzz testing , computer science , symbolic execution , programming language , code (set theory) , buffer overflow , software , set (abstract data type)