unchecked-return-values

Community

Secure low-level calls in Solidity

AuthorApegurus
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill identifies and helps mitigate a critical security vulnerability in Solidity smart contracts where the return values of low-level calls (.call(), .send(), .delegatecall()) are not properly checked, potentially leading to unexpected state changes and exploits.

Core Features & Use Cases

  • Vulnerability Detection: Automatically scans Solidity code for instances of .call(), .send(), and .delegatecall() where the success or failure status is ignored.
  • Severity Classification: Assigns a 'Medium' severity and 'High' confidence to detected vulnerabilities based on specific detection rules.
  • SWC Mapping: Links detected issues to the relevant Smart Contract Weakness Classification (SWC) identifier (SWC-104).
  • Use Case: A smart contract developer can use this Skill to proactively audit their code before deployment, ensuring that all critical external interactions are handled safely and robustly.

Quick Start

Audit the provided Solidity contract for unchecked return values in low-level calls.

Dependency Matrix

Required Modules

None required

Components

references

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: unchecked-return-values
Download link: https://github.com/Apegurus/solidity-argus/archive/main.zip#unchecked-return-values

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.