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.
4047 Commits
97 Branches
171 Tags
59 MiB
 
 
 
 
 
 
Tag: Branch: Tree: fix/constraints-after-issues
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'fix/constraints-after-issues'
${ noResults }
mythril/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations
History
Nikhil Parasaram f02eaa8cd6
Fix the Add randomTests, SystemOpsTests and IOandFlowTests 		6 years ago
..
BlockNumberDynamicJump0_AfterJumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJump0_AfterJumpdest3.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJump0_foreverOutOfGas.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJump0_jumpdest0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJump0_jumpdest2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJump0_withoutJumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJump1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJumpInsidePushWithJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJumpInsidePushWithoutJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJumpi0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJumpi1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJumpi1_jumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJumpiAfterStop.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJumpiOutsideBoundary.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJumpifInsidePushWithJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
BlockNumberDynamicJumpifInsidePushWithoutJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DyanmicJump0_outOfBoundary.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump0_AfterJumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump0_AfterJumpdest3.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump0_foreverOutOfGas.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump0_jumpdest0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump0_jumpdest2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump0_withoutJumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpAfterStop.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpInsidePushWithJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpInsidePushWithoutJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpJD_DependsOnJumps0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpJD_DependsOnJumps1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpPathologicalTest0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpPathologicalTest1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpPathologicalTest2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpPathologicalTest3.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpStartWithJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump_value1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump_value2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump_value3.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJump_valueUnderflow.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpi0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpi1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpi1_jumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpiAfterStop.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpiOutsideBoundary.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpifInsidePushWithJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
DynamicJumpifInsidePushWithoutJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJump0_AfterJumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJump0_AfterJumpdest3.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJump0_foreverOutOfGas.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJump0_jumpdest0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJump0_jumpdest2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJump0_withoutJumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJump1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJumpInsidePushWithJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJumpInsidePushWithoutJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJumpi0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJumpi1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJumpi1_jumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJumpiAfterStop.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJumpiOutsideBoundary.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJumpifInsidePushWithJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
JDfromStorageDynamicJumpifInsidePushWithoutJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
bad_indirect_jump1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
bad_indirect_jump2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
byte1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
calldatacopyMemExp.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
codecopyMemExp.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
deadCode_1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
dupAt51becameMload.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
for_loop1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
for_loop2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
gas0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
gas1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
gasOverFlow.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
indirect_jump1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
indirect_jump2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
indirect_jump3.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
indirect_jump4.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jump0_AfterJumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jump0_AfterJumpdest3.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jump0_foreverOutOfGas.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jump0_jumpdest0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jump0_jumpdest2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jump0_outOfBoundary.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jump0_withoutJumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jump1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpAfterStop.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpDynamicJumpSameDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpHigh.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpInsidePushWithJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpInsidePushWithoutJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpOntoJump.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpTo1InstructionafterJump.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpTo1InstructionafterJump_jumpdestFirstInstruction.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpTo1InstructionafterJump_noJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpToUint64maxPlus1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpToUintmaxPlus1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpdestBigList.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpi0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpi1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpi1_jumpdest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpiAfterStop.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpiOutsideBoundary.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpiToUint64maxPlus1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpiToUintmaxPlus1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpi_at_the_end.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpifInsidePushWithJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
jumpifInsidePushWithoutJumpDest.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
kv1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
log1MemExp.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
loop_stacklimit_1020.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
loop_stacklimit_1021.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
memory1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mloadError0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mloadError1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mloadMemExp.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mloadOutOfGasError2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
msize0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
msize1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
msize2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
msize3.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mstore0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mstore1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mstore8MemExp.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mstore8WordToBigError.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mstore8_0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mstore8_1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mstoreMemExp.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mstoreWordToBigError.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
mstore_mload0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
pc0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
pc1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
pop0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
pop1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
return1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
return2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
sha3MemExp.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
sstore_load_0.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
sstore_load_1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
sstore_load_2.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
sstore_underflow.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
stack_loop.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
stackjump1.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
swapAt52becameMstore.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
when.json Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago