TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
3003 Commits
97 Branches
171 Tags
59 MiB
 
 
 
 
 
 
Tag: Branch: Tree: pr/894
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'pr/894'
${ noResults }
mythril/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest
History
Dominik Muhs 1fdd07a254
Add gas simulation to LASER (#660) 		6 years ago
..
dup1.json Add tests directory 6 years ago
dup2.json Add tests directory 6 years ago
dup2error.json Add tests directory 6 years ago
dup3.json Add tests directory 6 years ago
dup4.json Add tests directory 6 years ago
dup5.json Add tests directory 6 years ago
dup6.json Add tests directory 6 years ago
dup7.json Add tests directory 6 years ago
dup8.json Add tests directory 6 years ago
dup9.json Add tests directory 6 years ago
dup10.json Add tests directory 6 years ago
dup11.json Add tests directory 6 years ago
dup12.json Add tests directory 6 years ago
dup13.json Add tests directory 6 years ago
dup14.json Add tests directory 6 years ago
dup15.json Add tests directory 6 years ago
dup16.json Add tests directory 6 years ago
push1.json Add tests directory 6 years ago
push1_missingStack.json Add tests directory 6 years ago
push2.json Add tests directory 6 years ago
push3.json Add tests directory 6 years ago
push4.json Add tests directory 6 years ago
push5.json Add tests directory 6 years ago
push6.json Add tests directory 6 years ago
push7.json Add tests directory 6 years ago
push8.json Add tests directory 6 years ago
push9.json Add tests directory 6 years ago
push10.json Add tests directory 6 years ago
push11.json Add tests directory 6 years ago
push12.json Add tests directory 6 years ago
push13.json Add tests directory 6 years ago
push14.json Add tests directory 6 years ago
push15.json Add tests directory 6 years ago
push16.json Add tests directory 6 years ago
push17.json Add tests directory 6 years ago
push18.json Add tests directory 6 years ago
push19.json Add tests directory 6 years ago
push20.json Add tests directory 6 years ago
push21.json Add tests directory 6 years ago
push22.json Add tests directory 6 years ago
push23.json Add tests directory 6 years ago
push24.json Add tests directory 6 years ago
push25.json Add tests directory 6 years ago
push26.json Add tests directory 6 years ago
push27.json Add tests directory 6 years ago
push28.json Add tests directory 6 years ago
push29.json Add tests directory 6 years ago
push30.json Add tests directory 6 years ago
push31.json Add tests directory 6 years ago
push32.json Add tests directory 6 years ago
push32AndSuicide.json Add tests directory 6 years ago
push32FillUpInputWithZerosAtTheEnd.json Add tests directory 6 years ago
push32Undefined.json Add tests directory 6 years ago
push32Undefined2.json Add tests directory 6 years ago
push32Undefined3.json Add tests directory 6 years ago
push33.json Add gas simulation to LASER (#660) 6 years ago
swap1.json Add tests directory 6 years ago
swap2.json Add tests directory 6 years ago
swap2error.json Add tests directory 6 years ago
swap3.json Add tests directory 6 years ago
swap4.json Add tests directory 6 years ago
swap5.json Add tests directory 6 years ago
swap6.json Add tests directory 6 years ago
swap7.json Add tests directory 6 years ago
swap8.json Add tests directory 6 years ago
swap9.json Add tests directory 6 years ago
swap10.json Add tests directory 6 years ago
swap11.json Add tests directory 6 years ago
swap12.json Add tests directory 6 years ago
swap13.json Add tests directory 6 years ago
swap14.json Add tests directory 6 years ago
swap15.json Add tests directory 6 years ago
swap16.json Add tests directory 6 years ago
swapjump1.json Add tests directory 6 years ago