முக்கிய உள்ளடக்கத்திற்குச் செல்லவும்
Simbolik - Solidity Debugger
பாதுகாப்பு மற்றும் சோதனை

Simbolik - Solidity Debugger

பிழைத்திருத்தம் மற்றும் ஆய்வு

பாதுகாப்பு · கல்வி · குறியீட்டுச் செயலாக்கம் · VSCode நீட்டிப்பு · இயக்கநேர சரிபார்ப்பு · முறைசார் சரிபார்ப்பு

இணையதளம் (புதிய தாவலில் திறக்கப்படும்)சமூகம் (புதிய தாவலில் திறக்கப்படும்)runtimeverification/simbolik-vscode(48 ☆) (புதிய தாவலில் திறக்கப்படும்)runtimeverification/simbolik-examples(5 ☆) (புதிய தாவலில் திறக்கப்படும்)

Simbolik என்பது ஒரு சக்திவாய்ந்த Solidity பிழைத்திருத்தியாகும், இது பாரம்பரிய பிரேக்பாயிண்ட் பிழைத்திருத்தத்தை குறியீட்டுச் செயலாக்கத்துடன் ஒருங்கிணைத்து, டெவலப்பர்கள் சாத்தியமான ஒவ்வொரு செயலாக்கப் பாதையையும் ஆராயவும், பாதிப்புகளைத் துல்லியமாகக் கண்டறியவும் அனுமதிக்கிறது. VSCode நீட்டிப்பாகக் கிடைக்கும் Simbolik, ஏற்கனவே உள்ள பணிப்பாய்வுகளில் தடையின்றி ஒருங்கிணைந்து, பிரேக்பாயிண்ட்-பாணி பிழைத்திருத்தம், Solidity மற்றும் EVM-நிலை ஆய்வு மற்றும் முறைசார் சரிபார்ப்புத் திறன்களை வழங்குகிறது.

தொடர்புடைய வளங்கள்

CodeTracer

CodeTracer

CodeTracer என்பது பரந்த அளவிலான web3 நிரலாக்க மொழிகளை ஆதரிக்க வடிவமைக்கப்பட்ட பயனர் நட்பு நேரப் பயணப் பிழைத்திருத்தியாகும் (time-traveling debugger).

Walnut

Walnut

EVM-க்கான இணைய அடிப்படையிலான பரிவர்த்தனைப் பிழைத்திருத்தி மற்றும் சிமுலேட்டர். ஓப்பன் சோர்ஸ் மற்றும் சுயமாக ஹோஸ்ட் செய்யக்கூடியது. ஒவ்வொரு படியிலும் மாறி நிலைகளை ஆய்வு செய்யவும், நிலைநிறுத்துவதற்கு முன் பரிவர்த்தனைகளை உருவகப்படுத்தவும், மற்றும் எரிவாயுப் பயன்பாட்டைப் பகுப்பாய்வு செய்யவும். எந்தவொரு RPC வழங்குநரையும் ஆதரிக்கிறது.

Abi Ninja

Abi Ninja

Abi Ninja என்பது தெரிந்த ABI-கள், ஒட்டப்பட்ட ABI-கள் அல்லது டீகம்பைல் செய்யப்பட்ட பைட் குறியீட்டைக் கொண்டு ஒப்பந்தங்களை அழைப்பதற்கான ஒரு உலாவி UI ஆகும், இது உங்கள் கணினியில் இயங்கும் Hardhat அல்லது Anvil கணு உட்பட பல பிணையங்கள் முழுவதும் ப்ராக்ஸி-ஆதரவுடைய வாசிப்புகளைக் கொண்டுள்ளது.

evmc

உங்கள் IDE-இல் உடனடியாக ஒப்பந்தக் குறியீட்டை ஏற்றுவதற்கான எளிய cli கருவி.

solizard

solizard

ஸ்மார்ட் ஒப்பந்தங்களுடன் தொடர்புகொள்வதற்கான மிக எளிதான இன்டராக்டிவ் ஷெல்

viem-tracer

viem-tracer ஒரு Viem கிளையண்டை மேம்படுத்துகிறது, இதனால் தோல்வியடைந்த ethestimateGas மற்றும் ethsendTransaction அழைப்புகள் sourcify.dev மூலம் டிகோட் செய்யப்பட்ட மனிதர்கள் படிக்கக்கூடிய ட்ரேஸ் வெளியீட்டை தானாகவே உள்ளடக்கும், மேலும் இது debug_traceCall-ஐச் சுற்றி டைப்டு ஹெல்பர்களைச் சேர்க்கிறது, இதன் மூலம் டெவலப்பர்கள் தங்கள் தற்போதைய RPC ஸ்டேக்கை விட்டு வெளியேறாமல் செயல்பாட்டை ஆய்வு செய்யலாம்.