Проверка аннотаций типов, обнаружение несовместимости типов и лучшие практики типизации.
Обнаружение SQL-инъекций, command injection и небезопасных паттернов веб-фреймворков.
Поиск неэффективных паттернов, блокирующих вызовов и утечек памяти.
Соблюдение PEP 8, идиоматических паттернов и практик чистого кода.