Skip to content

Instantly share code, notes, and snippets.

@muellerberndt

muellerberndt/mythx feb22

Created February 22, 2019 14:32
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save muellerberndt/5842e378232d80b408f8470db8683240 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save muellerberndt/5842e378232d80b408f8470db8683240 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
mythx feb22
$ truffle run verify
Caller |******************* | 24% || Elapsed: 73.1s ✗ error
BasicToken |********************************************************************************| 100% || Elapsed: 75.8s ✓ completed
ERC20 |********************************************************************************| 100% || Elapsed: 34.5s ✓ completed
BecToken |********************************************************************************| 100% || Elapsed: 78.3s ✓ completed
ERC20Basic |********************************************************************************| 100% || Elapsed: 30.9s ✓ completed
EtherStore |******************* | 23% || Elapsed: 70.8s ✗ error
Exceptions |******************* | 23% || Elapsed: 71.9s ✗ error
HashForEther |******************** | 25% || Elapsed: 75.6s ✗ error
Origin |******************** | 24% || Elapsed: 74.1s ✗ error
Ownable |********************************************************************************| 100% || Elapsed: 73.8s ✓ completed
Pausable |********************************************************************************| 100% || Elapsed: 75.8s ✓ completed
ReturnValue |******************* | 23% || Elapsed: 71.3s ✗ error
PausableToken |********************************************************************************| 100% || Elapsed: 75.7s ✓ completed
Rubixi |******************* | 24% || Elapsed: 73.4s ✗ error
SafeMath |********************************************************************************| 100% || Elapsed: 77.5s ✓ completed
SimpleDAO |******************* | 24% || Elapsed: 72.6s ✗ error
StandardToken |********************************************************************************| 100% || Elapsed: 75.7s ✓ completed
Suicide |****************** | 22% || Elapsed: 69.4s ✗ error
TimeLock |****************** | 23% || Elapsed: 69.4s ✗ error
Token |******************* | 23% || Elapsed: 71.3s ✗ error
WeakRandom |********************************************************************************| 100% || Elapsed: 73.8s ✓ completed
/Users/bernhardmueller/Projects/MythXTest/contracts/BECToken.sol
1:0 warning A floating pragma is set SWC-103
5:15 error The binary addition can overflow SWC-101
5:29 error The binary multiplication can overflow SWC-101
52:30 warning The state variable visibility is not set SWC-108
/weak_random.sol
1:0 warning A floating pragma is set SWC-103
✖ 5 problems (2 errors, 3 warnings)
Internal MythX errors encountered:
Analysis failed
Analysis failed
Analysis failed
Analysis failed
Analysis failed
Analysis failed
Analysis failed
Analysis failed
Analysis failed
Analysis failed
Analysis failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment