Всем кукуси, может кто знает тулзы для анализа стиля кода для оценки профессионализма, допустим, нового сотрудника — понимать джун он и т.п. . Интересует именно solidity, rust, go (короче все что связано со смарт контрактами)
Есть дока приколдесная с описанием тулзов для пентеста смарт контрактов,
https://arxiv.org/pdf/1908.08605.pdf, таких как OYENTE, ZEUS, Gasper, Ethir, Securify, MAIAN, Graph Construction, teEther, isabelle/HOL, Coq, F* Framework, Ghidra-Evm,Swcregistry ,Slither ,Echidna ,Rinkeby ,Kovan ,Surya,Solgraph ,abi2solidity ,Etherscan (тут + тулзы для експлоринга блокчейнов и деплоя сред для тестирования) может полезно будет.
Может из этого списка есть нужная тулза? Честно оч лень самому сейчас каждую проверять, если подскажет кто будет круто, ну от меня список тулзов выше :))