mythril/multi_contracts.sol at check-delegatecall-after - mythril - CipherLabs Git Server

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

blockchain ethereum smart-contracts solidity security program-analysis security-analysis symbolic-execution

16 lines

228 B

Raw Permalink Blame History

 pragma solidity 0.5.0;
 contract Transfer1 {
     function transfer() public {
         msg.sender.transfer(1 ether);
     }
 }
 contract Transfer2 {
     function transfer() public {
         msg.sender.transfer(2 ether);
     }
 }