ManticoreUI

============ Manticore UI .. image:: https://raw.githubusercontent.com/trailofbits/manticore/master/docs/images/manticore.png :width: 200px :align: center :alt: Manticore The Manticore User Interface MUI project provides a graphical user interface plugin for different disassemblers that allows...

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...

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...

honeypotscan

Support Development If this project helps your work, support ongoing maintenance and new features. ETH Donation Wallet 0x11282eE5726B3370c8B480e321b3B2aA13686582 Scan the QR code or copy the wallet address above. 🛡️ HoneypotScan Check if a token is a scam before you buy Free, fast, and accurate...

web3-decoder

Web3 Decoder Web3 Decoder 是一个 Burp Suite 扩展，可帮助分析涉及 web3 智能合约的操作具体发生了什么。这主要是对以太坊节点以及其他兼容网络（如 Polygon、Arbitrum、BSC…）节点的 JSON-RPC 调用。 下载与安装 下载最新的扩展 JAR — 此链接始终提供最新版本： ⬇ web3-decoder.jar（最新版本） 旧版本可在发布页面获取。 然后在 Burp Suite 中加载： 1. 转到 扩展 → 已安装 → 添加 。 2. 将 扩展类型 设置为 Java ，然后选择下载的 web3-decoder.jar。 3. 单击...

BlockchainC2

BlockchainC2 BlockchainC2 is a small POC server/agent to assess how the Blockchain specifically Ethereum's Smart Contract functionality can be used by an attacker for C2. Details regarding this application can be found here. Smart Contract The Smart Contract used within this POC is quite simple:...

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...

C2-Blockchain

C2-Blockchain 这是一个基于以太坊智能合约实现C2（命令与控制）的概念验证，部署在Ropsten测试网上。 要了解更多关于如何制作此PoC的信息，请参考系列文章这里。 我们已经从区块链介绍到如何在Python上使用智能合约进行了全面讲解。 安装 注意：这只是一个概念验证，因此virus.py需要在目标服务器上安装web3，但这个限制可以通过用Go编写病毒来克服，这样攻击者可以将web3文件与病毒二进制文件直接链接。 pip3 install web3 使用方法：- python3 handler.py...

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...

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 钱包（第二次攻击） 5. 默认可见性 漏洞 预防技术 真实世界示例：Parity MultiSig 钱包（第一次攻击）...

ghidra-evm

Ghidra EVM モジュール 過去数年、イーサリアムブロックチェーンにデプロイされたスマートコントラクトへの攻撃により、プログラミングのミスによって多額の資金が盗難される結果となっています。スマートコントラクトは一度コンパイルされてデプロイされると、修正や更新が複雑であるため、多くの実務者が、イーサリアム仮想マシン（EVM）のバイトコードのみが利用可能なブロックチェーン上でそのセキュリティをレビューすることの重要性を提唱しています。この点において、逆アセンブルと逆コンパイルによるリバースエンジニアリングは効果的です。...

GlacierCTF2023_writeups

Glacierctf 2023 描述 CTF 日期： 24.11.2023 - 26.11.2023 时长： 48 小时 CTF 时间： https://ctftime.org/event/1992 GlacierCTF 2023 是由 LosFuzzys 组织的第二届 Jeopardy 式 CTF 赛事。 本次 CTF 涵盖了多种类别的挑战，包括 pwn、rev、web、crypto、智能合约和 misc。 2023 GlacierCTF 仓库包含所有挑战以及题解/writeup。 衷心感谢所有参赛者以及为本次 CTF 提供挑战的人们，正是你们让这场赛事得以成功举办。 祝贺总排名前 1...

raptor

Raptor Raptor is a framework for auditing blockchain ecosystem contracts, protocols e.t.c. Overview Raptor provides structured approaches and tools for identifying security vulnerabilities in smart contracts and blockchain protocols. The framework helps auditors document findings consistently and...

web3-decoder

Web3 Decoder Web3 Decoder 是一款 Burp Suite 扩展，用于分析区块链操作和智能合约交互。它处理针对以太坊及兼容网络（包括 Polygon、Arbitrum、BSC 等）的 JSON-RPC 调用。 区块浏览器 API 密钥 大多数受支持的区块浏览器（如 etherscan.io）都要求提供 API 密钥，以允许每 5 秒超过 1 次请求。 要添加您的 API 密钥，您有 2 种选择： 您可以通过修改 .apikeys.json 文件来添加 API 密钥 您可以添加与 APIKEYS.json 文件中同名的环境变量 例如：export...

Web3Bugs

揭秘智能合约中的可利用漏洞 本项目旨在通过帮助 Web3 开发者和安全分析师理解智能合约中的可利用漏洞，为他们提供一份有价值的资源。我们对从 code4rena 中提取的可利用漏洞进行了深入分析，并根据漏洞的性质对其进行分类。 我们的初步研究表明，智能合约中相当大比例的可利用漏洞属于功能性漏洞，这些漏洞无法使用简单通用的预言机（如重入漏洞检测）检测出来。我们希望提高人们对这类漏洞重要性的认识，并鼓励从业者开发更复杂、更精细的自动化语义预言机来检测它们。 智能合约中相当一部分可利用漏洞属于功能性漏洞，无法通过简单通用的预言机检测出来。 请注意，本仓库目前正在积极开发中，由于 code4re...

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...