Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

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

இணையதளம்சமூகம்runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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

Related resources

CodeTracer

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

EDB: The Ethereum Project Debugger

சங்கிலிசார் அல்லது சோதனைகளில் ஒப்பந்தத்தின் செயல்பாடுகள் குறித்து IDE-தரத்திலான தெரிவுநிலை உங்களுக்குத் தேவைப்படும்போது, ஸ்டெப்பிங், லோக்கல்ஸ், வாட்சஸ் மற்றும் பிரேக்பாயிண்ட்களுடன் கூடிய Solidity செயலாக்கத்திற்கான ஒரு மூல-நிலை பிழைத்திருத்தியே EDB ஆகும்.

Abi Ninja

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

Walnut

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

evmc

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

solizard

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