Георгий Александрия

Positive Technologies

За плечами работа над вероятностными пространствами и Digital Forensic. С 2017 года занимаюсь разработкой SAST и SMT решений, в частности разработкой символьной виртуальной машины для символьного анализа исходного кода. Сейчас - ведущий разработчик анализа исходного кода в Positive Technologies.

Георгий Александрия

Доклады

Анализ кода: Символьная Виртуальная Машина
Узкотематические секции