Spaces:
Sleeping
Sleeping
Arshit-Verma
feat: Complete SolidityGuard v2.0 with exploit proofs, auto-fix suggestions, multi-agent verification, and advanced reporting
5de1250 Download data/samples/task1/missing_events.sol from tanaymitra01/solidityguard-openenv: direct link, hf CLI and curl.
- Browser
- Download file 653 Bytes
-
https://huggingface.co/spaces/tanaymitra01/solidityguard-openenv/resolve/main/data/samples/task1/missing_events.sol
- Command line
-
hf download hf://spaces/tanaymitra01/solidityguard-openenv/data/samples/task1/missing_events.sol
-
curl -L -o missing_events.sol https://huggingface.co/spaces/tanaymitra01/solidityguard-openenv/resolve/main/data/samples/task1/missing_events.sol
653 Bytes
| pragma solidity ^0.8.19; | |
| interface IERC20 { | |
| function transfer(address to, uint256 amount) external returns (bool); | |
| } | |
| contract NoEvents { | |
| address public owner; | |
| uint256 public totalSupply; | |
| constructor() { | |
| owner = msg.sender; | |
| totalSupply = 1000000; | |
| } | |
| function updateSupply(uint256 newSupply) external { | |
| require(msg.sender == owner, "Not owner"); | |
| totalSupply = newSupply; | |
| // Missing event emission | |
| } | |
| function changeOwner(address newOwner) external { | |
| require(msg.sender == owner, "Not owner"); | |
| owner = newOwner; | |
| // Missing event emission | |
| } | |
| } |