Поиск уязвимостей в исходном коде с помощью ручного статического анализа

Кому не сложно, посоветуйте, пожалуйста, материалы по теме.
Из того, с яем уже ознакомился, могу посоветовать материалы pvs studio и ростелеком-солар.

Nota, Typst и Evidence. Языки программирования для генерации документов

Попытался воспользоваться typst:

Позиционируется как более удобная замена LaTeX, но по факту всё тот же набор костылей.

Банальная проблема: настроить отступ красной строки (особенно важно для китайцев, как оказалось) — решения нет, и разработчики признаются, что проблема настолько глубока, что исправить её практически невозможно. И тут же предлагают не требовать от них многого, т.к. typst — всего лишь бета.

Задумка хорошая, читать код действительно проще и приятнее, чем LaTeX, но если хочешь не разрывать страницу посреди абзаца — будь добр, нагрузи костылей, оберни каждый абзац в блок, и тогда перестанут работать костыли для красной строки...