Семён Соколов . Современная автоматизация обратной разработки в декомпиляторе HexRays