Абстрактная интерпретация бинарного кода как универсальная платформа анализадоклад на конференции