Спасибо за совет, воспользуюсь! )

Кстати, смотрел листиниги, сгенерированные им на питоне и солидити. В суть не вникал, но синтаксис вроде бы на беглый взгляд верный, и какая-то логика действительно просматривается. Мне еще говорили, что есть какие-то анализаторы контрактов под линукс, которые тоже могут некоторые типичные уязвимости отлавливать. Тоже поставлю себе в туду лист, как и проверку с помощью чат-ГПТ)