Изучение возможностей применения статического анализа

Этапы работы:
1) Провести анализ с помощью Semgrep и CodeQl 10ти программ: Linux Kernel, OpenSSL, nginx, Git, Vim, SQLite, Curl, wireshark, tcpdump, FFmpeg.
2) Далее так же проанализировать выборку juliet на Си с помощью CodeQl.
3) Проанализировать открытый код анализатора Code Ql на основе прошлых пунктов (что он ищет быстрее/проще/ с чем не справляется и почему)
4) Практическая часть с программированием по обсуждению с руководителем