Semgrep (smart-contracts rules)

CodeTracer ni kitatuzi rafiki kwa mtumiaji cha kusafiri kwa wakati kilichoundwa kusaidia anuwai ya lugha za programu za Web3.

EDB ni kitatuzi cha kiwango cha chanzo kwa utekelezaji wa Solidity na hatua, za ndani, saa, na vituo vya mapumziko unapohitaji mwonekano wa kiwango cha IDE katika tabia ya mkataba mnyororoni au katika majaribio.

Simbolik ni kitatuzi chenye nguvu cha Solidity kinachochanganya utatuzi wa jadi wa sehemu ya kukatiza na utekelezaji wa kiishara, kuwezesha wasanidi programu kuchunguza kila njia inayowezekana ya utekelezaji na kufichua udhaifu kwa usahihi. Inapatikana kama kiendelezi cha VSCode, Simbolik inaunganishwa bila mshono kwenye mtiririko wa kazi uliopo, ikitoa utatuzi wa mtindo wa sehemu ya kukatiza, ukaguzi wa kiwango cha Solidity na EVM, na uwezo wa uthibitishaji rasmi.

Abi Ninja ni kiolesura cha mtumiaji (UI) cha kivinjari kwa ajili ya kuita mikataba yenye ABI zinazojulikana, ABI zilizobandikwa, au msimbo wa baiti uliotenganishwa, na usomaji unaotambua proksi kwenye mitandao mingi ikijumuisha nodi yako ya Hardhat au Anvil inayoendeshwa ndani ya nchi.

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

sol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.