Skip to content

Instantly share code, notes, and snippets.

View cNoveron's full-sized avatar
🎯
Focusing

Carlos Noverón cNoveron

🎯
Focusing
View GitHub Profile

Smart Contract Security Audit Report

Sol-Vault Protocol - Critical Vulnerabilities Found

Audit Date: July 2025 Test Scenarios: 5,000+ contract execution flows


Executive Summary

Overflow and Underflow Analysis for Vault State Variables

Overview

This document analyzes all state variables in the vault program for potential overflow and underflow vulnerabilities. The analysis covers the Vault account, UserAccount account, and related data structures.

State Variable Analysis

1. Vault Account State Variables

@cNoveron
cNoveron / 1_Storage.sol
Created October 21, 2020 06:45
Created using remix-ide: Realtime Ethereum Contract Compiler and Runtime. Load this file by pasting this gists URL or ID at https://remix.ethereum.org/#version=soljson-v0.6.6+commit.6c089d02.js&optimize=false&gist=
pragma solidity >=0.4.22 <0.7.0;
/**
* @title Storage
* @dev Store & retrieve value in a variable
*/
contract Storage {
uint256 number;
@cNoveron
cNoveron / ChainlinkTest.sol
Created September 21, 2020 03:58
Created using remix-ide: Realtime Ethereum Contract Compiler and Runtime. Load this file by pasting this gists URL or ID at https://remix.ethereum.org/#version=soljson-v0.6.0+commit.26b70077.js&optimize=false&gist=
/** This example code is designed to quickly deploy an example contract using Remix.
* If you have never used Remix, try our example walkthrough: https://docs.chain.link/docs/example-walkthrough
* You will need testnet ETH and LINK.
* - Ropsten ETH faucet: https://faucet.ropsten.be/
* - Ropsten LINK faucet: https://ropsten.chain.link/
*/
pragma solidity ^0.6.0;
import "https://github.com/smartcontractkit/chainlink/evm-contracts/src/v0.6/ChainlinkClient.sol";