В статье рассматриваются типовые задачи анализа программных систем, для которых целесообразны методы статического анализа бинарных образов программ, в контексте исследования таких систем на соответствие требованиям информационной безопасности.
< ... >
The main goal of this paper is to examine typical challenges of security analysis of information systems where static analysis of binary programs is expedient.
Keywords:
static analysis, binary analysis, compilers, information security, vulnerability