보안 및 테스트

Radar (Auditware)

디버깅 및 검사

정적 분석 · 보안 · Solidity

Radar, from Auditware, is a static analysis tool that covers Solidity as well as Rust, Anchor, and Stylus contracts. Auditors run it to get findings across a mixed contract codebase.

관련 리소스

CodeTracer

CodeTracer는 광범위한 web3 프로그래밍 언어를 지원하도록 설계된 사용자 친화적인 시간 여행 디버거입니다.

EDB: The Ethereum Project Debugger

EDB는 온체인 또는 테스트에서 컨트랙트 동작에 대한 IDE 수준의 가시성이 필요할 때 스테핑, 로컬, 조사식 및 중단점을 제공하는 Solidity 실행을 위한 소스 수준 디버거입니다.

Simbolik - Solidity Debugger

Simbolik은 기존의 중단점 디버깅과 기호 실행을 결합한 강력한 Solidity 디버거로, 개발자가 가능한 모든 실행 경로를 탐색하고 취약점을 정밀하게 찾아낼 수 있도록 합니다. VSCode 확장 프로그램으로 제공되는 Simbolik은 기존 워크플로에 원활하게 통합되어 중단점 스타일 디버깅, Solidity 및 EVM 수준 검사, 정형 검증 기능을 제공합니다.

Abi Ninja

Abi Ninja는 알려진 ABI, 붙여넣은 ABI 또는 디컴파일된 바이트코드를 사용하여 컨트랙트를 호출하기 위한 브라우저 UI로, 로컬에서 실행 중인 Hardhat 또는 Anvil 노드를 포함한 여러 네트워크에서 프록시를 인식하는 읽기 기능을 제공합니다.

Tenderly

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.

Semgrep (smart-contracts rules)

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.