ghidra-evm

Ghidra EVM Module In the last few years, attacks on deployed smart contracts in the Ethereum blockchain have ended up in a significant amount of stolen funds due to programming mistakes. Since smart contracts, once compiled and deployed, are complex to modify and update different practitioners ha...

ghidra-evm

Ghidra EVM 모듈 지난 몇 년 동안 이더리움 블록체인에 배포된 스마트 컨트랙트에 대한 공격은 프로그래밍 실수로 인해 상당한 양의 자금이 도난당하는 결과를 초래했습니다. 스마트 컨트랙트는 한 번 컴파일되어 배포되면 수정 및 업데이트가 복잡하기 때문에, 다양한 실무자들은 이더리움 가상 머신EVM 바이트코드만 사용할 수 있는 블록체인에서 보안을 검토하는 것의 중요성을 제안해 왔습니다. 이러한 측면에서 디스어셈블 및 디컴파일을 통한 리버스 엔지니어링이 효과적일 수 있습니다. ghidra-EVM은 스마트 컨트랙트 리버스 엔지니어...

WordPress WPSmartContracts <1.3.12 - SQL Injection

WordPress WPSmartContracts plugin before 1.3.12 contains a SQL injection vulnerability. The plugin does not properly sanitize and escape a parameter before using it in a SQL statement. An attacker with a role as low as author can possibly obtain sensitive information, modify data, and/or execute...

slither

Slither, the smart contract static analyzer Join the Empire Hacking Slack - Discussions and Support Slither is a Solidity & Vyper static analysis framework written in Python3. It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to...

BlockchainC2

BlockchainC2 BlockchainC2は、攻撃者がC2にブロックチェーン（特にEthereumのスマートコントラクト機能）をどのように利用できるかを評価するための小さなPOCサーバー/エージェントです。 このアプリケーションの詳細はこちらで確認できます。 スマートコントラクト このPOC内で使用されるスマートコントラクトは非常にシンプルです: root@kitploit: pragma solidity ^0.5.0; contract EventC2 address owner; event ServerDatabool f, bool enc, int seq, stri...

Web3Bugs

スマートコントラクトにおける悪用可能なバグの解明 このプロジェクトは、Web3開発者とセキュリティアナリストがスマートコントラクトにおける悪用可能なバグへの理解を深めるための貴重なリソースを提供することを目的としています。code4renaから抽出した悪用可能なバグを徹底的に分析し、各バグをその性質に応じて分類します。...

ManticoreUI

Manticore UI .. image:: https://raw.githubusercontent.com/trailofbits/manticore/master/docs/images/manticore.png :width: 200px :align: center :alt: Manticore Manticore User Interface MUI 프로젝트는 다양한 디스어셈블러를 위한 그래픽 사용자 인터페이스 플러그인을 제공하여 사용자가 스마트 계약 및 네이티브 바이너리 분석을 위한 Manticore 기호 실행 엔진 과 쉽게 상호 작용하고 진...

caracal

Caracal Caracal is a static analyzer tool over the SIERRA representation for Starknet smart contracts. Features Detectors to detect vulnerable Cairo code Printers to report information Taint analysis Data flow analysis framework Easy to run in Scarb projects Installation Precompiled binaries...

web3-decoder

Web3 Decoder Web3 Decoder は、web3 のスマートコントラクトに関わる操作で何が起こっているかを分析するための Burp Suite 拡張機能です。 これは主に Ethereum ノードへの JSON-RPC 呼び出しと、 Polygon、Arbitrum、BSC などの互換ネットワークのノードへの呼び出しです。 ダウンロードとインストール 最新の拡張機能 JAR をダウンロードしてください — このリンクは常に最新のリリースを提供します: ⬇ web3-decoder.jar latest 古いバージョンは リリースページ にあります。 次に、Burp Sui...

C2-Blockchain

C2-Blockchain これは、Ropsten TestNetサーバー上で動作するEthereumスマートコントラクトを介して実装されたC2です。 このPoCの作成方法については、シリーズをこちらでご参照ください。 ブロックチェーンの導入からPythonでのスマートコントラクトの使用まで、すべてを説明しています。 インストール 注：これは概念実証に過ぎないため、virus.pyではターゲットサーバーにweb3がインストールされている必要があります。しかし、ウイルスがGoで作成されていれば、攻撃者はweb3ファイルをウイルスバイナリ自体にリンクできるため、この制限は解消できます。 pi...

honeypotscan

