analyzing-ethereum-smart-contract-vulnerabilities

Étoiles10

Forks1

Mis à jour31 mai 2026 à 20:23

Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.

Installation

Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.

Source

Phenomx64L

Phenomx64L/LucyAI

Ouvrir le dépôt GitHub Voir les dépôts du créateur

Téléchargement

Métiers associésSOC

Basé sur la classification professionnelle SOC

Analystes en sécurité de l'informationProfessions informatiques et mathématiques·SOC 15-1212

SKILL.md

readonly

name	analyzing-ethereum-smart-contract-vulnerabilities
description	Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.
domain	cybersecurity
subdomain	blockchain-security
tags	["ethereum","solidity","smart-contract","slither","mythril","blockchain","defi","audit"]
version	1.0
author	mahipal
license	Apache-2.0
nist_csf	["PR.DS-01","PR.DS-02","ID.RA-01"]

Analyzing Ethereum Smart Contract Vulnerabilities

Overview

Smart contract vulnerabilities have led to billions of dollars in losses across DeFi protocols. Unlike traditional software, deployed smart contracts are immutable and handle real financial assets, making pre-deployment security analysis critical. Slither performs fast static analysis using an intermediate representation to detect over 90 vulnerability patterns in seconds, while Mythril uses symbolic execution and SMT solving to discover complex execution path vulnerabilities like reentrancy and integer overflows. This skill covers running both tools against Solidity contracts, interpreting results, triaging findings by severity, and generating audit reports.

When to Use

When investigating security incidents that require analyzing ethereum smart contract vulnerabilities
When building detection rules or threat hunting queries for this domain
When SOC analysts need structured procedures for this analysis type
When validating security monitoring coverage for related attack techniques

Prerequisites

Python 3.10+ with pip
Slither (pip install slither-analyzer) and solc compiler
Mythril (pip install mythril) with solc-select for compiler version management
Solidity source code or compiled contract bytecode
Foundry or Hardhat development framework (optional, for project-level analysis)

Steps

Step 1: Run Slither Static Analysis

Execute Slither against the contract codebase to identify vulnerability patterns, optimization opportunities, and code quality issues using its 90+ built-in detectors.

Step 2: Run Mythril Symbolic Execution

Run Mythril deep analysis to explore execution paths and discover reentrancy, unchecked external calls, and arithmetic vulnerabilities that require path-sensitive analysis.

Step 3: Triage and Correlate Findings

Combine results from both tools, deduplicate findings, assess severity based on exploitability and financial impact, and filter false positives.

Step 4: Generate Audit Report

Produce a structured audit report with vulnerability descriptions, affected code locations, exploit scenarios, and remediation recommendations.

Expected Output

JSON report listing vulnerabilities with SWC (Smart Contract Weakness Classification) identifiers, severity ratings, affected functions, and suggested fixes.

Plus depuis ce dépôt

même dépôt

generating-windows-system-health-and-security-report

Phenomx64L/LucyAI

Produces a structured Windows system report that synthesises performance and security signals into a single Markdown document and writes it to disk. Combines sysinfo, tasklist, network connections, recent event log entries, Defender state, autoruns, hotfix list, and disk usage into an executive summary plus per-axis sections plus actionable findings. Activates when the user asks Lucy to "generate / produce / build / write / compile / elaborate" a "report / informe / reporte / auditoría / overview" of "the machine / la maquina / mi equipo / mi laptop / the host" with optional persistence target (escritorio / desktop / archivo / .md / .pdf).

2026-06-0410

acquiring-disk-image-with-dd-and-dcfldd

Phenomx64L/LucyAI

Create forensically sound bit-for-bit disk images using dd and dcfldd while preserving evidence integrity through hash verification.

2026-05-3110

analyzing-active-directory-acl-abuse

Phenomx64L/LucyAI

Detect dangerous ACL misconfigurations in Active Directory using ldap3 to identify GenericAll, WriteDACL, and WriteOwner abuse paths

2026-05-3110

analyzing-android-malware-with-apktool

Phenomx64L/LucyAI

Perform static analysis of Android APK malware samples using apktool for decompilation, jadx for Java source recovery, and androguard for permission analysis, manifest inspection, and suspicious API call detection.

2026-05-3110

analyzing-api-gateway-access-logs

Phenomx64L/LucyAI

Parses API Gateway access logs (AWS API Gateway, Kong, Nginx) to detect BOLA/IDOR attacks, rate limit bypass, credential scanning, and injection attempts. Uses pandas for statistical analysis of request patterns and anomaly detection. Use when investigating API abuse or building API-specific threat detection rules.

2026-05-3110

analyzing-azure-activity-logs-for-threats

Phenomx64L/LucyAI

Queries Azure Monitor activity logs and sign-in logs via azure-monitor-query to detect suspicious administrative operations, impossible travel, privilege escalation, and resource modifications. Builds KQL queries for threat hunting in Azure environments. Use when investigating suspicious Azure tenant activity or building cloud SIEM detections.

2026-05-3110

name	analyzing-ethereum-smart-contract-vulnerabilities
description	Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.
domain	cybersecurity
subdomain	blockchain-security
tags	["ethereum","solidity","smart-contract","slither","mythril","blockchain","defi","audit"]
version	1.0
author	mahipal
license	Apache-2.0
nist_csf	["PR.DS-01","PR.DS-02","ID.RA-01"]

Analyzing Ethereum Smart Contract Vulnerabilities

Overview

When to Use

When investigating security incidents that require analyzing ethereum smart contract vulnerabilities
When building detection rules or threat hunting queries for this domain
When SOC analysts need structured procedures for this analysis type
When validating security monitoring coverage for related attack techniques

Prerequisites

Python 3.10+ with pip
Slither (pip install slither-analyzer) and solc compiler
Mythril (pip install mythril) with solc-select for compiler version management
Solidity source code or compiled contract bytecode
Foundry or Hardhat development framework (optional, for project-level analysis)

Steps

Step 1: Run Slither Static Analysis

Execute Slither against the contract codebase to identify vulnerability patterns, optimization opportunities, and code quality issues using its 90+ built-in detectors.

Step 2: Run Mythril Symbolic Execution

Run Mythril deep analysis to explore execution paths and discover reentrancy, unchecked external calls, and arithmetic vulnerabilities that require path-sensitive analysis.

Step 3: Triage and Correlate Findings

Combine results from both tools, deduplicate findings, assess severity based on exploitability and financial impact, and filter false positives.

Step 4: Generate Audit Report

Produce a structured audit report with vulnerability descriptions, affected code locations, exploit scenarios, and remediation recommendations.

Expected Output

JSON report listing vulnerabilities with SWC (Smart Contract Weakness Classification) identifiers, severity ratings, affected functions, and suggested fixes.