smart-contract-vulnerabilities

スマートコントラクトの脆弱性 スマートコントラクトの脆弱性とその防止策をまとめたコレクションです。 LLM向けに最適化されたリファレンスについては /references を参照してください。 アクセス制御 tx.origin による認証 不十分なアクセス制御 信頼できない呼び出し先への Delegatecall 署名の改ざん可能性 署名リプレイ攻撃に対する保護の欠如 数学 整数オーバーフローとアンダーフロー オフバイワン 精度の欠如 制御フロー 再入 ブロックガスリミットによる DoS 予期しない revert による DoS ループ内での msg.value の使用...

theo

Theo 廃止されました。もうメンテナンスされていません。インストールしないでください。使用しないでください。警告しましたよ！ Theoは、エクスプロイトフレームワークであり、ブロックチェーンの偵察および操作ツールを目指しています。 機能: スマートコントラクトの自動スキャンにより、可能なエクスプロイトのリストを生成します。 スマートコントラクトをエクスプロイトするためのトランザクションを送信します。 トランザクションプールのモニター。 Web3コンソール フロントランニングおよびバックランニングトランザクション。 トランザクションのリストを待機し、他のトランザクションを送信します。...

theo

Theo Obsolete, not maintained anymore, don't install it, don't use it, you were warned! Theo aims to be an exploitation framework and a blockchain recon and interaction tool. Features: Automatic smart contract scanning which generates a list of possible exploits. Sending transactions to exploit a...

EvilReflex

이게 뭔가요? 이것은 스마트 컨트랙트의 evilReflex 취약점을 테스트하기 위한 간단한 테스트입니다. 테스트 방법? 1단계：evilReflex.sol 컴파일 2단계：HACKME 배포 예: Account Address： 0x62ba0a06ffc1d0a706172e1ed755b9b91f53a617 balance: 10090000000000000000000000 Contract address： 0x26336eb6761d7c6ac28251d5e20f63623fc16ad5 balance: 100900000000000000000000...

bithoven

Bithoven 🎼 비트코인 스마트 계약을 위한 고수준 명령형 언어 Bithoven은 타입 안전하고 개발자 친화적인 프로그래밍 언어로, 네이티브 비트코인 스크립트로 컴파일되도록 설계되었습니다. 복잡한 스마트 계약 로직과 비트코인 가상 머신VM의 저수준 스택 머신 사이의 격차를 해소합니다. 현대적인 제어 흐름if/else, 명명된 변수, 내장된 안전 검사를 사용하여 읽기 쉽고 감사 가능한 코드를 작성한 다음, SegWit 또는 Taproot용으로 고도로 최적화된 비트코인 스크립트로 컴파일하세요. ⚡ 주요 기능 명령형 구문: 스택...

echidna

Echidna: 빠른 스마트 컨트랙트 퍼저 Echidna는 버그를 먹어치우며 전기 감도가 매우 높은 이상한 생명체입니다 Jacob Stanley에게 사과의 뜻을 전하며 더 진지하게 말하자면, Echidna는 이더리움 스마트 컨트랙트의 퍼징/속성 기반 테스트를 위해 설계된 Haskell 프로그램입니다. 이는 컨트랙트 ABI를 기반으로 한 정교한 문법 기반 퍼징 캠페인을 사용하여 사용자 정의 술어나 Solidity 단언문을 반증합니다. Echidna는 모듈성을 염두에 두고 설계되었기 때문에, 새로운 변이를 포함하거나 특정 사례에서...

aether

Aether v6.0 — 스마트 계약 보안 분석 프레임워크 버전 6.0 | v6.0의 새로운 기능 | 변경 로그 Aether는 Solidity 스마트 계약을 분석하고, 취약점 결과를 생성하며, Foundry 기반 개념 증명PoC 테스트를 제작하고, 메인넷 포크에서 익스플로잇을 검증하는 Python 기반 프레임워크입니다. Solidity AST 파싱, 오염 분석, 제어 흐름 그래프 분석, 크로스 컨트랙트 분석, Halmos 기호 실행, 180개 이상의 패턴 기반 정적 탐지기, 공유 SAGE 제도적 기억을 갖춘 협업 다중 에이전트...

owasp-scs

OWASP 스마트 계약 보안 SCS OWASP 스마트 계약 보안 Slack에 참여하기 토론 및 지원 이곳은 OWASP 스마트 계약 보안 SCS 프로젝트의 공식 GitHub 저장소입니다. 이 포괄적인 이니셔티브는 스마트 계약 개발, 감사 및 검증을 위한 보안 표준, 지침 및 리소스를 제공합니다. SCS 생태계는 서로 연결된 하위 프로젝트들로 구성되어 있으며, 스마트 계약, 탈중앙화 애플리케이션dApps 및 EVM 기반 블록체인 시스템에서 강력한 보안 관행과 규정 준수를 촉진하기 위해 상호 보완합니다. 📚 개요 SCS 프로젝트는...

domestic-system

The Domestic System 아름다운 터미널 기반 이더리움 지갑 및 스마트 컨트랙트 브라우저로, 주권, 보안, 스타일을 위해 제작되었습니다. ━━━━━━━━━━━━━━━━━━━━ domestic system ━━━━━━━━━━━━━━━━━━━━ 개요 The Domestic System은 이더리움EVM 계정 및 스마트 컨트랙트를 탐색하기 위해 설계된 터미널 사용자 인터페이스TUI입니다. 터미널 기반 블록체인 상호작용을 실용적일 뿐만 아니라 바람직하게 만드는 세 가지 핵심 원칙을 통합합니다. 철학 🏛️ 주권 클라이언트 전용...

CVE-2025-4126