開発支援 このプロジェクトがお役に立てているなら、継続的なメンテナンスと新機能を支援してください。 ETH 寄付ウォレット 0x11282eE5726B3370c8B480e321b3B2aA13686582 QRコードをスキャンするか、上記のウォレットアドレスをコピーしてください。 🛡️ HoneypotScan 購入前にトークンが詐欺かどうかを確認 Ethereum、Polygon、Arbitrumのスマートコントラクト向けの無料、高速、正確なハニーポット検出。 🍯 ハニーポットトークンとは？...

manticore

⚠️ Project is archived ⚠️ This project is no longer internally developed and maintained. Manticore Manticore is a symbolic execution tool for the analysis of smart contracts and binaries. Features Program Exploration : Manticore can execute a program with symbolic inputs and explore all the...

SoliditySecurity

これは何か この投稿は、Solidity開発者が過去に犯した過ちを比較的詳細かつ最新の情報に基づいて紹介する入門記事であり、将来の開発者が歴史を繰り返さないようにすることを目的としています。 目次 1. 再入 脆弱性 予防策 実世界の例: The DAO 2. 算術オーバーフロー/アンダーフロー 脆弱性 予防策 実世界の例: PoWHCとバッチ転送オーバーフロー CVE-2018-10299 3. 予期しないEther 脆弱性 予防策 実世界の例: 不明 4. Delegatecall 脆弱性 予防策 実世界の例: Parity Multisig Wallet 2度目のハック...

GlacierCTF2023_writeups

Glacierctf 2023 説明 CTF開催日: 24.11.2023 - 26.11.2023 開催時間: 48時間 CTF Time: https://ctftime.org/event/1992 GlacierCTF 2023 は、LosFuzzys が主催する jeopardy 形式の CTF の第2回目でした。 この CTF では、pwn、rev、web、crypto、スマートコントラクト、misc など、さまざまなカテゴリのチャレンジが提供されました。 2023 GlacierCTF リポジトリには、すべてのチャレンジとソリューション/ライトアップが含まれています。...

raptor

Raptor Raptor는 블록체인 생태계컨트랙트, 프로토콜 등를 감사하기 위한 프레임워크입니다. 개요 Raptor는 스마트 컨트랙트 및 블록체인 프로토콜의 보안 취약점을 식별하기 위한 구조화된 접근 방식과 도구를 제공합니다. 이 프레임워크는 감사자가 결과를 일관성 있게 문서화하고 여러 감사 플랫폼용 보고서를 생성하는 데 도움을 줍니다. 설치 curl root@kitploit: 최신 안정 버전 설치 권장 curl -sSL...

web3-decoder

Web3 Decoder Web3 Decoder は、ブロックチェーン操作とスマートコントラクトのやり取りを分析するために設計された Burp Suite 拡張機能です。Ethereum および互換性のあるネットワーク（Polygon、Arbitrum、BSC など）への JSON-RPC 呼び出しを処理します。 ブロックエクスプローラー API キー etherscan.io など、サポートされているほとんどのブロックエクスプローラーでは、5 秒間に 1 回以上のリクエストを許可するために API キーが必要です。 API キーを追加するには 2 つのオプションがあります:...

Smart Contracts Claimed Vulnerable by the CVE Database, with Labels and Source Locations

The Common Vulnerabilities and Exposures CVE database catalogs vulnerability claims in hard- and software, among them those pertaining to blockchain programs a.k.a. smart contracts. We present CVE-Smart-Contracts, a curated dataset of CVE records up to July 2026 referring to Ethereum smart...

Tailored Prompts, Targeted Protection: Vulnerability-Specific LLM Analysis for Smart Contracts

Smart contracts on blockchains are prone to diverse security vulnerabilities that can lead to significant financial losses due to their immutable nature. Existing detection approaches often lack flexibility across vulnerability types and rely heavily on manually crafted expert rules. In this pape...

A Systematic Literature Review for Transformer-Based Software Vulnerability Detection

Context: Software vulnerabilities pose significant security threats to software systems, especially as software is increasingly used across many areas of daily life, including health, government, and finance. Recently, transformer-based models have demonstrated promising results in automatic...

V2E: Validating Smart Contract Vulnerabilities through Profit-Driven Exploit Generation and Execution

Smart contracts are a critical component of blockchain systems. Due to the large amount of digital assets carried by smart contracts, their security is of critical importance. Although numerous tools have been developed for detecting smart contract vulnerability, their effectiveness remains...