보안 도구
- MythX - 보안 인증 플랫폼과 이더리움 개발자를 위한 환경 도구들 입니다.
- 마이스릴 클래식(Mythril Classic) - 오픈소스 이더리움 가상머신 바이트코드 보안 분석 도구 입니다.
- 오옌테(Oyente) - 정적 스마트 컨트렉트 보안 분석 대안 입니다.
- 시큐리파이(Securify) - 이더리움 스마트 컨트렉트를 위한 보안 스캐너 입니다.
- 스마트체크(SmartCheck) - 고정(Static) 스마트 컨트렉트 보안 분석기 입니다.
- 포로시티(Porosity) - 블록체인을 기반으로 한 이더리움 스마트 컨트렉트를 위한 디컴파일러(Decompiler)와 보안 분석 도구 입니다.
- 이더스프레이(Ethersplay) - EVM 역어셈블러(disassembler) 입니다.
- Evmdis - EVM 역어셈블러 대안 입니다.
- 하이드라(Hydra) - 암호화폐경제학(cryptoeconomic) 컨트렉트 보안, 탈중앙화 보안 바운티를 위한 프레임워크 입니다.
- 솔그래프(Solgraph) - 스마트 컨트렉트 보안분석을 위해 시각적인 솔리디티 제어 흐름을 보여줍니다.
- 만티코어(Manticore) - 스마트 컨트렉트와 바이너리(Binaries)의 심볼릭 실행 도구 입니다.
- Slither - 솔리디티 정적(static) 분석 프레임워크 입니다.
- Adelaide - 솔리디티 컴파일러를 위한 SECBIT 정적(static) 분석 익스텐션(extension) 입니다.
- 솔리디티 보안 블로그(Solidity security blog) - 알려진 공격 백터(vectors)와 일반적인 안티패턴(anti-patterns) 종합 리스트 입니다.
- 어썸 버기 ERC20 토큰(Awesome Buggy ERC20 Tokens) - 토큰에 영향을 주는 ERC20 스마트 컨트렉트의 취약성 모음 입니다.
- Free Smart Contract Security Audit - Callisto 네트워크의 무료 스마트 컨트렉브 보안 감사(audits) 입니다.
'경로 및 정보' 카테고리의 다른 글
confluence CVE-2019-3396 취약점 (1) | 2022.09.15 |
---|---|
Nginx 기본 환경 (0) | 2022.09.15 |
[ Browser ] v8 exploit 공부를 위한 자료들 (펌) (0) | 2022.09.01 |
Space X bug crowd (0) | 2022.08.25 |
GooFuzz - The Power of Google Dorks (0) | 2022.08.17 |