2. Статический
анализ
кода
Часть
процесса
whitebox-­‐
тестирования,
позволяющая
идентифицировать
типичные
уязвимости
на
ранних
стадиях.

3. Анализ
кода
как
часть
цикла
разработки
разработка
выкладка
тест

4. Анализ
кода
как
часть
цикла
разработки
разработка
IDE
manual
autoscan
выкладка
тест

5. Автоматика
-­‐ Встраиваемость
-­‐ Масштабируемость
-­‐ Policy-­‐check

6. Автоматика
-­‐ Ложные
срабатывания
-­‐ Сложность
поиска
логических
ошибок
-­‐ Не
учитывается
конфигурация

7. Коммерческие
продукты

9. Opensource
Splint
FlawFinder
RIPS
rats

10. RIPS

11. variable
Методика
анализа:
top-­‐down
Entry
points
F1()
F2()
Applicaion
F3()
F4()
…
Fn(a,b,c){…}
…

12. Методика
анализа:
botom-­‐up
Applicaion
fn(x,y,z){…}
dangerous_fn(a,b,c){…}

13. Методика
анализа
TOP-­‐DOWN
BOTTOM-­‐UP
VS
атака
уязвимость
Взвешенный
подход:
расширяем
список
опасных
функций
снизу-­‐вверх,
проводим
оценку
по
наиболее
вероятным
векторам
сверху-­‐вниз.

14. Опыт
Mail.Ru
-­‐ Большой
объем
кода
-­‐ Разнообразие
языков
и
платформ
-­‐ Постоянный
цикл
разработки
-­‐ Взаимосвязанная
архитектура

15. Рабоволюк Ярослав
Аналитик ИБ, Mail.Ru
yaroslav@corp.mail.ru