Audit Date: July 2025 Test Scenarios: 5,000+ contract execution flows
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.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| pragma solidity >=0.4.22 <0.7.0; | |
| /** | |
| * @title Storage | |
| * @dev Store & retrieve value in a variable | |
| */ | |
| contract Storage { | |
| uint256 number; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /** 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"; |
NewerOlder