Программист С++/Python

Разработка модулей статического анализа двоичного кода.

Основные требования:

• уверенное знание основ теории компиляции и графов;
• хорошее знание процессорной архитектуры x86 и/или ARM32;
• навыки обратной разработки приложений без исходного кода;
• свободное владение языками программирования C++ и Python

Знания и навыки, являющиеся дополнительным «плюсом»:

• опыт в разработке средств декомпиляции двоичного кода;
• знакомство с какими-либо промежуточными представлениями машинного кода (IR): REIL, LLVM, VEX;
• знакомство с процессорными архитектурами PowerPC, MIPS и др.);
• знакомство с техникой тестирования программ Symbolic Execution.