
Combined (static and dynamic) analysis of binary code
Author(s) -
Andrei Yur'evich Tikhonov,
Arutyun Avetisyan
Publication year - 2012
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-2012-22-9
Subject(s) - computer science , static analysis , program slicing , tracing , static program analysis , dynamic program analysis , data flow analysis , trace (psycholinguistics) , control flow , control flow analysis , binary code , program analysis , process (computing) , programming language , symbolic execution , data structure , binary number , data flow diagram , debugging , software , database , software development , inductive programming , linguistics , programming domain , programming paradigm , arithmetic , mathematics , philosophy