Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

Usalama · Elimu · Utekelezaji wa kiishara · Kiendelezi cha VSCode · Uthibitishaji wa wakati wa utekelezaji · Uthibitishaji rasmi

Tovuti Kijamii runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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.

Related resources

CodeTracer

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

EDB: The Ethereum Project Debugger

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.

Abi Ninja

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.

Walnut

Kitatuzi na kiigaji cha muamala kinachotegemea wavuti kwa EVM. Chanzo wazi na kinachoweza kupangishwa kibinafsi. Kagua hali za kigezo katika kila hatua, iga miamala kabla ya kusambaza, na uweke wasifu wa matumizi ya gesi. Inasaidia mtoa huduma yeyote wa RPC.

evmc

zana rahisi ya cli ya kupakia msimbo wa mkataba kwenye IDE yako papo hapo.

solizard

Ganda la mwingiliano rahisi sana kwa kuingiliana na mikataba mahiri