POC-CVE-2025-4126 스마트 계약 재진입 공격 취약점 검증 스마트 계약 재진입 공격 PoC 이 저장소는 이더리움 스마트 계약의 재진입 공격reentrancy attack 취약점을 시연하는 PoCProof of Concept를 포함합니다. PoC에는 취약한 스마트 계약, 공격자 계약, 그리고 로컬 테스트 환경에서 공격을 재현하는 방법이 포함되어 있습니다. 목차 개요 취약점 설명 PoC 설정 PoC 실행 라이선스 개요 재진입Reentrancy은 이더리움 스마트 계약에서 흔히 발생하는 취약점으로, 외부 계약이 첫 번째 호...

batchOverflow

batchOverflow PeckShield 팀이 발견한 batchOverflow 버그에 대한 수정입니다. 수정 방법 원본 계약은 송신자가 총 금액입력 값 x 주소 수을 지불할 충분한 토큰 을 가지고 있는지 확인하는 검사만 수행했습니다. 오버플로가 발생하면 이 금액이 0이 될 수 있으며, 이는 line 12의 테스트를 통과하게 만듭니다. 한 가지 가능한 수정 방법은 송신자의 잔액에서 금액을 뺀 값이 현재 잔액보다 작은지 확인하는 또 다른 테스트를 추가하는 것입니다. 오버플로가 발생하면 잔액이 동일하게 되어 유효하지 않은 트랜잭...

CVE-2026-9998-Insecure-Deserialization-in-Blockchain-Oracle

10. CVE-2026-9998 – 블록체인 오라클의 안전하지 않은 역직렬화 개요 블록체인 오라클 노드가 스마트 계약 이벤트의 데이터를 Python의 pickle로 역직렬화하여, 공격자가 임의의 명령을 실행할 수 있게 합니다. 심각도: 치명적전체 노드 손상 오라클 시뮬레이션 및 익스플로잇 !/usr/bin/env python3 """ vulnerableoracle.py - Oracle node that listens to events and deserializes data unsafely. """ import pickle,...

CVE-2026-1111-Smart-Contract-Cross-Function-Reentrancy

CVE-2026-1111 – 스마트 계약 교차 함수 재진입 프로그램 코드 Solidity + Python // VulnerableBank.sol - Simplified reentrancy example with cross-function bypass pragma solidity ^0.8.0; contract VulnerableBank mappingaddress = uint256 public balances; function deposit public payable balancesmsg.sender += msg.value;...

smart-contract-attack-vectors

スマートコントラクトの攻撃ベクトル このリポジトリの目的は、スマートコントラクトに関する可能な限りすべての脆弱性と、それらを学ぶためのリソースをまとめることです。 小さな修正から、追加したいドキュメントやツールまで、プルリクエストを自由に送ってください。 セキュリティ脆弱性の一覧 アクセス制御 tx.originによる認証 デフォルトの可視性 署名検証 保護されていないEtherの引き出し 保護されていないSELFDESTRUCT命令 modifierの付け忘れ 誤ったmodifier名 強力すぎるロール 低レベルコールにおけるアカウント存在確認 関数変数による任意ジャンプ Assert...

evm-audit-helpers

evm-audit-helpers 개요 evm-audit-helpers 는 EVM 스마트 계약 보안 감사를 가속화하기 위해 설계된 Solidity 스니펫, Foundry 스크립트, 테스트 템플릿의 선별된 모음입니다. 이 저장소는 재진입reentrancy, 스토리지 레이아웃 불일치, 가스 최적화 함정과 같은 일반적인 감사 문제에 대한 재사용 가능한 빌딩 블록을 번들로 제공하여, 감사자와 개발자가 보일러플레이트보다는 로직에 집중할 수 있게 합니다. 주요 목표: 감사 준비 가속화 : 즉시 사용 가능한 검사와 패턴 제공. 감사 보고서...

efcf-framework

EF/CF - 극도로 빠른 이더리움 스마트 컨트랙트 퍼저 EF/CF는 스마트 컨트랙트 퍼징에 대한 새로운 접근 방식입니다. 새로 맞춤 제작된 퍼저를 사용하는 대신 C/C++ 코드용 기존 퍼징 인프라를 스마트 컨트랙트에 재사용합니다. 현재 AFL++가 기본 지원 퍼저이며, libfuzzer와 honggfuzz에 대한 매우 기초적인 지원도 일부 포함되어 있습니다. 왜 기존 퍼징 인프라를 사용하나요? 속도. 더 빠르게 퍼징할 수 있습니다. 일반적으로 코어당 초당 약 20k execs를 달성합니다. 네이티브 코드 퍼저는 잘 설계되고...

CVE-batdappboomx

CVE ID CVE-2022-27134 제품 batdappboomx는 EOSIO 블록체인에서 실행되는 공개 스마트 컨트랙트입니다. 이 스마트 컨트랙트는 참가자가 일부 암호화폐를 사전에 지불하면 보상으로 암호화폐를 지급합니다. 버전 이 스마트 컨트랙트의 최신 버전입니다. 스마트 컨트랙트의 sha256 해시 코드는 1327c04cf4b56183eddb1a897bbebf5a873d3421272b708829a4ed0765bef820입니다. 블록체인 탐색기https://bloks.io/account/batdappboomx에서 확인할 수...

CVE-2026-100248

The Rattadan Cosmowarp smart contract before 56c6147 can have a comparison to an unintended value of currentadmin...

CVE-2026-100248

The Rattadan Cosmowarp smart contract before 56c6147 can have a comparison to an unintended value of currentadmin...

CVE-2026-100248

The Rattadan Cosmowarp smart contract before 56c6147 can have a comparison to an unintended value of currentadmin...