019b3836-490f-7288-bb1f-08e8e72cd9b5
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 6547 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 6548 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 49912 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 49913 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 49914 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 49915 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00b9 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x16ece9db 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00bb 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x1982ed58 00000025: EQ 00000026: PUSH2 0x018f 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x31a73991 00000030: EQ 00000031: PUSH2 0x01c9 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x50b34d12 0000003b: EQ 0000003c: PUSH2 0x0215 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x5f52e9fd 00000046: EQ 00000047: PUSH2 0x021e 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x6169a7ed 00000051: EQ 00000052: PUSH2 0x0250 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x79799193 0000005c: EQ 0000005d: PUSH2 0x0259 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x7e7307c5 00000067: EQ 00000068: PUSH2 0x0262 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8fe58eb9 00000072: EQ 00000073: PUSH2 0x0276 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x97ca0a9f 0000007d: EQ 0000007e: PUSH2 0x0318 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x9894221a 00000088: EQ 00000089: PUSH2 0x033b 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xa9fb4385 00000093: EQ 00000094: PUSH2 0x0348 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xd3c65384 0000009e: EQ 0000009f: PUSH2 0x03bc 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xeb18703f 000000a9: EQ 000000aa: PUSH2 0x03c5 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xede92296 000000b4: EQ 000000b5: PUSH2 0x03fa 000000b8: JUMPI 000000b9: JUMPDEST 000000ba: STOP 000000bb: JUMPDEST 000000bc: PUSH1 0x04 000000be: DUP1 000000bf: CALLDATALOAD 000000c0: PUSH2 0xffff 000000c3: SWAP1 000000c4: DUP2 000000c5: AND 000000c6: PUSH1 0x00 000000c8: DUP2 000000c9: DUP2 000000ca: MSTORE 000000cb: PUSH1 0x09 000000cd: PUSH1 0x20 000000cf: DUP2 000000d0: DUP2 000000d1: MSTORE 000000d2: PUSH1 0x40 000000d4: DUP1 000000d5: DUP5 000000d6: KECCAK256 000000d7: PUSH1 0x24 000000d9: CALLDATALOAD 000000da: DUP8 000000db: AND 000000dc: DUP6 000000dd: MSTORE 000000de: PUSH1 0x01 000000e0: DUP2 000000e1: DUP2 000000e2: ADD 000000e3: DUP5 000000e4: MSTORE 000000e5: DUP3 000000e6: DUP7 000000e7: KECCAK256 000000e8: DUP1 000000e9: SLOAD 000000ea: SWAP10 000000eb: DUP2 000000ec: ADD 000000ed: SLOAD 000000ee: PUSH1 0x05 000000f0: DUP3 000000f1: ADD 000000f2: SLOAD 000000f3: SWAP3 000000f4: DUP3 000000f5: ADD 000000f6: SLOAD 000000f7: PUSH1 0x02 000000f9: DUP4 000000fa: ADD 000000fb: SLOAD 000000fc: PUSH1 0x03 000000fe: DUP5 000000ff: ADD 00000100: SLOAD 00000101: PUSH1 0x06 00000103: DUP6 00000104: ADD 00000105: SLOAD 00000106: PUSH1 0x07 00000108: DUP7 00000109: ADD 0000010a: SLOAD 0000010b: SWAP6 0000010c: DUP12 0000010d: ADD 0000010e: SLOAD 0000010f: SWAP13 00000110: SWAP1 00000111: SWAP12 00000112: MSTORE 00000113: SWAP9 00000114: DUP9 00000115: MSTORE 00000116: DUP7 00000117: MLOAD 00000118: SWAP6 00000119: SLOAD 0000011a: SWAP13 0000011b: DUP7 0000011c: MSTORE 0000011d: SWAP7 0000011e: DUP6 0000011f: ADD 00000120: MSTORE 00000121: SWAP5 00000122: SWAP1 00000123: SWAP9 00000124: AND 00000125: DUP3 00000126: DUP5 00000127: ADD 00000128: MSTORE 00000129: PUSH1 0x60 0000012b: DUP3 0000012c: ADD 0000012d: SWAP5 0000012e: SWAP1 0000012f: SWAP5 00000130: MSTORE 00000131: PUSH1 0xff 00000133: SWAP3 00000134: DUP4 00000135: AND 00000136: ISZERO 00000137: ISZERO 00000138: PUSH1 0x80 0000013a: DUP3 0000013b: ADD 0000013c: MSTORE 0000013d: PUSH1 0xa0 0000013f: DUP2 00000140: ADD 00000141: SWAP4 00000142: SWAP1 00000143: SWAP4 00000144: MSTORE 00000145: PUSH1 0xc0 00000147: DUP4 00000148: ADD 00000149: SWAP4 0000014a: SWAP1 0000014b: SWAP4 0000014c: MSTORE 0000014d: PUSH1 0xe0 0000014f: DUP3 00000150: ADD 00000151: SWAP5 00000152: SWAP1 00000153: SWAP5 00000154: MSTORE 00000155: DUP3 00000156: DUP5 00000157: AND 00000158: ISZERO 00000159: ISZERO 0000015a: PUSH2 0x0100 0000015d: DUP3 0000015e: DUP2 0000015f: ADD 00000160: SWAP2 00000161: SWAP1 00000162: SWAP2 00000163: MSTORE 00000164: SWAP1 00000165: SWAP3 00000166: DIV 00000167: SWAP1 00000168: SWAP3 00000169: AND 0000016a: ISZERO 0000016b: ISZERO 0000016c: PUSH2 0x0120 0000016f: DUP3 00000170: ADD 00000171: MSTORE 00000172: PUSH1 0x01 00000174: PUSH1 0xa0 00000176: PUSH1 0x02 00000178: EXP 00000179: SUB 0000017a: SWAP3 0000017b: SWAP1 0000017c: SWAP3 0000017d: AND 0000017e: PUSH2 0x0140 00000181: DUP4 00000182: ADD 00000183: MSTORE 00000184: MLOAD 00000185: SWAP1 00000186: DUP2 00000187: SWAP1 00000188: SUB 00000189: PUSH2 0x0160 0000018c: ADD 0000018d: SWAP1 0000018e: RETURN 0000018f: JUMPDEST 00000190: PUSH2 0x00b9 00000193: PUSH1 0x04 00000195: CALLDATALOAD 00000196: PUSH1 0x24 00000198: CALLDATALOAD 00000199: PUSH1 0x44 0000019b: CALLDATALOAD 0000019c: PUSH2 0xffff 0000019f: DUP3 000001a0: AND 000001a1: PUSH1 0x00 000001a3: SWAP1 000001a4: DUP2 000001a5: MSTORE 000001a6: PUSH1 0x09 000001a8: PUSH1 0x20 000001aa: MSTORE 000001ab: PUSH1 0x40 000001ad: SWAP1 000001ae: KECCAK256 000001af: SLOAD 000001b0: PUSH1 0x01 000001b2: PUSH1 0xa0 000001b4: PUSH1 0x02 000001b6: EXP 000001b7: SUB 000001b8: SWAP1 000001b9: DUP2 000001ba: AND 000001bb: CALLER 000001bc: SWAP2 000001bd: SWAP1 000001be: SWAP2 000001bf: AND 000001c0: EQ 000001c1: PUSH2 0x048b 000001c4: JUMPI 000001c5: PUSH2 0x0486 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH2 0x043b 000001cd: PUSH1 0x04 000001cf: CALLDATALOAD 000001d0: JUMPDEST 000001d1: PUSH1 0x00 000001d3: DUP1 000001d4: JUMPDEST 000001d5: PUSH1 0x08 000001d7: SLOAD 000001d8: PUSH2 0xffff 000001db: SWAP1 000001dc: DUP2 000001dd: AND 000001de: SWAP1 000001df: DUP3 000001e0: AND 000001e1: LT 000001e2: ISZERO 000001e3: PUSH2 0x04dc 000001e6: JUMPI 000001e7: PUSH2 0xffff 000001ea: DUP2 000001eb: AND 000001ec: PUSH1 0x00 000001ee: SWAP1 000001ef: DUP2 000001f0: MSTORE 000001f1: PUSH1 0x09 000001f3: PUSH1 0x20 000001f5: MSTORE 000001f6: PUSH1 0x40 000001f8: SWAP1 000001f9: KECCAK256 000001fa: SLOAD 000001fb: PUSH1 0x01 000001fd: PUSH1 0xa0 000001ff: PUSH1 0x02 00000201: EXP 00000202: SUB 00000203: DUP5 00000204: DUP2 00000205: AND 00000206: SWAP2 00000207: AND 00000208: EQ 00000209: ISZERO 0000020a: PUSH2 0x04e8 0000020d: JUMPI 0000020e: DUP1 0000020f: SWAP2 00000210: POP 00000211: PUSH2 0x04e2 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH2 0x0429 00000219: PUSH1 0x05 0000021b: SLOAD 0000021c: DUP2 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH2 0x00b9 00000222: PUSH1 0x04 00000224: CALLDATALOAD 00000225: PUSH1 0x00 00000227: SLOAD 00000228: PUSH1 0x01 0000022a: PUSH1 0xa0 0000022c: PUSH1 0x02 0000022e: EXP 0000022f: SUB 00000230: SWAP1 00000231: DUP2 00000232: AND 00000233: CALLER 00000234: SWAP2 00000235: SWAP1 00000236: SWAP2 00000237: AND 00000238: EQ 00000239: ISZERO 0000023a: DUP1 0000023b: PUSH2 0x0246 0000023e: JUMPI 0000023f: POP 00000240: PUSH1 0x06 00000242: SLOAD 00000243: DUP2 00000244: SWAP1 00000245: LT 00000246: JUMPDEST 00000247: ISZERO 00000248: PUSH2 0x04f0 0000024b: JUMPI 0000024c: PUSH2 0x0515 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH2 0x0429 00000254: PUSH1 0x06 00000256: SLOAD 00000257: DUP2 00000258: JUMP 00000259: JUMPDEST 0000025a: PUSH2 0x0429 0000025d: PUSH1 0x07 0000025f: SLOAD 00000260: DUP2 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH2 0x00b9 00000266: PUSH1 0x04 00000268: CALLDATALOAD 00000269: PUSH1 0x24 0000026b: CALLDATALOAD 0000026c: PUSH2 0x0518 0000026f: DUP3 00000270: DUP3 00000271: CALLER 00000272: PUSH2 0x0355 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH1 0x06 00000279: SLOAD 0000027a: PUSH1 0x07 0000027c: SLOAD 0000027d: PUSH2 0x00b9 00000280: SWAP2 00000281: ADDRESS 00000282: PUSH1 0x01 00000284: PUSH1 0xa0 00000286: PUSH1 0x02 00000288: EXP 00000289: SUB 0000028a: AND 0000028b: BALANCE 0000028c: SUB 0000028d: SUB 0000028e: PUSH1 0x00 00000290: DUP1 00000291: DUP1 00000292: DUP1 00000293: DUP1 00000294: DUP1 00000295: JUMPDEST 00000296: PUSH1 0x08 00000298: SLOAD 00000299: PUSH2 0xffff 0000029c: SWAP1 0000029d: DUP2 0000029e: AND 0000029f: SWAP1 000002a0: DUP7 000002a1: AND 000002a2: LT 000002a3: ISZERO 000002a4: PUSH2 0x051c 000002a7: JUMPI 000002a8: PUSH1 0x00 000002aa: SWAP4 000002ab: POP 000002ac: JUMPDEST 000002ad: PUSH2 0xffff 000002b0: DUP6 000002b1: DUP2 000002b2: AND 000002b3: PUSH1 0x00 000002b5: SWAP1 000002b6: DUP2 000002b7: MSTORE 000002b8: PUSH1 0x09 000002ba: PUSH1 0x20 000002bc: MSTORE 000002bd: PUSH1 0x40 000002bf: SWAP1 000002c0: KECCAK256 000002c1: SLOAD 000002c2: PUSH1 0xa0 000002c4: PUSH1 0x02 000002c6: EXP 000002c7: SWAP1 000002c8: DIV 000002c9: DUP2 000002ca: AND 000002cb: SWAP1 000002cc: DUP6 000002cd: AND 000002ce: LT 000002cf: ISZERO 000002d0: PUSH2 0x0552 000002d3: JUMPI 000002d4: PUSH1 0x40 000002d6: PUSH1 0x00 000002d8: DUP2 000002d9: DUP2 000002da: KECCAK256 000002db: PUSH2 0xffff 000002de: DUP8 000002df: AND 000002e0: DUP3 000002e1: MSTORE 000002e2: PUSH1 0x01 000002e4: ADD 000002e5: PUSH1 0x20 000002e7: MSTORE 000002e8: KECCAK256 000002e9: PUSH1 0x09 000002eb: DUP2 000002ec: ADD 000002ed: SLOAD 000002ee: SWAP1 000002ef: SWAP4 000002f0: POP 000002f1: PUSH2 0x0100 000002f4: SWAP1 000002f5: DIV 000002f6: PUSH1 0xff 000002f8: AND 000002f9: DUP1 000002fa: PUSH2 0x030e 000002fd: JUMPI 000002fe: POP 000002ff: PUSH3 0x015180 00000303: DUP4 00000304: PUSH1 0x06 00000306: ADD 00000307: PUSH1 0x00 00000309: POP 0000030a: SLOAD 0000030b: TIMESTAMP 0000030c: SUB 0000030d: LT 0000030e: JUMPDEST 0000030f: ISZERO 00000310: PUSH2 0x055e 00000313: JUMPI 00000314: PUSH2 0x0827 00000317: JUMP 00000318: JUMPDEST 00000319: PUSH2 0x00b9 0000031c: PUSH1 0x04 0000031e: CALLDATALOAD 0000031f: PUSH1 0x01 00000321: SLOAD 00000322: PUSH1 0x01 00000324: PUSH1 0xa0 00000326: PUSH1 0x02 00000328: EXP 00000329: SUB 0000032a: SWAP1 0000032b: DUP2 0000032c: AND 0000032d: CALLER 0000032e: SWAP2 0000032f: SWAP1 00000330: SWAP2 00000331: AND 00000332: EQ 00000333: PUSH2 0x0aa3 00000336: JUMPI 00000337: PUSH2 0x0515 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH2 0x00b9 0000033f: PUSH1 0x06 00000341: DUP1 00000342: SLOAD 00000343: CALLVALUE 00000344: ADD 00000345: SWAP1 00000346: SSTORE 00000347: JUMP 00000348: JUMPDEST 00000349: PUSH2 0x00b9 0000034c: PUSH1 0x04 0000034e: CALLDATALOAD 0000034f: PUSH1 0x24 00000351: CALLDATALOAD 00000352: PUSH1 0x44 00000354: CALLDATALOAD 00000355: JUMPDEST 00000356: PUSH1 0x00 00000358: PUSH1 0x00 0000035a: CALLVALUE 0000035b: PUSH1 0x00 0000035d: EQ 0000035e: DUP1 0000035f: PUSH2 0x036b 00000362: JUMPI 00000363: POP 00000364: PUSH1 0x64 00000366: DUP5 00000367: PUSH1 0xff 00000369: AND 0000036a: GT 0000036b: JUMPDEST 0000036c: DUP1 0000036d: PUSH2 0x037d 00000370: JUMPI 00000371: POP 00000372: PUSH1 0x04 00000374: SLOAD 00000375: PUSH1 0x05 00000377: SLOAD 00000378: CALLVALUE 00000379: SWAP1 0000037a: SWAP2 0000037b: ADD 0000037c: GT 0000037d: JUMPDEST 0000037e: DUP1 0000037f: PUSH2 0x0391 00000382: JUMPI 00000383: POP 00000384: PUSH1 0x02 00000386: SLOAD 00000387: PUSH1 0xa0 00000389: PUSH1 0x02 0000038b: EXP 0000038c: SWAP1 0000038d: DIV 0000038e: PUSH1 0xff 00000390: AND 00000391: JUMPDEST 00000392: ISZERO 00000393: PUSH2 0x0af1 00000396: JUMPI 00000397: PUSH1 0x40 00000399: MLOAD 0000039a: PUSH1 0x01 0000039c: PUSH1 0xa0 0000039e: PUSH1 0x02 000003a0: EXP 000003a1: SUB 000003a2: DUP5 000003a3: AND 000003a4: SWAP1 000003a5: PUSH1 0x00 000003a7: SWAP1 000003a8: CALLVALUE 000003a9: SWAP1 000003aa: DUP3 000003ab: DUP2 000003ac: DUP2 000003ad: DUP2 000003ae: DUP6 000003af: DUP9 000003b0: DUP4 000003b1: CALL 000003b2: SWAP4 000003b3: POP 000003b4: POP 000003b5: POP 000003b6: POP 000003b7: POP 000003b8: PUSH2 0x0aea 000003bb: JUMP 000003bc: JUMPDEST 000003bd: PUSH2 0x0429 000003c0: PUSH1 0x04 000003c2: SLOAD 000003c3: DUP2 000003c4: JUMP 000003c5: JUMPDEST 000003c6: PUSH2 0x00b9 000003c9: PUSH1 0x04 000003cb: CALLDATALOAD 000003cc: PUSH1 0x24 000003ce: CALLDATALOAD 000003cf: PUSH1 0x44 000003d1: CALLDATALOAD 000003d2: PUSH1 0x64 000003d4: CALLDATALOAD 000003d5: PUSH1 0x84 000003d7: CALLDATALOAD 000003d8: PUSH1 0xa4 000003da: CALLDATALOAD 000003db: PUSH1 0xc4 000003dd: CALLDATALOAD 000003de: PUSH1 0x00 000003e0: SLOAD 000003e1: PUSH1 0x01 000003e3: PUSH1 0xa0 000003e5: PUSH1 0x02 000003e7: EXP 000003e8: SUB 000003e9: SWAP1 000003ea: DUP2 000003eb: AND 000003ec: CALLER 000003ed: SWAP2 000003ee: SWAP1 000003ef: SWAP2 000003f0: AND 000003f1: EQ 000003f2: PUSH2 0x0afa 000003f5: JUMPI 000003f6: PUSH2 0x0549 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH2 0xffff 000003fe: PUSH1 0x04 00000400: CALLDATALOAD 00000401: DUP2 00000402: AND 00000403: PUSH1 0x00 00000405: SWAP1 00000406: DUP2 00000407: MSTORE 00000408: PUSH1 0x09 0000040a: PUSH1 0x20 0000040c: SWAP1 0000040d: DUP2 0000040e: MSTORE 0000040f: PUSH1 0x40 00000411: DUP1 00000412: DUP4 00000413: KECCAK256 00000414: PUSH1 0x24 00000416: CALLDATALOAD 00000417: SWAP5 00000418: SWAP1 00000419: SWAP5 0000041a: AND 0000041b: DUP4 0000041c: MSTORE 0000041d: PUSH1 0x01 0000041f: SWAP1 00000420: SWAP4 00000421: ADD 00000422: SWAP1 00000423: MSTORE 00000424: KECCAK256 00000425: PUSH1 0x08 00000427: ADD 00000428: SLOAD 00000429: JUMPDEST 0000042a: PUSH1 0x40 0000042c: DUP1 0000042d: MLOAD 0000042e: SWAP2 0000042f: DUP3 00000430: MSTORE 00000431: MLOAD 00000432: SWAP1 00000433: DUP2 00000434: SWAP1 00000435: SUB 00000436: PUSH1 0x20 00000438: ADD 00000439: SWAP1 0000043a: RETURN 0000043b: JUMPDEST 0000043c: PUSH1 0x40 0000043e: DUP1 0000043f: MLOAD 00000440: PUSH2 0xffff 00000443: SWAP3 00000444: SWAP1 00000445: SWAP3 00000446: AND 00000447: DUP3 00000448: MSTORE 00000449: MLOAD 0000044a: SWAP1 0000044b: DUP2 0000044c: SWAP1 0000044d: SUB 0000044e: PUSH1 0x20 00000450: ADD 00000451: SWAP1 00000452: RETURN 00000453: JUMPDEST 00000454: PUSH2 0xffff 00000457: DUP3 00000458: DUP2 00000459: AND 0000045a: PUSH1 0x00 0000045c: SWAP1 0000045d: DUP2 0000045e: MSTORE 0000045f: PUSH1 0x09 00000461: PUSH1 0x20 00000463: SWAP1 00000464: DUP2 00000465: MSTORE 00000466: PUSH1 0x40 00000468: DUP1 00000469: DUP4 0000046a: KECCAK256 0000046b: SWAP4 0000046c: DUP6 0000046d: AND 0000046e: DUP4 0000046f: MSTORE 00000470: PUSH1 0x01 00000472: SWAP4 00000473: SWAP1 00000474: SWAP4 00000475: ADD 00000476: SWAP1 00000477: MSTORE 00000478: KECCAK256 00000479: PUSH1 0x04 0000047b: ADD 0000047c: DUP1 0000047d: SLOAD 0000047e: PUSH1 0xff 00000480: NOT 00000481: AND 00000482: DUP5 00000483: OR 00000484: SWAP1 00000485: SSTORE 00000486: JUMPDEST 00000487: POP 00000488: POP 00000489: POP 0000048a: JUMP 0000048b: JUMPDEST 0000048c: DUP3 0000048d: ISZERO 0000048e: ISZERO 0000048f: PUSH1 0x00 00000491: EQ 00000492: DUP1 00000493: ISZERO 00000494: PUSH2 0x04d2 00000497: JUMPI 00000498: POP 00000499: PUSH2 0xffff 0000049c: DUP3 0000049d: DUP2 0000049e: AND 0000049f: PUSH1 0x00 000004a1: SWAP1 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x09 000004a6: PUSH1 0x20 000004a8: SWAP1 000004a9: DUP2 000004aa: MSTORE 000004ab: PUSH1 0x40 000004ad: DUP1 000004ae: DUP4 000004af: KECCAK256 000004b0: SWAP4 000004b1: DUP6 000004b2: AND 000004b3: DUP4 000004b4: MSTORE 000004b5: PUSH1 0x01 000004b7: SWAP4 000004b8: SWAP1 000004b9: SWAP4 000004ba: ADD 000004bb: SWAP1 000004bc: MSTORE 000004bd: KECCAK256 000004be: PUSH1 0x05 000004c0: ADD 000004c1: SLOAD 000004c2: PUSH1 0x14 000004c4: PUSH3 0x015180 000004c8: TIMESTAMP 000004c9: SWAP3 000004ca: SWAP1 000004cb: SWAP3 000004cc: SUB 000004cd: SWAP2 000004ce: SWAP1 000004cf: SWAP2 000004d0: DIV 000004d1: GT 000004d2: JUMPDEST 000004d3: ISZERO 000004d4: PUSH2 0x0453 000004d7: JUMPI 000004d8: PUSH2 0x0486 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH2 0xffff 000004e0: SWAP2 000004e1: POP 000004e2: JUMPDEST 000004e3: POP 000004e4: SWAP2 000004e5: SWAP1 000004e6: POP 000004e7: JUMP 000004e8: JUMPDEST 000004e9: PUSH1 0x01 000004eb: ADD 000004ec: PUSH2 0x01d4 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: SLOAD 000004f5: PUSH1 0x40 000004f7: MLOAD 000004f8: PUSH1 0x01 000004fa: PUSH1 0xa0 000004fc: PUSH1 0x02 000004fe: EXP 000004ff: SUB 00000500: SWAP2 00000501: SWAP1 00000502: SWAP2 00000503: AND 00000504: SWAP2 00000505: SWAP1 00000506: DUP4 00000507: SWAP1 00000508: DUP3 00000509: DUP2 0000050a: DUP2 0000050b: DUP2 0000050c: DUP6 0000050d: DUP9 0000050e: DUP4 0000050f: CALL 00000510: POP 00000511: POP 00000512: POP 00000513: POP 00000514: POP 00000515: JUMPDEST 00000516: POP 00000517: JUMP 00000518: JUMPDEST 00000519: POP 0000051a: POP 0000051b: JUMP 0000051c: JUMPDEST 0000051d: DUP6 0000051e: ISZERO 0000051f: ISZERO 00000520: PUSH2 0x0549 00000523: JUMPI 00000524: PUSH1 0x01 00000526: SLOAD 00000527: PUSH1 0x40 00000529: MLOAD 0000052a: PUSH1 0x01 0000052c: PUSH1 0xa0 0000052e: PUSH1 0x02 00000530: EXP 00000531: SUB 00000532: SWAP2 00000533: SWAP1 00000534: SWAP2 00000535: AND 00000536: SWAP1 00000537: PUSH1 0x00 00000539: SWAP1 0000053a: DUP10 0000053b: SWAP1 0000053c: DUP3 0000053d: DUP2 0000053e: DUP2 0000053f: DUP2 00000540: DUP6 00000541: DUP9 00000542: DUP4 00000543: CALL 00000544: POP 00000545: POP 00000546: POP 00000547: POP 00000548: POP 00000549: JUMPDEST 0000054a: POP 0000054b: POP 0000054c: POP 0000054d: POP 0000054e: POP 0000054f: POP 00000550: POP 00000551: JUMP 00000552: JUMPDEST 00000553: PUSH1 0x01 00000555: SWAP5 00000556: SWAP1 00000557: SWAP5 00000558: ADD 00000559: SWAP4 0000055a: PUSH2 0x0295 0000055d: JUMP 0000055e: JUMPDEST 0000055f: PUSH1 0x03 00000561: DUP4 00000562: ADD 00000563: SLOAD 00000564: PUSH1 0x07 00000566: DUP5 00000567: ADD 00000568: SLOAD 00000569: PUSH1 0x1e 0000056b: SWAP2 0000056c: SWAP1 0000056d: SWAP2 0000056e: MUL 0000056f: EQ 00000570: PUSH2 0x061f 00000573: JUMPI 00000574: PUSH3 0x015180 00000578: DUP4 00000579: PUSH1 0x05 0000057b: ADD 0000057c: PUSH1 0x00 0000057e: POP 0000057f: SLOAD 00000580: TIMESTAMP 00000581: SUB 00000582: DIV 00000583: SWAP2 00000584: POP 00000585: PUSH1 0x1e 00000587: DUP3 00000588: PUSH1 0xff 0000058a: AND 0000058b: GT 0000058c: ISZERO 0000058d: PUSH2 0x0595 00000590: JUMPI 00000591: PUSH1 0x1e 00000593: SWAP2 00000594: POP 00000595: JUMPDEST 00000596: POP 00000597: PUSH1 0x03 00000599: DUP3 0000059a: ADD 0000059b: SLOAD 0000059c: PUSH1 0x07 0000059e: DUP4 0000059f: ADD 000005a0: SLOAD 000005a1: PUSH1 0xff 000005a3: DUP4 000005a4: AND 000005a5: SWAP1 000005a6: SWAP2 000005a7: MUL 000005a8: SUB 000005a9: DUP1 000005aa: DUP8 000005ab: LT 000005ac: ISZERO 000005ad: PUSH2 0x05b9 000005b0: JUMPI 000005b1: PUSH1 0x01 000005b3: SWAP6 000005b4: POP 000005b5: PUSH2 0x0618 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH8 0x016345785d8a0000 000005c3: DUP2 000005c4: GT 000005c5: DUP1 000005c6: PUSH2 0x05d2 000005c9: JUMPI 000005ca: POP 000005cb: PUSH1 0x1e 000005cd: DUP3 000005ce: PUSH1 0xff 000005d0: AND 000005d1: EQ 000005d2: JUMPDEST 000005d3: ISZERO 000005d4: PUSH2 0x0618 000005d7: JUMPI 000005d8: PUSH2 0xffff 000005db: DUP6 000005dc: AND 000005dd: PUSH1 0x00 000005df: SWAP1 000005e0: DUP2 000005e1: MSTORE 000005e2: PUSH1 0x09 000005e4: PUSH1 0x20 000005e6: MSTORE 000005e7: PUSH1 0x40 000005e9: DUP1 000005ea: MLOAD 000005eb: SWAP1 000005ec: DUP3 000005ed: KECCAK256 000005ee: SLOAD 000005ef: SWAP9 000005f0: DUP4 000005f1: SWAP1 000005f2: SUB 000005f3: SWAP9 000005f4: PUSH1 0x01 000005f6: PUSH1 0xa0 000005f8: PUSH1 0x02 000005fa: EXP 000005fb: SUB 000005fc: AND 000005fd: SWAP2 000005fe: SWAP1 000005ff: DUP4 00000600: SWAP1 00000601: DUP3 00000602: DUP2 00000603: DUP2 00000604: DUP2 00000605: DUP6 00000606: DUP9 00000607: DUP4 00000608: CALL 00000609: POP 0000060a: POP 0000060b: POP 0000060c: POP 0000060d: PUSH1 0x07 0000060f: DUP5 00000610: ADD 00000611: DUP1 00000612: SLOAD 00000613: DUP4 00000614: ADD 00000615: SWAP1 00000616: SSTORE 00000617: POP 00000618: JUMPDEST 00000619: TIMESTAMP 0000061a: PUSH1 0x06 0000061c: DUP5 0000061d: ADD 0000061e: SSTORE 0000061f: JUMPDEST 00000620: PUSH1 0x05 00000622: DUP4 00000623: ADD 00000624: SLOAD 00000625: PUSH3 0x278d00 00000629: ADD 0000062a: TIMESTAMP 0000062b: GT 0000062c: DUP1 0000062d: ISZERO 0000062e: PUSH2 0x063c 00000631: JUMPI 00000632: POP 00000633: PUSH1 0x08 00000635: DUP4 00000636: ADD 00000637: SLOAD 00000638: PUSH1 0x00 0000063a: EQ 0000063b: ISZERO 0000063c: JUMPDEST 0000063d: ISZERO 0000063e: PUSH2 0x066b 00000641: JUMPI 00000642: PUSH1 0x04 00000644: DUP4 00000645: ADD 00000646: SLOAD 00000647: PUSH1 0xff 00000649: AND 0000064a: ISZERO 0000064b: PUSH2 0x0663 0000064e: JUMPI 0000064f: PUSH1 0x08 00000651: DUP4 00000652: ADD 00000653: SLOAD 00000654: DUP8 00000655: LT 00000656: ISZERO 00000657: PUSH2 0x06c6 0000065a: JUMPI 0000065b: PUSH1 0x01 0000065d: SWAP6 0000065e: POP 0000065f: PUSH2 0x0704 00000662: JUMP 00000663: JUMPDEST 00000664: PUSH1 0x00 00000666: PUSH1 0x08 00000668: DUP5 00000669: ADD 0000066a: SSTORE 0000066b: JUMPDEST 0000066c: PUSH1 0x05 0000066e: DUP4 0000066f: ADD 00000670: SLOAD 00000671: PUSH3 0x278d00 00000675: ADD 00000676: TIMESTAMP 00000677: GT 00000678: DUP1 00000679: ISZERO 0000067a: PUSH2 0x0688 0000067d: JUMPI 0000067e: POP 0000067f: PUSH1 0x09 00000681: DUP4 00000682: ADD 00000683: SLOAD 00000684: PUSH1 0xff 00000686: AND 00000687: ISZERO 00000688: JUMPDEST 00000689: ISZERO 0000068a: PUSH2 0x07df 0000068d: JUMPI 0000068e: PUSH1 0x04 00000690: DUP4 00000691: ADD 00000692: SLOAD 00000693: PUSH1 0xff 00000695: AND 00000696: DUP1 00000697: ISZERO 00000698: PUSH2 0x06ab 0000069b: JUMPI 0000069c: POP 0000069d: PUSH1 0x02 0000069f: SLOAD 000006a0: PUSH1 0xa0 000006a2: PUSH1 0x02 000006a4: EXP 000006a5: SWAP1 000006a6: DIV 000006a7: PUSH1 0xff 000006a9: AND 000006aa: ISZERO 000006ab: JUMPDEST 000006ac: ISZERO 000006ad: PUSH2 0x0709 000006b0: JUMPI 000006b1: DUP3 000006b2: SLOAD 000006b3: PUSH1 0x01 000006b5: DUP5 000006b6: DUP2 000006b7: ADD 000006b8: SLOAD 000006b9: PUSH2 0x0833 000006bc: SWAP3 000006bd: DUP9 000006be: SWAP3 000006bf: SWAP1 000006c0: SWAP2 000006c1: SWAP1 000006c2: PUSH2 0x08b8 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH1 0x08 000006c9: DUP4 000006ca: ADD 000006cb: SLOAD 000006cc: PUSH2 0xffff 000006cf: DUP7 000006d0: AND 000006d1: PUSH1 0x00 000006d3: SWAP1 000006d4: DUP2 000006d5: MSTORE 000006d6: PUSH1 0x09 000006d8: PUSH1 0x20 000006da: MSTORE 000006db: PUSH1 0x40 000006dd: DUP1 000006de: MLOAD 000006df: SWAP1 000006e0: DUP3 000006e1: KECCAK256 000006e2: SLOAD 000006e3: SWAP10 000006e4: DUP4 000006e5: SWAP1 000006e6: SUB 000006e7: SWAP10 000006e8: PUSH1 0x01 000006ea: PUSH1 0xa0 000006ec: PUSH1 0x02 000006ee: EXP 000006ef: SUB 000006f0: AND 000006f1: SWAP3 000006f2: SWAP1 000006f3: DUP3 000006f4: DUP2 000006f5: DUP2 000006f6: DUP2 000006f7: DUP6 000006f8: DUP9 000006f9: DUP4 000006fa: CALL 000006fb: POP 000006fc: POP 000006fd: POP 000006fe: PUSH1 0x08 00000700: DUP6 00000701: ADD 00000702: SSTORE 00000703: POP 00000704: JUMPDEST 00000705: PUSH2 0x066b 00000708: JUMP 00000709: JUMPDEST 0000070a: DUP3 0000070b: SLOAD 0000070c: PUSH1 0x06 0000070e: SLOAD 0000070f: LT 00000710: PUSH2 0x07df 00000713: JUMPI 00000714: DUP3 00000715: PUSH1 0x00 00000717: ADD 00000718: PUSH1 0x00 0000071a: POP 0000071b: SLOAD 0000071c: PUSH1 0x06 0000071e: PUSH1 0x00 00000720: DUP3 00000721: DUP3 00000722: DUP3 00000723: POP 00000724: SLOAD 00000725: SUB 00000726: SWAP3 00000727: POP 00000728: POP 00000729: DUP2 0000072a: SWAP1 0000072b: SSTORE 0000072c: POP 0000072d: DUP3 0000072e: PUSH1 0x01 00000730: ADD 00000731: PUSH1 0x00 00000733: POP 00000734: SLOAD 00000735: PUSH1 0x07 00000737: PUSH1 0x00 00000739: DUP3 0000073a: DUP3 0000073b: DUP3 0000073c: POP 0000073d: SLOAD 0000073e: SUB 0000073f: SWAP3 00000740: POP 00000741: POP 00000742: DUP2 00000743: SWAP1 00000744: SSTORE 00000745: POP 00000746: DUP3 00000747: PUSH1 0x00 00000749: ADD 0000074a: PUSH1 0x00 0000074c: POP 0000074d: SLOAD 0000074e: DUP4 0000074f: PUSH1 0x01 00000751: ADD 00000752: PUSH1 0x00 00000754: POP 00000755: SLOAD 00000756: ADD 00000757: PUSH1 0x04 00000759: PUSH1 0x00 0000075b: DUP3 0000075c: DUP3 0000075d: DUP3 0000075e: POP 0000075f: SLOAD 00000760: SUB 00000761: SWAP3 00000762: POP 00000763: POP 00000764: DUP2 00000765: SWAP1 00000766: SSTORE 00000767: POP 00000768: PUSH1 0x09 0000076a: PUSH1 0x00 0000076c: POP 0000076d: PUSH1 0x00 0000076f: DUP7 00000770: PUSH2 0xffff 00000773: AND 00000774: DUP2 00000775: MSTORE 00000776: PUSH1 0x20 00000778: ADD 00000779: SWAP1 0000077a: DUP2 0000077b: MSTORE 0000077c: PUSH1 0x20 0000077e: ADD 0000077f: PUSH1 0x00 00000781: KECCAK256 00000782: PUSH1 0x00 00000784: POP 00000785: PUSH1 0x00 00000787: ADD 00000788: PUSH1 0x00 0000078a: SWAP1 0000078b: SLOAD 0000078c: SWAP1 0000078d: PUSH2 0x0100 00000790: EXP 00000791: SWAP1 00000792: DIV 00000793: PUSH1 0x01 00000795: PUSH1 0xa0 00000797: PUSH1 0x02 00000799: EXP 0000079a: SUB 0000079b: AND 0000079c: PUSH1 0x01 0000079e: PUSH1 0xa0 000007a0: PUSH1 0x02 000007a2: EXP 000007a3: SUB 000007a4: AND 000007a5: PUSH1 0x00 000007a7: DUP5 000007a8: PUSH1 0x01 000007aa: ADD 000007ab: PUSH1 0x00 000007ad: POP 000007ae: SLOAD 000007af: DUP6 000007b0: PUSH1 0x00 000007b2: ADD 000007b3: PUSH1 0x00 000007b5: POP 000007b6: SLOAD 000007b7: ADD 000007b8: PUSH1 0x40 000007ba: MLOAD 000007bb: DUP1 000007bc: SWAP1 000007bd: POP 000007be: PUSH1 0x00 000007c0: PUSH1 0x40 000007c2: MLOAD 000007c3: DUP1 000007c4: DUP4 000007c5: SUB 000007c6: DUP2 000007c7: DUP6 000007c8: DUP9 000007c9: DUP9 000007ca: CALL 000007cb: POP 000007cc: POP 000007cd: POP 000007ce: POP 000007cf: PUSH1 0x09 000007d1: DUP5 000007d2: ADD 000007d3: DUP1 000007d4: SLOAD 000007d5: PUSH1 0xff 000007d7: NOT 000007d8: AND 000007d9: PUSH1 0x01 000007db: OR 000007dc: SWAP1 000007dd: SSTORE 000007de: POP 000007df: JUMPDEST 000007e0: PUSH1 0x09 000007e2: DUP4 000007e3: ADD 000007e4: SLOAD 000007e5: PUSH1 0xff 000007e7: AND 000007e8: DUP1 000007e9: ISZERO 000007ea: PUSH2 0x0800 000007ed: JUMPI 000007ee: POP 000007ef: PUSH1 0x03 000007f1: DUP4 000007f2: ADD 000007f3: SLOAD 000007f4: PUSH1 0x07 000007f6: DUP5 000007f7: ADD 000007f8: SLOAD 000007f9: PUSH1 0x1e 000007fb: SWAP2 000007fc: SWAP1 000007fd: SWAP2 000007fe: MUL 000007ff: EQ 00000800: JUMPDEST 00000801: DUP1 00000802: ISZERO 00000803: PUSH2 0x0810 00000806: JUMPI 00000807: POP 00000808: PUSH1 0x08 0000080a: DUP4 0000080b: ADD 0000080c: SLOAD 0000080d: PUSH1 0x00 0000080f: EQ 00000810: JUMPDEST 00000811: ISZERO 00000812: PUSH2 0x0827 00000815: JUMPI 00000816: PUSH1 0x09 00000818: DUP4 00000819: ADD 0000081a: DUP1 0000081b: SLOAD 0000081c: PUSH2 0xff00 0000081f: NOT 00000820: AND 00000821: PUSH2 0x0100 00000824: OR 00000825: SWAP1 00000826: SSTORE 00000827: JUMPDEST 00000828: PUSH1 0x01 0000082a: SWAP4 0000082b: SWAP1 0000082c: SWAP4 0000082d: ADD 0000082e: SWAP3 0000082f: PUSH2 0x02ac 00000832: JUMP 00000833: JUMPDEST 00000834: PUSH1 0x09 00000836: DUP4 00000837: ADD 00000838: DUP1 00000839: SLOAD 0000083a: PUSH1 0xff 0000083c: NOT 0000083d: AND 0000083e: PUSH1 0x01 00000840: OR 00000841: SWAP1 00000842: SSTORE 00000843: PUSH2 0x07df 00000846: JUMP 00000847: JUMPDEST 00000848: SWAP2 00000849: POP 0000084a: DUP2 0000084b: PUSH2 0xffff 0000084e: AND 0000084f: PUSH2 0xffff 00000852: EQ 00000853: ISZERO 00000854: PUSH2 0x08a3 00000857: JUMPI 00000858: PUSH1 0x08 0000085a: DUP1 0000085b: SLOAD 0000085c: PUSH2 0xffff 0000085f: SWAP1 00000860: DUP2 00000861: AND 00000862: PUSH1 0x00 00000864: DUP2 00000865: DUP2 00000866: MSTORE 00000867: PUSH1 0x09 00000869: PUSH1 0x20 0000086b: MSTORE 0000086c: PUSH1 0x40 0000086e: SWAP1 0000086f: KECCAK256 00000870: DUP1 00000871: SLOAD 00000872: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000887: NOT 00000888: AND 00000889: DUP8 0000088a: OR 0000088b: SWAP1 0000088c: SSTORE 0000088d: DUP3 0000088e: SLOAD 0000088f: PUSH2 0xffff 00000892: NOT 00000893: DUP2 00000894: AND 00000895: SWAP3 00000896: AND 00000897: PUSH1 0x01 00000899: ADD 0000089a: SWAP2 0000089b: SWAP1 0000089c: SWAP2 0000089d: OR 0000089e: SWAP1 0000089f: SWAP2 000008a0: SSTORE 000008a1: SWAP2 000008a2: POP 000008a3: JUMPDEST 000008a4: DUP4 000008a5: PUSH1 0xff 000008a7: AND 000008a8: PUSH1 0x64 000008aa: CALLVALUE 000008ab: DIV 000008ac: MUL 000008ad: SWAP1 000008ae: POP 000008af: PUSH2 0x0aae 000008b2: DUP3 000008b3: DUP3 000008b4: CALLVALUE 000008b5: SUB 000008b6: DUP4 000008b7: DUP9 000008b8: JUMPDEST 000008b9: PUSH1 0x00 000008bb: PUSH1 0x00 000008bd: PUSH1 0x09 000008bf: PUSH1 0x00 000008c1: POP 000008c2: PUSH1 0x00 000008c4: DUP8 000008c5: PUSH2 0xffff 000008c8: AND 000008c9: DUP2 000008ca: MSTORE 000008cb: PUSH1 0x20 000008cd: ADD 000008ce: SWAP1 000008cf: DUP2 000008d0: MSTORE 000008d1: PUSH1 0x20 000008d3: ADD 000008d4: PUSH1 0x00 000008d6: KECCAK256 000008d7: PUSH1 0x00 000008d9: POP 000008da: PUSH1 0x01 000008dc: ADD 000008dd: PUSH1 0x00 000008df: POP 000008e0: PUSH1 0x00 000008e2: PUSH1 0x09 000008e4: PUSH1 0x00 000008e6: POP 000008e7: PUSH1 0x00 000008e9: DUP10 000008ea: PUSH2 0xffff 000008ed: AND 000008ee: DUP2 000008ef: MSTORE 000008f0: PUSH1 0x20 000008f2: ADD 000008f3: SWAP1 000008f4: DUP2 000008f5: MSTORE 000008f6: PUSH1 0x20 000008f8: ADD 000008f9: PUSH1 0x00 000008fb: KECCAK256 000008fc: PUSH1 0x00 000008fe: POP 000008ff: PUSH1 0x00 00000901: ADD 00000902: PUSH1 0x14 00000904: SWAP1 00000905: SLOAD 00000906: SWAP1 00000907: PUSH2 0x0100 0000090a: EXP 0000090b: SWAP1 0000090c: DIV 0000090d: PUSH2 0xffff 00000910: AND 00000911: PUSH2 0xffff 00000914: AND 00000915: DUP2 00000916: MSTORE 00000917: PUSH1 0x20 00000919: ADD 0000091a: SWAP1 0000091b: DUP2 0000091c: MSTORE 0000091d: PUSH1 0x20 0000091f: ADD 00000920: PUSH1 0x00 00000922: KECCAK256 00000923: PUSH1 0x00 00000925: POP 00000926: SWAP2 00000927: POP 00000928: DUP5 00000929: DUP3 0000092a: PUSH1 0x00 0000092c: ADD 0000092d: PUSH1 0x00 0000092f: POP 00000930: DUP2 00000931: SWAP1 00000932: SSTORE 00000933: POP 00000934: DUP4 00000935: DUP3 00000936: PUSH1 0x01 00000938: ADD 00000939: PUSH1 0x00 0000093b: POP 0000093c: DUP2 0000093d: SWAP1 0000093e: SSTORE 0000093f: POP 00000940: DUP5 00000941: DUP5 00000942: ADD 00000943: DUP6 00000944: PUSH1 0x64 00000946: MUL 00000947: DIV 00000948: SWAP1 00000949: POP 0000094a: PUSH2 0x2710 0000094d: PUSH1 0x03 0000094f: PUSH1 0x08 00000951: SWAP1 00000952: SLOAD 00000953: SWAP1 00000954: PUSH2 0x0100 00000957: EXP 00000958: SWAP1 00000959: DIV 0000095a: PUSH8 0xffffffffffffffff 00000963: AND 00000964: DUP3 00000965: PUSH1 0xff 00000967: AND 00000968: PUSH1 0x03 0000096a: PUSH1 0x00 0000096c: SWAP1 0000096d: SLOAD 0000096e: SWAP1 0000096f: PUSH2 0x0100 00000972: EXP 00000973: SWAP1 00000974: DIV 00000975: PUSH8 0xffffffffffffffff 0000097e: AND 0000097f: MUL 00000980: DUP4 00000981: PUSH1 0xff 00000983: AND 00000984: DUP5 00000985: PUSH1 0xff 00000987: AND 00000988: PUSH1 0x02 0000098a: PUSH1 0x15 0000098c: SWAP1 0000098d: SLOAD 0000098e: SWAP1 0000098f: PUSH2 0x0100 00000992: EXP 00000993: SWAP1 00000994: DIV 00000995: PUSH8 0xffffffffffffffff 0000099e: AND 0000099f: MUL 000009a0: MUL 000009a1: ADD 000009a2: ADD 000009a3: PUSH8 0xffffffffffffffff 000009ac: AND 000009ad: DIV 000009ae: DUP3 000009af: PUSH1 0x02 000009b1: ADD 000009b2: PUSH1 0x00 000009b4: PUSH2 0x0100 000009b7: EXP 000009b8: DUP2 000009b9: SLOAD 000009ba: DUP2 000009bb: PUSH2 0xffff 000009be: MUL 000009bf: NOT 000009c0: AND 000009c1: SWAP1 000009c2: DUP4 000009c3: MUL 000009c4: OR 000009c5: SWAP1 000009c6: SSTORE 000009c7: POP 000009c8: PUSH1 0x1e 000009ca: DUP3 000009cb: PUSH1 0x02 000009cd: ADD 000009ce: PUSH1 0x00 000009d0: SWAP1 000009d1: SLOAD 000009d2: SWAP1 000009d3: PUSH2 0x0100 000009d6: EXP 000009d7: SWAP1 000009d8: DIV 000009d9: PUSH2 0xffff 000009dc: AND 000009dd: PUSH2 0xffff 000009e0: AND 000009e1: PUSH2 0x2710 000009e4: DUP7 000009e5: DUP9 000009e6: ADD 000009e7: DIV 000009e8: MUL 000009e9: DIV 000009ea: DUP3 000009eb: PUSH1 0x03 000009ed: ADD 000009ee: PUSH1 0x00 000009f0: POP 000009f1: DUP2 000009f2: SWAP1 000009f3: SSTORE 000009f4: POP 000009f5: DUP3 000009f6: DUP3 000009f7: PUSH1 0x04 000009f9: ADD 000009fa: PUSH1 0x00 000009fc: PUSH2 0x0100 000009ff: EXP 00000a00: DUP2 00000a01: SLOAD 00000a02: DUP2 00000a03: PUSH1 0xff 00000a05: MUL 00000a06: NOT 00000a07: AND 00000a08: SWAP1 00000a09: DUP4 00000a0a: MUL 00000a0b: OR 00000a0c: SWAP1 00000a0d: SSTORE 00000a0e: POP 00000a0f: TIMESTAMP 00000a10: DUP3 00000a11: PUSH1 0x05 00000a13: ADD 00000a14: PUSH1 0x00 00000a16: POP 00000a17: DUP2 00000a18: SWAP1 00000a19: SSTORE 00000a1a: POP 00000a1b: TIMESTAMP 00000a1c: DUP3 00000a1d: PUSH1 0x06 00000a1f: ADD 00000a20: PUSH1 0x00 00000a22: POP 00000a23: DUP2 00000a24: SWAP1 00000a25: SSTORE 00000a26: POP 00000a27: PUSH1 0x03 00000a29: PUSH1 0x10 00000a2b: SWAP1 00000a2c: SLOAD 00000a2d: SWAP1 00000a2e: PUSH2 0x0100 00000a31: EXP 00000a32: SWAP1 00000a33: DIV 00000a34: PUSH2 0xffff 00000a37: AND 00000a38: PUSH2 0xffff 00000a3b: AND 00000a3c: PUSH2 0x03e8 00000a3f: DUP7 00000a40: DIV 00000a41: MUL 00000a42: DUP3 00000a43: PUSH1 0x08 00000a45: ADD 00000a46: PUSH1 0x00 00000a48: POP 00000a49: DUP2 00000a4a: SWAP1 00000a4b: SSTORE 00000a4c: POP 00000a4d: PUSH1 0x09 00000a4f: PUSH1 0x00 00000a51: POP 00000a52: PUSH1 0x00 00000a54: DUP8 00000a55: PUSH2 0xffff 00000a58: AND 00000a59: DUP2 00000a5a: MSTORE 00000a5b: PUSH1 0x20 00000a5d: ADD 00000a5e: SWAP1 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH1 0x20 00000a63: ADD 00000a64: PUSH1 0x00 00000a66: KECCAK256 00000a67: PUSH1 0x00 00000a69: POP 00000a6a: PUSH1 0x00 00000a6c: ADD 00000a6d: PUSH1 0x14 00000a6f: DUP2 00000a70: DUP2 00000a71: SWAP1 00000a72: SLOAD 00000a73: SWAP1 00000a74: PUSH2 0x0100 00000a77: EXP 00000a78: SWAP1 00000a79: DIV 00000a7a: PUSH2 0xffff 00000a7d: AND 00000a7e: DUP1 00000a7f: SWAP3 00000a80: SWAP2 00000a81: SWAP1 00000a82: PUSH1 0x01 00000a84: ADD 00000a85: SWAP2 00000a86: SWAP1 00000a87: PUSH2 0x0100 00000a8a: EXP 00000a8b: DUP2 00000a8c: SLOAD 00000a8d: DUP2 00000a8e: PUSH2 0xffff 00000a91: MUL 00000a92: NOT 00000a93: AND 00000a94: SWAP1 00000a95: DUP4 00000a96: MUL 00000a97: OR 00000a98: SWAP1 00000a99: SSTORE 00000a9a: POP 00000a9b: POP 00000a9c: POP 00000a9d: POP 00000a9e: POP 00000a9f: POP 00000aa0: POP 00000aa1: POP 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: PUSH1 0x05 00000aa6: DUP1 00000aa7: SLOAD 00000aa8: DUP3 00000aa9: ADD 00000aaa: SWAP1 00000aab: SSTORE 00000aac: POP 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH1 0x07 00000ab1: DUP1 00000ab2: SLOAD 00000ab3: DUP3 00000ab4: ADD 00000ab5: SWAP1 00000ab6: SSTORE 00000ab7: PUSH1 0x04 00000ab9: DUP1 00000aba: SLOAD 00000abb: CALLVALUE 00000abc: SWAP1 00000abd: DUP2 00000abe: ADD 00000abf: SWAP1 00000ac0: SWAP2 00000ac1: SSTORE 00000ac2: PUSH1 0x02 00000ac4: SLOAD 00000ac5: PUSH1 0x40 00000ac7: MLOAD 00000ac8: PUSH1 0x01 00000aca: PUSH1 0xa0 00000acc: PUSH1 0x02 00000ace: EXP 00000acf: SUB 00000ad0: SWAP2 00000ad1: SWAP1 00000ad2: SWAP2 00000ad3: AND 00000ad4: SWAP2 00000ad5: PUSH1 0x00 00000ad7: SWAP2 00000ad8: SWAP1 00000ad9: DUP5 00000ada: SWAP1 00000adb: SUB 00000adc: SWAP1 00000add: DUP3 00000ade: DUP2 00000adf: DUP2 00000ae0: DUP2 00000ae1: DUP6 00000ae2: DUP9 00000ae3: DUP4 00000ae4: CALL 00000ae5: POP 00000ae6: POP 00000ae7: POP 00000ae8: POP 00000ae9: POP 00000aea: JUMPDEST 00000aeb: POP 00000aec: POP 00000aed: POP 00000aee: POP 00000aef: POP 00000af0: JUMP 00000af1: JUMPDEST 00000af2: PUSH2 0x0847 00000af5: DUP4 00000af6: PUSH2 0x01d0 00000af9: JUMP 00000afa: JUMPDEST 00000afb: PUSH1 0x02 00000afd: DUP1 00000afe: SLOAD 00000aff: PUSH1 0x05 00000b01: DUP9 00000b02: SWAP1 00000b03: SSTORE 00000b04: PUSH1 0x03 00000b06: DUP1 00000b07: SLOAD 00000b08: PUSH17 0x0100000000000000000000000000000000 00000b1a: DUP7 00000b1b: MUL 00000b1c: PUSH9 0x010000000000000000 00000b26: DUP9 00000b27: MUL 00000b28: PUSH8 0xffffffffffffffff 00000b31: NOT 00000b32: SWAP1 00000b33: SWAP3 00000b34: AND 00000b35: DUP10 00000b36: OR 00000b37: PUSH16 0xffffffffffffffff0000000000000000 00000b48: NOT 00000b49: AND 00000b4a: SWAP2 00000b4b: SWAP1 00000b4c: SWAP2 00000b4d: OR 00000b4e: PUSH18 0xffff00000000000000000000000000000000 00000b61: NOT 00000b62: AND 00000b63: OR 00000b64: SWAP1 00000b65: SSTORE 00000b66: PUSH1 0xa0 00000b68: PUSH1 0x02 00000b6a: EXP 00000b6b: DUP4 00000b6c: MUL 00000b6d: PUSH22 0x01000000000000000000000000000000000000000000 00000b84: DUP9 00000b85: MUL 00000b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9b: NOT 00000b9c: SWAP1 00000b9d: SWAP3 00000b9e: AND 00000b9f: DUP11 00000ba0: OR 00000ba1: PUSH32 0xffffff0000000000000000ffffffffffffffffffffffffffffffffffffffffff 00000bc2: AND 00000bc3: SWAP2 00000bc4: SWAP1 00000bc5: SWAP2 00000bc6: OR 00000bc7: PUSH21 0xff0000000000000000000000000000000000000000 00000bdd: NOT 00000bde: AND 00000bdf: OR 00000be0: SWAP1 00000be1: SSTORE 00000be2: POP 00000be3: POP 00000be4: POP 00000be5: POP 00000be6: POP 00000be7: POP 00000be8: POP 00000be9: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf78d6a2e6702ee690dc0f7be968b75e017c64acd3851cf8810503028eaaed522
call_targets:
0xc6bdd14c8c470ce9b4a314768eb3c1f41dde4787
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf78d6a2e6702ee690dc0f7be968b75e017c64acd3851cf8810503028eaaed522",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc6bdd14c8c470ce9b4a314768eb3c1f41dde4787"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x16ece9db",
"selector": "0x16ece9db",
"calldata_variants": [
"0x16ece9db",
"0x16ece9db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1982ed58",
"selector": "0x1982ed58",
"calldata_variants": [
"0x1982ed58",
"0x1982ed580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31a73991",
"selector": "0x31a73991",
"calldata_variants": [
"0x31a73991",
"0x31a739910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x50b34d12",
"selector": "0x50b34d12",
"calldata_variants": [
"0x50b34d12",
"0x50b34d120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5f52e9fd",
"selector": "0x5f52e9fd",
"calldata_variants": [
"0x5f52e9fd",
"0x5f52e9fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6169a7ed",
"selector": "0x6169a7ed",
"calldata_variants": [
"0x6169a7ed",
"0x6169a7ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79799193",
"selector": "0x79799193",
"calldata_variants": [
"0x79799193",
"0x797991930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e7307c5",
"selector": "0x7e7307c5",
"calldata_variants": [
"0x7e7307c5",
"0x7e7307c50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 945,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1295,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf78d6a2e6702ee690dc0f7be968b75e017c64acd3851cf8810503028eaaed522
call_targets:
0xc6bdd14c8c470ce9b4a314768eb3c1f41dde4787
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf78d6a2e6702ee690dc0f7be968b75e017c64acd3851cf8810503028eaaed522",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc6bdd14c8c470ce9b4a314768eb3c1f41dde4787"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x16ece9db",
"selector": "0x16ece9db",
"calldata_variants": [
"0x16ece9db",
"0x16ece9db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1982ed58",
"selector": "0x1982ed58",
"calldata_variants": [
"0x1982ed58",
"0x1982ed580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31a73991",
"selector": "0x31a73991",
"calldata_variants": [
"0x31a73991",
"0x31a739910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x50b34d12",
"selector": "0x50b34d12",
"calldata_variants": [
"0x50b34d12",
"0x50b34d120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5f52e9fd",
"selector": "0x5f52e9fd",
"calldata_variants": [
"0x5f52e9fd",
"0x5f52e9fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6169a7ed",
"selector": "0x6169a7ed",
"calldata_variants": [
"0x6169a7ed",
"0x6169a7ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79799193",
"selector": "0x79799193",
"calldata_variants": [
"0x79799193",
"0x797991930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e7307c5",
"selector": "0x7e7307c5",
"calldata_variants": [
"0x7e7307c5",
"0x7e7307c50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 945,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1295,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|