019b3844-8ad8-73ee-8f03-46855b71d336
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 |
|---|---|---|---|---|
| 11703 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 11704 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 54500 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 54501 | capability.graph | complete | 1 / 3 | 1 week ago |
| 54502 | detector.run | complete | 1 / 3 | 1 week ago |
| 54503 | validation.fork | complete | 1 / 3 | 1 week 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 0x0122 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH4 0x02d05d3f 0000001f: DUP2 00000020: EQ 00000021: PUSH2 0x013f 00000024: JUMPI 00000025: DUP1 00000026: PUSH4 0x29dcb0cf 0000002b: EQ 0000002c: PUSH2 0x016e 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x38771242 00000036: EQ 00000037: PUSH2 0x0193 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x38af3eed 00000041: EQ 00000042: PUSH2 0x01b8 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x3c8da588 0000004c: EQ 0000004d: PUSH2 0x01e7 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x400abd5f 00000057: EQ 00000058: PUSH2 0x020c 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x42e94c90 00000062: EQ 00000063: PUSH2 0x0231 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x519ee19e 0000006d: EQ 0000006e: PUSH2 0x0262 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x598b35fc 00000078: EQ 00000079: PUSH2 0x0287 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x626be567 00000083: EQ 00000084: PUSH2 0x02ac 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x630b4989 0000008e: EQ 0000008f: PUSH2 0x02d1 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x6e66f6e9 00000099: EQ 0000009a: PUSH2 0x02f6 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x71ae8f02 000000a4: EQ 000000a5: PUSH2 0x0325 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x7926a7a3 000000af: EQ 000000b0: PUSH2 0x034a 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x86f32586 000000ba: EQ 000000bb: PUSH2 0x036f 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x8bdff161 000000c5: EQ 000000c6: PUSH2 0x0384 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0xaa367664 000000d0: EQ 000000d1: PUSH2 0x03a9 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0xb2d5ae44 000000db: EQ 000000dc: PUSH2 0x03ce 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0xc19d93fb 000000e6: EQ 000000e7: PUSH2 0x03f5 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0xc2052403 000000f1: EQ 000000f2: PUSH2 0x042c 000000f5: JUMPI 000000f6: DUP1 000000f7: PUSH4 0xc5c4744c 000000fc: EQ 000000fd: PUSH2 0x0441 00000100: JUMPI 00000101: DUP1 00000102: PUSH4 0xd7bb99ba 00000107: EQ 00000108: PUSH2 0x0466 0000010b: JUMPI 0000010c: DUP1 0000010d: PUSH4 0xe12dd14b 00000112: EQ 00000113: PUSH2 0x0480 00000116: JUMPI 00000117: DUP1 00000118: PUSH4 0xfe389e09 0000011d: EQ 0000011e: PUSH2 0x04a5 00000121: JUMPI 00000122: JUMPDEST 00000123: PUSH2 0x013d 00000126: JUMPDEST 00000127: CALLDATASIZE 00000128: ISZERO 00000129: PUSH2 0x0131 0000012c: JUMPI 0000012d: PUSH1 0x00 0000012f: DUP1 00000130: REVERT 00000131: JUMPDEST 00000132: PUSH2 0x0139 00000135: PUSH2 0x04ba 00000138: JUMP 00000139: JUMPDEST 0000013a: POP 0000013b: JUMPDEST 0000013c: JUMP 0000013d: JUMPDEST 0000013e: STOP 0000013f: JUMPDEST 00000140: CALLVALUE 00000141: ISZERO 00000142: PUSH2 0x014a 00000145: JUMPI 00000146: PUSH1 0x00 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: PUSH2 0x0152 0000014e: PUSH2 0x06f2 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH1 0x40 00000155: MLOAD 00000156: PUSH1 0x01 00000158: PUSH1 0xa0 0000015a: PUSH1 0x02 0000015c: EXP 0000015d: SUB 0000015e: SWAP1 0000015f: SWAP2 00000160: AND 00000161: DUP2 00000162: MSTORE 00000163: PUSH1 0x20 00000165: ADD 00000166: PUSH1 0x40 00000168: MLOAD 00000169: DUP1 0000016a: SWAP2 0000016b: SUB 0000016c: SWAP1 0000016d: RETURN 0000016e: JUMPDEST 0000016f: CALLVALUE 00000170: ISZERO 00000171: PUSH2 0x0179 00000174: JUMPI 00000175: PUSH1 0x00 00000177: DUP1 00000178: REVERT 00000179: JUMPDEST 0000017a: PUSH2 0x0181 0000017d: PUSH2 0x0701 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH1 0x40 00000184: MLOAD 00000185: SWAP1 00000186: DUP2 00000187: MSTORE 00000188: PUSH1 0x20 0000018a: ADD 0000018b: PUSH1 0x40 0000018d: MLOAD 0000018e: DUP1 0000018f: SWAP2 00000190: SUB 00000191: SWAP1 00000192: RETURN 00000193: JUMPDEST 00000194: CALLVALUE 00000195: ISZERO 00000196: PUSH2 0x019e 00000199: JUMPI 0000019a: PUSH1 0x00 0000019c: DUP1 0000019d: REVERT 0000019e: JUMPDEST 0000019f: PUSH2 0x0181 000001a2: PUSH2 0x0707 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH1 0x40 000001a9: MLOAD 000001aa: SWAP1 000001ab: DUP2 000001ac: MSTORE 000001ad: PUSH1 0x20 000001af: ADD 000001b0: PUSH1 0x40 000001b2: MLOAD 000001b3: DUP1 000001b4: SWAP2 000001b5: SUB 000001b6: SWAP1 000001b7: RETURN 000001b8: JUMPDEST 000001b9: CALLVALUE 000001ba: ISZERO 000001bb: PUSH2 0x01c3 000001be: JUMPI 000001bf: PUSH1 0x00 000001c1: DUP1 000001c2: REVERT 000001c3: JUMPDEST 000001c4: PUSH2 0x0152 000001c7: PUSH2 0x070d 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: PUSH1 0x01 000001d1: PUSH1 0xa0 000001d3: PUSH1 0x02 000001d5: EXP 000001d6: SUB 000001d7: SWAP1 000001d8: SWAP2 000001d9: AND 000001da: DUP2 000001db: MSTORE 000001dc: PUSH1 0x20 000001de: ADD 000001df: PUSH1 0x40 000001e1: MLOAD 000001e2: DUP1 000001e3: SWAP2 000001e4: SUB 000001e5: SWAP1 000001e6: RETURN 000001e7: JUMPDEST 000001e8: CALLVALUE 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: PUSH2 0x0181 000001f6: PUSH2 0x071c 000001f9: JUMP 000001fa: JUMPDEST 000001fb: PUSH1 0x40 000001fd: MLOAD 000001fe: SWAP1 000001ff: DUP2 00000200: MSTORE 00000201: PUSH1 0x20 00000203: ADD 00000204: PUSH1 0x40 00000206: MLOAD 00000207: DUP1 00000208: SWAP2 00000209: SUB 0000020a: SWAP1 0000020b: RETURN 0000020c: JUMPDEST 0000020d: CALLVALUE 0000020e: ISZERO 0000020f: PUSH2 0x0217 00000212: JUMPI 00000213: PUSH1 0x00 00000215: DUP1 00000216: REVERT 00000217: JUMPDEST 00000218: PUSH2 0x0181 0000021b: PUSH2 0x0722 0000021e: JUMP 0000021f: JUMPDEST 00000220: PUSH1 0x40 00000222: MLOAD 00000223: SWAP1 00000224: DUP2 00000225: MSTORE 00000226: PUSH1 0x20 00000228: ADD 00000229: PUSH1 0x40 0000022b: MLOAD 0000022c: DUP1 0000022d: SWAP2 0000022e: SUB 0000022f: SWAP1 00000230: RETURN 00000231: JUMPDEST 00000232: CALLVALUE 00000233: ISZERO 00000234: PUSH2 0x023c 00000237: JUMPI 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: PUSH2 0x0181 00000240: PUSH1 0x01 00000242: PUSH1 0xa0 00000244: PUSH1 0x02 00000246: EXP 00000247: SUB 00000248: PUSH1 0x04 0000024a: CALLDATALOAD 0000024b: AND 0000024c: PUSH2 0x0728 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH1 0x40 00000253: MLOAD 00000254: SWAP1 00000255: DUP2 00000256: MSTORE 00000257: PUSH1 0x20 00000259: ADD 0000025a: PUSH1 0x40 0000025c: MLOAD 0000025d: DUP1 0000025e: SWAP2 0000025f: SUB 00000260: SWAP1 00000261: RETURN 00000262: JUMPDEST 00000263: CALLVALUE 00000264: ISZERO 00000265: PUSH2 0x026d 00000268: JUMPI 00000269: PUSH1 0x00 0000026b: DUP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: PUSH2 0x0181 00000271: PUSH2 0x073a 00000274: JUMP 00000275: JUMPDEST 00000276: PUSH1 0x40 00000278: MLOAD 00000279: SWAP1 0000027a: DUP2 0000027b: MSTORE 0000027c: PUSH1 0x20 0000027e: ADD 0000027f: PUSH1 0x40 00000281: MLOAD 00000282: DUP1 00000283: SWAP2 00000284: SUB 00000285: SWAP1 00000286: RETURN 00000287: JUMPDEST 00000288: CALLVALUE 00000289: ISZERO 0000028a: PUSH2 0x0292 0000028d: JUMPI 0000028e: PUSH1 0x00 00000290: DUP1 00000291: REVERT 00000292: JUMPDEST 00000293: PUSH2 0x0181 00000296: PUSH2 0x0740 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH1 0x40 0000029d: MLOAD 0000029e: SWAP1 0000029f: DUP2 000002a0: MSTORE 000002a1: PUSH1 0x20 000002a3: ADD 000002a4: PUSH1 0x40 000002a6: MLOAD 000002a7: DUP1 000002a8: SWAP2 000002a9: SUB 000002aa: SWAP1 000002ab: RETURN 000002ac: JUMPDEST 000002ad: CALLVALUE 000002ae: ISZERO 000002af: PUSH2 0x02b7 000002b2: JUMPI 000002b3: PUSH1 0x00 000002b5: DUP1 000002b6: REVERT 000002b7: JUMPDEST 000002b8: PUSH2 0x0181 000002bb: PUSH2 0x0746 000002be: JUMP 000002bf: JUMPDEST 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: SWAP1 000002c4: DUP2 000002c5: MSTORE 000002c6: PUSH1 0x20 000002c8: ADD 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: DUP1 000002cd: SWAP2 000002ce: SUB 000002cf: SWAP1 000002d0: RETURN 000002d1: JUMPDEST 000002d2: CALLVALUE 000002d3: ISZERO 000002d4: PUSH2 0x02dc 000002d7: JUMPI 000002d8: PUSH1 0x00 000002da: DUP1 000002db: REVERT 000002dc: JUMPDEST 000002dd: PUSH2 0x0181 000002e0: PUSH2 0x074c 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH1 0x40 000002e7: MLOAD 000002e8: SWAP1 000002e9: DUP2 000002ea: MSTORE 000002eb: PUSH1 0x20 000002ed: ADD 000002ee: PUSH1 0x40 000002f0: MLOAD 000002f1: DUP1 000002f2: SWAP2 000002f3: SUB 000002f4: SWAP1 000002f5: RETURN 000002f6: JUMPDEST 000002f7: CALLVALUE 000002f8: ISZERO 000002f9: PUSH2 0x0301 000002fc: JUMPI 000002fd: PUSH1 0x00 000002ff: DUP1 00000300: REVERT 00000301: JUMPDEST 00000302: PUSH2 0x0152 00000305: PUSH2 0x0752 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x40 0000030c: MLOAD 0000030d: PUSH1 0x01 0000030f: PUSH1 0xa0 00000311: PUSH1 0x02 00000313: EXP 00000314: SUB 00000315: SWAP1 00000316: SWAP2 00000317: AND 00000318: DUP2 00000319: MSTORE 0000031a: PUSH1 0x20 0000031c: ADD 0000031d: PUSH1 0x40 0000031f: MLOAD 00000320: DUP1 00000321: SWAP2 00000322: SUB 00000323: SWAP1 00000324: RETURN 00000325: JUMPDEST 00000326: CALLVALUE 00000327: ISZERO 00000328: PUSH2 0x0330 0000032b: JUMPI 0000032c: PUSH1 0x00 0000032e: DUP1 0000032f: REVERT 00000330: JUMPDEST 00000331: PUSH2 0x0181 00000334: PUSH2 0x0761 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH1 0x40 0000033b: MLOAD 0000033c: SWAP1 0000033d: DUP2 0000033e: MSTORE 0000033f: PUSH1 0x20 00000341: ADD 00000342: PUSH1 0x40 00000344: MLOAD 00000345: DUP1 00000346: SWAP2 00000347: SUB 00000348: SWAP1 00000349: RETURN 0000034a: JUMPDEST 0000034b: CALLVALUE 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: PUSH2 0x0181 00000359: PUSH2 0x0767 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH1 0x40 00000360: MLOAD 00000361: SWAP1 00000362: DUP2 00000363: MSTORE 00000364: PUSH1 0x20 00000366: ADD 00000367: PUSH1 0x40 00000369: MLOAD 0000036a: DUP1 0000036b: SWAP2 0000036c: SUB 0000036d: SWAP1 0000036e: RETURN 0000036f: JUMPDEST 00000370: CALLVALUE 00000371: ISZERO 00000372: PUSH2 0x037a 00000375: JUMPI 00000376: PUSH1 0x00 00000378: DUP1 00000379: REVERT 0000037a: JUMPDEST 0000037b: PUSH2 0x013d 0000037e: PUSH2 0x076d 00000381: JUMP 00000382: JUMPDEST 00000383: STOP 00000384: JUMPDEST 00000385: CALLVALUE 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: PUSH2 0x0181 00000393: PUSH2 0x08a5 00000396: JUMP 00000397: JUMPDEST 00000398: PUSH1 0x40 0000039a: MLOAD 0000039b: SWAP1 0000039c: DUP2 0000039d: MSTORE 0000039e: PUSH1 0x20 000003a0: ADD 000003a1: PUSH1 0x40 000003a3: MLOAD 000003a4: DUP1 000003a5: SWAP2 000003a6: SUB 000003a7: SWAP1 000003a8: RETURN 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: ISZERO 000003ac: PUSH2 0x03b4 000003af: JUMPI 000003b0: PUSH1 0x00 000003b2: DUP1 000003b3: REVERT 000003b4: JUMPDEST 000003b5: PUSH2 0x0181 000003b8: PUSH2 0x090a 000003bb: JUMP 000003bc: JUMPDEST 000003bd: PUSH1 0x40 000003bf: MLOAD 000003c0: SWAP1 000003c1: DUP2 000003c2: MSTORE 000003c3: PUSH1 0x20 000003c5: ADD 000003c6: PUSH1 0x40 000003c8: MLOAD 000003c9: DUP1 000003ca: SWAP2 000003cb: SUB 000003cc: SWAP1 000003cd: RETURN 000003ce: JUMPDEST 000003cf: CALLVALUE 000003d0: ISZERO 000003d1: PUSH2 0x03d9 000003d4: JUMPI 000003d5: PUSH1 0x00 000003d7: DUP1 000003d8: REVERT 000003d9: JUMPDEST 000003da: PUSH2 0x03e1 000003dd: PUSH2 0x0910 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: SWAP1 000003e6: ISZERO 000003e7: ISZERO 000003e8: DUP2 000003e9: MSTORE 000003ea: PUSH1 0x20 000003ec: ADD 000003ed: PUSH1 0x40 000003ef: MLOAD 000003f0: DUP1 000003f1: SWAP2 000003f2: SUB 000003f3: SWAP1 000003f4: RETURN 000003f5: JUMPDEST 000003f6: CALLVALUE 000003f7: ISZERO 000003f8: PUSH2 0x0400 000003fb: JUMPI 000003fc: PUSH1 0x00 000003fe: DUP1 000003ff: REVERT 00000400: JUMPDEST 00000401: PUSH2 0x0408 00000404: PUSH2 0x09a4 00000407: JUMP 00000408: JUMPDEST 00000409: PUSH1 0x40 0000040b: MLOAD 0000040c: DUP1 0000040d: DUP3 0000040e: PUSH1 0x03 00000410: DUP2 00000411: GT 00000412: ISZERO 00000413: PUSH2 0x0418 00000416: JUMPI 00000417: INVALID 00000418: JUMPDEST 00000419: PUSH1 0xff 0000041b: AND 0000041c: DUP2 0000041d: MSTORE 0000041e: PUSH1 0x20 00000420: ADD 00000421: SWAP2 00000422: POP 00000423: POP 00000424: PUSH1 0x40 00000426: MLOAD 00000427: DUP1 00000428: SWAP2 00000429: SUB 0000042a: SWAP1 0000042b: RETURN 0000042c: JUMPDEST 0000042d: CALLVALUE 0000042e: ISZERO 0000042f: PUSH2 0x0437 00000432: JUMPI 00000433: PUSH1 0x00 00000435: DUP1 00000436: REVERT 00000437: JUMPDEST 00000438: PUSH2 0x013d 0000043b: PUSH2 0x09ad 0000043e: JUMP 0000043f: JUMPDEST 00000440: STOP 00000441: JUMPDEST 00000442: CALLVALUE 00000443: ISZERO 00000444: PUSH2 0x044c 00000447: JUMPI 00000448: PUSH1 0x00 0000044a: DUP1 0000044b: REVERT 0000044c: JUMPDEST 0000044d: PUSH2 0x0181 00000450: PUSH2 0x0aec 00000453: JUMP 00000454: JUMPDEST 00000455: PUSH1 0x40 00000457: MLOAD 00000458: SWAP1 00000459: DUP2 0000045a: MSTORE 0000045b: PUSH1 0x20 0000045d: ADD 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: DUP1 00000462: SWAP2 00000463: SUB 00000464: SWAP1 00000465: RETURN 00000466: JUMPDEST 00000467: PUSH2 0x0181 0000046a: PUSH2 0x04ba 0000046d: JUMP 0000046e: JUMPDEST 0000046f: PUSH1 0x40 00000471: MLOAD 00000472: SWAP1 00000473: DUP2 00000474: MSTORE 00000475: PUSH1 0x20 00000477: ADD 00000478: PUSH1 0x40 0000047a: MLOAD 0000047b: DUP1 0000047c: SWAP2 0000047d: SUB 0000047e: SWAP1 0000047f: RETURN 00000480: JUMPDEST 00000481: CALLVALUE 00000482: ISZERO 00000483: PUSH2 0x048b 00000486: JUMPI 00000487: PUSH1 0x00 00000489: DUP1 0000048a: REVERT 0000048b: JUMPDEST 0000048c: PUSH2 0x0181 0000048f: PUSH2 0x0af2 00000492: JUMP 00000493: JUMPDEST 00000494: PUSH1 0x40 00000496: MLOAD 00000497: SWAP1 00000498: DUP2 00000499: MSTORE 0000049a: PUSH1 0x20 0000049c: ADD 0000049d: PUSH1 0x40 0000049f: MLOAD 000004a0: DUP1 000004a1: SWAP2 000004a2: SUB 000004a3: SWAP1 000004a4: RETURN 000004a5: JUMPDEST 000004a6: CALLVALUE 000004a7: ISZERO 000004a8: PUSH2 0x04b0 000004ab: JUMPI 000004ac: PUSH1 0x00 000004ae: DUP1 000004af: REVERT 000004b0: JUMPDEST 000004b1: PUSH2 0x013d 000004b4: PUSH2 0x0af8 000004b7: JUMP 000004b8: JUMPDEST 000004b9: STOP 000004ba: JUMPDEST 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: DUP1 000004bf: DUP1 000004c0: DUP1 000004c1: DUP1 000004c2: JUMPDEST 000004c3: PUSH1 0x00 000004c5: SLOAD 000004c6: PUSH1 0xff 000004c8: AND 000004c9: PUSH1 0x03 000004cb: DUP2 000004cc: GT 000004cd: ISZERO 000004ce: PUSH2 0x04d3 000004d1: JUMPI 000004d2: INVALID 000004d3: JUMPDEST 000004d4: EQ 000004d5: PUSH2 0x04dd 000004d8: JUMPI 000004d9: PUSH1 0x00 000004db: DUP1 000004dc: REVERT 000004dd: JUMPDEST 000004de: PUSH1 0x07 000004e0: SLOAD 000004e1: CALLVALUE 000004e2: LT 000004e3: ISZERO 000004e4: PUSH2 0x04ec 000004e7: JUMPI 000004e8: PUSH1 0x00 000004ea: DUP1 000004eb: REVERT 000004ec: JUMPDEST 000004ed: PUSH1 0x07 000004ef: SLOAD 000004f0: CALLVALUE 000004f1: DUP2 000004f2: ISZERO 000004f3: ISZERO 000004f4: PUSH2 0x04f9 000004f7: JUMPI 000004f8: INVALID 000004f9: JUMPDEST 000004fa: MOD 000004fb: ISZERO 000004fc: PUSH2 0x0504 000004ff: JUMPI 00000500: PUSH1 0x00 00000502: DUP1 00000503: REVERT 00000504: JUMPDEST 00000505: CALLVALUE 00000506: SWAP4 00000507: POP 00000508: PUSH2 0x0513 0000050b: DUP5 0000050c: PUSH1 0x07 0000050e: SLOAD 0000050f: PUSH2 0x0b70 00000512: JUMP 00000513: JUMPDEST 00000514: SWAP3 00000515: POP 00000516: PUSH2 0x051d 00000519: PUSH2 0x08a5 0000051c: JUMP 0000051d: JUMPDEST 0000051e: SWAP2 0000051f: POP 00000520: PUSH2 0x053c 00000523: DUP4 00000524: PUSH2 0x0537 00000527: PUSH2 0x0530 0000052a: DUP7 0000052b: DUP7 0000052c: PUSH2 0x0b8c 0000052f: JUMP 00000530: JUMPDEST 00000531: PUSH1 0x64 00000533: PUSH2 0x0b70 00000536: JUMP 00000537: JUMPDEST 00000538: PUSH2 0x0bbb 0000053b: JUMP 0000053c: JUMPDEST 0000053d: SWAP3 0000053e: POP 0000053f: PUSH2 0x054c 00000542: PUSH1 0x0a 00000544: SLOAD 00000545: PUSH1 0x07 00000547: SLOAD 00000548: PUSH2 0x0b70 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH1 0x04 0000054f: SLOAD 00000550: DUP5 00000551: ADD 00000552: GT 00000553: ISZERO 00000554: PUSH2 0x055c 00000557: JUMPI 00000558: PUSH1 0x00 0000055a: DUP1 0000055b: REVERT 0000055c: JUMPDEST 0000055d: PUSH1 0x01 0000055f: PUSH1 0xa0 00000561: PUSH1 0x02 00000563: EXP 00000564: SUB 00000565: CALLER 00000566: DUP2 00000567: AND 00000568: PUSH1 0x00 0000056a: SWAP1 0000056b: DUP2 0000056c: MSTORE 0000056d: PUSH1 0x01 0000056f: PUSH1 0x20 00000571: DUP2 00000572: SWAP1 00000573: MSTORE 00000574: PUSH1 0x40 00000576: SWAP1 00000577: SWAP2 00000578: KECCAK256 00000579: CALLVALUE 0000057a: SWAP1 0000057b: SSTORE 0000057c: PUSH1 0x0e 0000057e: DUP1 0000057f: SLOAD 00000580: SWAP1 00000581: SWAP2 00000582: ADD 00000583: SWAP1 00000584: SSTORE 00000585: PUSH1 0x04 00000587: DUP1 00000588: SLOAD 00000589: DUP6 0000058a: ADD 0000058b: SWAP1 0000058c: SSTORE 0000058d: ADDRESS 0000058e: AND 0000058f: BALANCE 00000590: PUSH1 0x02 00000592: SSTORE 00000593: PUSH1 0x0a 00000595: SLOAD 00000596: ISZERO 00000597: PUSH2 0x0609 0000059a: JUMPI 0000059b: PUSH1 0x0f 0000059d: SLOAD 0000059e: PUSH1 0x01 000005a0: PUSH1 0xa0 000005a2: PUSH1 0x02 000005a4: EXP 000005a5: SUB 000005a6: AND 000005a7: PUSH4 0xa9059cbb 000005ac: CALLER 000005ad: DUP6 000005ae: PUSH1 0x40 000005b0: MLOAD 000005b1: PUSH1 0xe0 000005b3: PUSH1 0x02 000005b5: EXP 000005b6: PUSH4 0xffffffff 000005bb: DUP6 000005bc: AND 000005bd: MUL 000005be: DUP2 000005bf: MSTORE 000005c0: PUSH1 0x01 000005c2: PUSH1 0xa0 000005c4: PUSH1 0x02 000005c6: EXP 000005c7: SUB 000005c8: SWAP1 000005c9: SWAP3 000005ca: AND 000005cb: PUSH1 0x04 000005cd: DUP4 000005ce: ADD 000005cf: MSTORE 000005d0: PUSH1 0x24 000005d2: DUP3 000005d3: ADD 000005d4: MSTORE 000005d5: PUSH1 0x44 000005d7: ADD 000005d8: PUSH1 0x00 000005da: PUSH1 0x40 000005dc: MLOAD 000005dd: DUP1 000005de: DUP4 000005df: SUB 000005e0: DUP2 000005e1: PUSH1 0x00 000005e3: DUP8 000005e4: DUP1 000005e5: EXTCODESIZE 000005e6: ISZERO 000005e7: ISZERO 000005e8: PUSH2 0x05f0 000005eb: JUMPI 000005ec: PUSH1 0x00 000005ee: DUP1 000005ef: REVERT 000005f0: JUMPDEST 000005f1: PUSH2 0x02c6 000005f4: GAS 000005f5: SUB 000005f6: CALL 000005f7: ISZERO 000005f8: ISZERO 000005f9: PUSH2 0x0601 000005fc: JUMPI 000005fd: PUSH1 0x00 000005ff: DUP1 00000600: REVERT 00000601: JUMPDEST 00000602: POP 00000603: POP 00000604: POP 00000605: PUSH2 0x0674 00000608: JUMP 00000609: JUMPDEST 0000060a: PUSH1 0x0f 0000060c: SLOAD 0000060d: PUSH1 0x01 0000060f: PUSH1 0xa0 00000611: PUSH1 0x02 00000613: EXP 00000614: SUB 00000615: AND 00000616: PUSH4 0x79c65068 0000061b: CALLER 0000061c: DUP6 0000061d: PUSH1 0x40 0000061f: MLOAD 00000620: PUSH1 0xe0 00000622: PUSH1 0x02 00000624: EXP 00000625: PUSH4 0xffffffff 0000062a: DUP6 0000062b: AND 0000062c: MUL 0000062d: DUP2 0000062e: MSTORE 0000062f: PUSH1 0x01 00000631: PUSH1 0xa0 00000633: PUSH1 0x02 00000635: EXP 00000636: SUB 00000637: SWAP1 00000638: SWAP3 00000639: AND 0000063a: PUSH1 0x04 0000063c: DUP4 0000063d: ADD 0000063e: MSTORE 0000063f: PUSH1 0x24 00000641: DUP3 00000642: ADD 00000643: MSTORE 00000644: PUSH1 0x44 00000646: ADD 00000647: PUSH1 0x00 00000649: PUSH1 0x40 0000064b: MLOAD 0000064c: DUP1 0000064d: DUP4 0000064e: SUB 0000064f: DUP2 00000650: PUSH1 0x00 00000652: DUP8 00000653: DUP1 00000654: EXTCODESIZE 00000655: ISZERO 00000656: ISZERO 00000657: PUSH2 0x065f 0000065a: JUMPI 0000065b: PUSH1 0x00 0000065d: DUP1 0000065e: REVERT 0000065f: JUMPDEST 00000660: PUSH2 0x02c6 00000663: GAS 00000664: SUB 00000665: CALL 00000666: ISZERO 00000667: ISZERO 00000668: PUSH2 0x0670 0000066b: JUMPI 0000066c: PUSH1 0x00 0000066e: DUP1 0000066f: REVERT 00000670: JUMPDEST 00000671: POP 00000672: POP 00000673: POP 00000674: JUMPDEST 00000675: PUSH32 0x304e48bb03eae5e9bf3575d270648664895983e116a51773a65e9f3341b3b40e 00000696: CALLER 00000697: CALLVALUE 00000698: ADDRESS 00000699: PUSH1 0x01 0000069b: PUSH1 0xa0 0000069d: PUSH1 0x02 0000069f: EXP 000006a0: SUB 000006a1: AND 000006a2: BALANCE 000006a3: PUSH1 0x40 000006a5: MLOAD 000006a6: DUP1 000006a7: DUP5 000006a8: PUSH1 0x01 000006aa: PUSH1 0xa0 000006ac: PUSH1 0x02 000006ae: EXP 000006af: SUB 000006b0: AND 000006b1: PUSH1 0x01 000006b3: PUSH1 0xa0 000006b5: PUSH1 0x02 000006b7: EXP 000006b8: SUB 000006b9: AND 000006ba: DUP2 000006bb: MSTORE 000006bc: PUSH1 0x20 000006be: ADD 000006bf: DUP4 000006c0: DUP2 000006c1: MSTORE 000006c2: PUSH1 0x20 000006c4: ADD 000006c5: DUP3 000006c6: DUP2 000006c7: MSTORE 000006c8: PUSH1 0x20 000006ca: ADD 000006cb: SWAP4 000006cc: POP 000006cd: POP 000006ce: POP 000006cf: POP 000006d0: PUSH1 0x40 000006d2: MLOAD 000006d3: DUP1 000006d4: SWAP2 000006d5: SUB 000006d6: SWAP1 000006d7: LOG1 000006d8: PUSH2 0x06df 000006db: PUSH2 0x076d 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH1 0x01 000006e2: PUSH1 0x0e 000006e4: SLOAD 000006e5: SUB 000006e6: SWAP5 000006e7: POP 000006e8: JUMPDEST 000006e9: JUMPDEST 000006ea: JUMPDEST 000006eb: JUMPDEST 000006ec: POP 000006ed: POP 000006ee: POP 000006ef: POP 000006f0: SWAP1 000006f1: JUMP 000006f2: JUMPDEST 000006f3: PUSH1 0x10 000006f5: SLOAD 000006f6: PUSH1 0x01 000006f8: PUSH1 0xa0 000006fa: PUSH1 0x02 000006fc: EXP 000006fd: SUB 000006fe: AND 000006ff: DUP2 00000700: JUMP 00000701: JUMPDEST 00000702: PUSH1 0x05 00000704: SLOAD 00000705: DUP2 00000706: JUMP 00000707: JUMPDEST 00000708: PUSH1 0x06 0000070a: SLOAD 0000070b: DUP2 0000070c: JUMP 0000070d: JUMPDEST 0000070e: PUSH1 0x11 00000710: SLOAD 00000711: PUSH1 0x01 00000713: PUSH1 0xa0 00000715: PUSH1 0x02 00000717: EXP 00000718: SUB 00000719: AND 0000071a: DUP2 0000071b: JUMP 0000071c: JUMPDEST 0000071d: PUSH1 0x07 0000071f: SLOAD 00000720: DUP2 00000721: JUMP 00000722: JUMPDEST 00000723: PUSH1 0x0b 00000725: SLOAD 00000726: DUP2 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH1 0x01 0000072b: PUSH1 0x20 0000072d: MSTORE 0000072e: PUSH1 0x00 00000730: SWAP1 00000731: DUP2 00000732: MSTORE 00000733: PUSH1 0x40 00000735: SWAP1 00000736: KECCAK256 00000737: SLOAD 00000738: DUP2 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH1 0x04 0000073d: SLOAD 0000073e: DUP2 0000073f: JUMP 00000740: JUMPDEST 00000741: PUSH1 0x08 00000743: SLOAD 00000744: DUP2 00000745: JUMP 00000746: JUMPDEST 00000747: PUSH1 0x03 00000749: SLOAD 0000074a: DUP2 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH1 0x0e 0000074f: SLOAD 00000750: DUP2 00000751: JUMP 00000752: JUMPDEST 00000753: PUSH1 0x0f 00000755: SLOAD 00000756: PUSH1 0x01 00000758: PUSH1 0xa0 0000075a: PUSH1 0x02 0000075c: EXP 0000075d: SUB 0000075e: AND 0000075f: DUP2 00000760: JUMP 00000761: JUMPDEST 00000762: PUSH1 0x09 00000764: SLOAD 00000765: DUP2 00000766: JUMP 00000767: JUMPDEST 00000768: PUSH1 0x0c 0000076a: SLOAD 0000076b: DUP2 0000076c: JUMP 0000076d: JUMPDEST 0000076e: PUSH1 0x0a 00000770: SLOAD 00000771: ISZERO 00000772: DUP1 00000773: ISZERO 00000774: SWAP1 00000775: PUSH2 0x0789 00000778: JUMPI 00000779: POP 0000077a: PUSH1 0x0a 0000077c: SLOAD 0000077d: ADDRESS 0000077e: PUSH1 0x01 00000780: PUSH1 0xa0 00000782: PUSH1 0x02 00000784: EXP 00000785: SUB 00000786: AND 00000787: BALANCE 00000788: GT 00000789: JUMPDEST 0000078a: ISZERO 0000078b: PUSH2 0x07fa 0000078e: JUMPI 0000078f: PUSH1 0x00 00000791: DUP1 00000792: SLOAD 00000793: PUSH1 0x02 00000795: SWAP2 00000796: SWAP1 00000797: PUSH1 0xff 00000799: NOT 0000079a: AND 0000079b: PUSH1 0x01 0000079d: DUP4 0000079e: JUMPDEST 0000079f: MUL 000007a0: OR 000007a1: SWAP1 000007a2: SSTORE 000007a3: POP 000007a4: PUSH32 0xeeba781006f29eb8d1e8d9a2bf6b753e211c4a77dcd5957efc8663a20fdd5c4a 000007c5: ADDRESS 000007c6: PUSH1 0x01 000007c8: PUSH1 0xa0 000007ca: PUSH1 0x02 000007cc: EXP 000007cd: SUB 000007ce: AND 000007cf: BALANCE 000007d0: PUSH1 0x04 000007d2: SLOAD 000007d3: PUSH1 0x40 000007d5: MLOAD 000007d6: SWAP2 000007d7: DUP3 000007d8: MSTORE 000007d9: PUSH1 0x20 000007db: DUP3 000007dc: ADD 000007dd: MSTORE 000007de: PUSH1 0x40 000007e0: SWAP1 000007e1: DUP2 000007e2: ADD 000007e3: SWAP1 000007e4: MLOAD 000007e5: DUP1 000007e6: SWAP2 000007e7: SUB 000007e8: SWAP1 000007e9: LOG1 000007ea: PUSH2 0x07f1 000007ed: PUSH2 0x09ad 000007f0: JUMP 000007f1: JUMPDEST 000007f2: TIMESTAMP 000007f3: PUSH1 0x06 000007f5: SSTORE 000007f6: PUSH2 0x013b 000007f9: JUMP 000007fa: JUMPDEST 000007fb: PUSH1 0x05 000007fd: SLOAD 000007fe: TIMESTAMP 000007ff: GT 00000800: ISZERO 00000801: PUSH2 0x013b 00000804: JUMPI 00000805: PUSH1 0x09 00000807: SLOAD 00000808: PUSH1 0x01 0000080a: PUSH1 0xa0 0000080c: PUSH1 0x02 0000080e: EXP 0000080f: SUB 00000810: ADDRESS 00000811: AND 00000812: BALANCE 00000813: LT 00000814: PUSH2 0x0887 00000817: JUMPI 00000818: PUSH1 0x00 0000081a: DUP1 0000081b: SLOAD 0000081c: PUSH1 0x02 0000081e: SWAP2 0000081f: SWAP1 00000820: PUSH1 0xff 00000822: NOT 00000823: AND 00000824: PUSH1 0x01 00000826: DUP4 00000827: PUSH2 0x079e 0000082a: JUMP 0000082b: JUMPDEST 0000082c: MUL 0000082d: OR 0000082e: SWAP1 0000082f: SSTORE 00000830: POP 00000831: PUSH32 0xeeba781006f29eb8d1e8d9a2bf6b753e211c4a77dcd5957efc8663a20fdd5c4a 00000852: ADDRESS 00000853: PUSH1 0x01 00000855: PUSH1 0xa0 00000857: PUSH1 0x02 00000859: EXP 0000085a: SUB 0000085b: AND 0000085c: BALANCE 0000085d: PUSH1 0x04 0000085f: SLOAD 00000860: PUSH1 0x40 00000862: MLOAD 00000863: SWAP2 00000864: DUP3 00000865: MSTORE 00000866: PUSH1 0x20 00000868: DUP3 00000869: ADD 0000086a: MSTORE 0000086b: PUSH1 0x40 0000086d: SWAP1 0000086e: DUP2 0000086f: ADD 00000870: SWAP1 00000871: MLOAD 00000872: DUP1 00000873: SWAP2 00000874: SUB 00000875: SWAP1 00000876: LOG1 00000877: PUSH2 0x07f1 0000087a: PUSH2 0x09ad 0000087d: JUMP 0000087e: JUMPDEST 0000087f: TIMESTAMP 00000880: PUSH1 0x06 00000882: SSTORE 00000883: PUSH2 0x013b 00000886: JUMP 00000887: JUMPDEST 00000888: PUSH1 0x00 0000088a: DUP1 0000088b: SLOAD 0000088c: PUSH1 0x01 0000088e: SWAP2 0000088f: SWAP1 00000890: PUSH1 0xff 00000892: NOT 00000893: AND 00000894: DUP3 00000895: DUP1 00000896: JUMPDEST 00000897: MUL 00000898: OR 00000899: SWAP1 0000089a: SSTORE 0000089b: POP 0000089c: TIMESTAMP 0000089d: PUSH1 0x06 0000089f: SSTORE 000008a0: JUMPDEST 000008a1: JUMPDEST 000008a2: JUMPDEST 000008a3: JUMPDEST 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x00 000008a8: PUSH1 0x0b 000008aa: SLOAD 000008ab: PUSH1 0x02 000008ad: SLOAD 000008ae: LT 000008af: ISZERO 000008b0: PUSH2 0x08bb 000008b3: JUMPI 000008b4: POP 000008b5: PUSH1 0x1e 000008b7: PUSH2 0x0907 000008ba: JUMP 000008bb: JUMPDEST 000008bc: PUSH1 0x0b 000008be: SLOAD 000008bf: PUSH1 0x02 000008c1: SLOAD 000008c2: LT 000008c3: ISZERO 000008c4: DUP1 000008c5: ISZERO 000008c6: PUSH2 0x08d2 000008c9: JUMPI 000008ca: POP 000008cb: PUSH1 0x0c 000008cd: SLOAD 000008ce: PUSH1 0x02 000008d0: SLOAD 000008d1: LT 000008d2: JUMPDEST 000008d3: ISZERO 000008d4: PUSH2 0x08df 000008d7: JUMPI 000008d8: POP 000008d9: PUSH1 0x14 000008db: PUSH2 0x0907 000008de: JUMP 000008df: JUMPDEST 000008e0: PUSH1 0x0c 000008e2: SLOAD 000008e3: PUSH1 0x02 000008e5: SLOAD 000008e6: LT 000008e7: ISZERO 000008e8: DUP1 000008e9: ISZERO 000008ea: PUSH2 0x08f6 000008ed: JUMPI 000008ee: POP 000008ef: PUSH1 0x0d 000008f1: SLOAD 000008f2: PUSH1 0x02 000008f4: SLOAD 000008f5: LT 000008f6: JUMPDEST 000008f7: ISZERO 000008f8: PUSH2 0x0903 000008fb: JUMPI 000008fc: POP 000008fd: PUSH1 0x0a 000008ff: PUSH2 0x0907 00000902: JUMP 00000903: JUMPDEST 00000904: POP 00000905: PUSH1 0x00 00000907: JUMPDEST 00000908: SWAP1 00000909: JUMP 0000090a: JUMPDEST 0000090b: PUSH1 0x0a 0000090d: SLOAD 0000090e: DUP2 0000090f: JUMP 00000910: JUMPDEST 00000911: PUSH1 0x00 00000913: DUP1 00000914: PUSH1 0x01 00000916: DUP1 00000917: JUMPDEST 00000918: PUSH1 0x00 0000091a: SLOAD 0000091b: PUSH1 0xff 0000091d: AND 0000091e: PUSH1 0x03 00000920: DUP2 00000921: GT 00000922: ISZERO 00000923: PUSH2 0x0928 00000926: JUMPI 00000927: INVALID 00000928: JUMPDEST 00000929: EQ 0000092a: PUSH2 0x0932 0000092d: JUMPI 0000092e: PUSH1 0x00 00000930: DUP1 00000931: REVERT 00000932: JUMPDEST 00000933: PUSH1 0x01 00000935: PUSH1 0xa0 00000937: PUSH1 0x02 00000939: EXP 0000093a: SUB 0000093b: CALLER 0000093c: AND 0000093d: PUSH1 0x00 0000093f: SWAP1 00000940: DUP2 00000941: MSTORE 00000942: PUSH1 0x01 00000944: PUSH1 0x20 00000946: MSTORE 00000947: PUSH1 0x40 00000949: DUP2 0000094a: KECCAK256 0000094b: SLOAD 0000094c: GT 0000094d: PUSH2 0x0955 00000950: JUMPI 00000951: PUSH1 0x00 00000953: DUP1 00000954: REVERT 00000955: JUMPDEST 00000956: PUSH1 0x01 00000958: PUSH1 0xa0 0000095a: PUSH1 0x02 0000095c: EXP 0000095d: SUB 0000095e: CALLER 0000095f: AND 00000960: PUSH1 0x00 00000962: DUP2 00000963: DUP2 00000964: MSTORE 00000965: PUSH1 0x01 00000967: PUSH1 0x20 00000969: MSTORE 0000096a: PUSH1 0x40 0000096c: DUP1 0000096d: DUP3 0000096e: KECCAK256 0000096f: DUP1 00000970: SLOAD 00000971: SWAP3 00000972: SWAP1 00000973: SSTORE 00000974: SWAP1 00000975: SWAP4 00000976: POP 00000977: DUP4 00000978: ISZERO 00000979: PUSH2 0x08fc 0000097c: MUL 0000097d: SWAP1 0000097e: DUP5 0000097f: SWAP1 00000980: MLOAD 00000981: PUSH1 0x00 00000983: PUSH1 0x40 00000985: MLOAD 00000986: DUP1 00000987: DUP4 00000988: SUB 00000989: DUP2 0000098a: DUP6 0000098b: DUP9 0000098c: DUP9 0000098d: CALL 0000098e: SWAP4 0000098f: POP 00000990: POP 00000991: POP 00000992: POP 00000993: ISZERO 00000994: ISZERO 00000995: PUSH2 0x099d 00000998: JUMPI 00000999: PUSH1 0x00 0000099b: DUP1 0000099c: REVERT 0000099d: JUMPDEST 0000099e: JUMPDEST 0000099f: JUMPDEST 000009a0: POP 000009a1: POP 000009a2: SWAP1 000009a3: JUMP 000009a4: JUMPDEST 000009a5: PUSH1 0x00 000009a7: SLOAD 000009a8: PUSH1 0xff 000009aa: AND 000009ab: DUP2 000009ac: JUMP 000009ad: JUMPDEST 000009ae: PUSH1 0x00 000009b0: PUSH1 0x02 000009b2: DUP1 000009b3: JUMPDEST 000009b4: PUSH1 0x00 000009b6: SLOAD 000009b7: PUSH1 0xff 000009b9: AND 000009ba: PUSH1 0x03 000009bc: DUP2 000009bd: GT 000009be: ISZERO 000009bf: PUSH2 0x09c4 000009c2: JUMPI 000009c3: INVALID 000009c4: JUMPDEST 000009c5: EQ 000009c6: PUSH2 0x09ce 000009c9: JUMPI 000009ca: PUSH1 0x00 000009cc: DUP1 000009cd: REVERT 000009ce: JUMPDEST 000009cf: PUSH1 0x11 000009d1: SLOAD 000009d2: PUSH1 0x01 000009d4: PUSH1 0xa0 000009d6: PUSH1 0x02 000009d8: EXP 000009d9: SUB 000009da: SWAP1 000009db: DUP2 000009dc: AND 000009dd: SWAP1 000009de: ADDRESS 000009df: AND 000009e0: BALANCE 000009e1: DUP1 000009e2: ISZERO 000009e3: PUSH2 0x08fc 000009e6: MUL 000009e7: SWAP1 000009e8: PUSH1 0x40 000009ea: MLOAD 000009eb: PUSH1 0x00 000009ed: PUSH1 0x40 000009ef: MLOAD 000009f0: DUP1 000009f1: DUP4 000009f2: SUB 000009f3: DUP2 000009f4: DUP6 000009f5: DUP9 000009f6: DUP9 000009f7: CALL 000009f8: SWAP4 000009f9: POP 000009fa: POP 000009fb: POP 000009fc: POP 000009fd: ISZERO 000009fe: ISZERO 000009ff: PUSH2 0x0a07 00000a02: JUMPI 00000a03: PUSH1 0x00 00000a05: DUP1 00000a06: REVERT 00000a07: JUMPDEST 00000a08: PUSH2 0x0a15 00000a0b: PUSH1 0x03 00000a0d: SLOAD 00000a0e: PUSH1 0x04 00000a10: SLOAD 00000a11: PUSH2 0x0bd5 00000a14: JUMP 00000a15: JUMPDEST 00000a16: PUSH1 0x0f 00000a18: SLOAD 00000a19: PUSH1 0x10 00000a1b: SLOAD 00000a1c: SWAP2 00000a1d: SWAP4 00000a1e: POP 00000a1f: PUSH1 0x01 00000a21: PUSH1 0xa0 00000a23: PUSH1 0x02 00000a25: EXP 00000a26: SUB 00000a27: SWAP1 00000a28: DUP2 00000a29: AND 00000a2a: SWAP2 00000a2b: PUSH4 0xa9059cbb 00000a30: SWAP2 00000a31: AND 00000a32: DUP5 00000a33: PUSH1 0x40 00000a35: MLOAD 00000a36: PUSH1 0xe0 00000a38: PUSH1 0x02 00000a3a: EXP 00000a3b: PUSH4 0xffffffff 00000a40: DUP6 00000a41: AND 00000a42: MUL 00000a43: DUP2 00000a44: MSTORE 00000a45: PUSH1 0x01 00000a47: PUSH1 0xa0 00000a49: PUSH1 0x02 00000a4b: EXP 00000a4c: SUB 00000a4d: SWAP1 00000a4e: SWAP3 00000a4f: AND 00000a50: PUSH1 0x04 00000a52: DUP4 00000a53: ADD 00000a54: MSTORE 00000a55: PUSH1 0x24 00000a57: DUP3 00000a58: ADD 00000a59: MSTORE 00000a5a: PUSH1 0x44 00000a5c: ADD 00000a5d: PUSH1 0x00 00000a5f: PUSH1 0x40 00000a61: MLOAD 00000a62: DUP1 00000a63: DUP4 00000a64: SUB 00000a65: DUP2 00000a66: PUSH1 0x00 00000a68: DUP8 00000a69: DUP1 00000a6a: EXTCODESIZE 00000a6b: ISZERO 00000a6c: ISZERO 00000a6d: PUSH2 0x0a75 00000a70: JUMPI 00000a71: PUSH1 0x00 00000a73: DUP1 00000a74: REVERT 00000a75: JUMPDEST 00000a76: PUSH2 0x02c6 00000a79: GAS 00000a7a: SUB 00000a7b: CALL 00000a7c: ISZERO 00000a7d: ISZERO 00000a7e: PUSH2 0x0a86 00000a81: JUMPI 00000a82: PUSH1 0x00 00000a84: DUP1 00000a85: REVERT 00000a86: JUMPDEST 00000a87: POP 00000a88: POP 00000a89: PUSH1 0x00 00000a8b: DUP1 00000a8c: SLOAD 00000a8d: PUSH1 0x03 00000a8f: SWAP3 00000a90: POP 00000a91: PUSH1 0xff 00000a93: NOT 00000a94: AND 00000a95: PUSH1 0x01 00000a97: DUP4 00000a98: JUMPDEST 00000a99: MUL 00000a9a: OR 00000a9b: SWAP1 00000a9c: SSTORE 00000a9d: POP 00000a9e: PUSH1 0x11 00000aa0: SLOAD 00000aa1: PUSH32 0xcc2a9192e91e4dd58845fd890b297de7bfda33e9f07f14bb2e4fe2237c86723d 00000ac2: SWAP1 00000ac3: PUSH1 0x01 00000ac5: PUSH1 0xa0 00000ac7: PUSH1 0x02 00000ac9: EXP 00000aca: SUB 00000acb: AND 00000acc: PUSH1 0x40 00000ace: MLOAD 00000acf: PUSH1 0x01 00000ad1: PUSH1 0xa0 00000ad3: PUSH1 0x02 00000ad5: EXP 00000ad6: SUB 00000ad7: SWAP1 00000ad8: SWAP2 00000ad9: AND 00000ada: DUP2 00000adb: MSTORE 00000adc: PUSH1 0x20 00000ade: ADD 00000adf: PUSH1 0x40 00000ae1: MLOAD 00000ae2: DUP1 00000ae3: SWAP2 00000ae4: SUB 00000ae5: SWAP1 00000ae6: LOG1 00000ae7: JUMPDEST 00000ae8: JUMPDEST 00000ae9: POP 00000aea: POP 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: PUSH1 0x02 00000aef: SLOAD 00000af0: DUP2 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH1 0x0d 00000af5: SLOAD 00000af6: DUP2 00000af7: JUMP 00000af8: JUMPDEST 00000af9: PUSH1 0x10 00000afb: SLOAD 00000afc: CALLER 00000afd: PUSH1 0x01 00000aff: PUSH1 0xa0 00000b01: PUSH1 0x02 00000b03: EXP 00000b04: SUB 00000b05: SWAP1 00000b06: DUP2 00000b07: AND 00000b08: SWAP2 00000b09: AND 00000b0a: EQ 00000b0b: PUSH2 0x0b13 00000b0e: JUMPI 00000b0f: PUSH1 0x00 00000b11: DUP1 00000b12: REVERT 00000b13: JUMPDEST 00000b14: PUSH1 0x01 00000b16: JUMPDEST 00000b17: PUSH1 0x00 00000b19: SLOAD 00000b1a: PUSH1 0xff 00000b1c: AND 00000b1d: PUSH1 0x03 00000b1f: DUP2 00000b20: GT 00000b21: ISZERO 00000b22: PUSH2 0x0b27 00000b25: JUMPI 00000b26: INVALID 00000b27: JUMPDEST 00000b28: EQ 00000b29: DUP1 00000b2a: PUSH2 0x0b44 00000b2d: JUMPI 00000b2e: POP 00000b2f: PUSH1 0x02 00000b31: JUMPDEST 00000b32: PUSH1 0x00 00000b34: SLOAD 00000b35: PUSH1 0xff 00000b37: AND 00000b38: PUSH1 0x03 00000b3a: DUP2 00000b3b: GT 00000b3c: ISZERO 00000b3d: PUSH2 0x0b42 00000b40: JUMPI 00000b41: INVALID 00000b42: JUMPDEST 00000b43: EQ 00000b44: JUMPDEST 00000b45: DUP1 00000b46: ISZERO 00000b47: PUSH2 0x0b55 00000b4a: JUMPI 00000b4b: POP 00000b4c: TIMESTAMP 00000b4d: PUSH1 0x06 00000b4f: SLOAD 00000b50: PUSH2 0x0e10 00000b53: ADD 00000b54: LT 00000b55: JUMPDEST 00000b56: ISZERO 00000b57: ISZERO 00000b58: PUSH2 0x0b60 00000b5b: JUMPI 00000b5c: PUSH1 0x00 00000b5e: DUP1 00000b5f: REVERT 00000b60: JUMPDEST 00000b61: CALLER 00000b62: PUSH1 0x01 00000b64: PUSH1 0xa0 00000b66: PUSH1 0x02 00000b68: EXP 00000b69: SUB 00000b6a: AND 00000b6b: SELFDESTRUCT 00000b6c: JUMPDEST 00000b6d: JUMPDEST 00000b6e: JUMPDEST 00000b6f: JUMP 00000b70: JUMPDEST 00000b71: PUSH1 0x00 00000b73: DUP1 00000b74: DUP3 00000b75: DUP5 00000b76: DUP2 00000b77: ISZERO 00000b78: ISZERO 00000b79: PUSH2 0x0b7e 00000b7c: JUMPI 00000b7d: INVALID 00000b7e: JUMPDEST 00000b7f: DIV 00000b80: SWAP1 00000b81: POP 00000b82: DUP1 00000b83: SWAP2 00000b84: POP 00000b85: JUMPDEST 00000b86: POP 00000b87: SWAP3 00000b88: SWAP2 00000b89: POP 00000b8a: POP 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: PUSH1 0x00 00000b8f: DUP3 00000b90: DUP3 00000b91: MUL 00000b92: DUP4 00000b93: ISZERO 00000b94: DUP1 00000b95: PUSH2 0x0ba8 00000b98: JUMPI 00000b99: POP 00000b9a: DUP3 00000b9b: DUP5 00000b9c: DUP3 00000b9d: DUP2 00000b9e: ISZERO 00000b9f: ISZERO 00000ba0: PUSH2 0x0ba5 00000ba3: JUMPI 00000ba4: INVALID 00000ba5: JUMPDEST 00000ba6: DIV 00000ba7: EQ 00000ba8: JUMPDEST 00000ba9: ISZERO 00000baa: ISZERO 00000bab: PUSH2 0x0bb0 00000bae: JUMPI 00000baf: INVALID 00000bb0: JUMPDEST 00000bb1: DUP1 00000bb2: SWAP2 00000bb3: POP 00000bb4: JUMPDEST 00000bb5: POP 00000bb6: SWAP3 00000bb7: SWAP2 00000bb8: POP 00000bb9: POP 00000bba: JUMP 00000bbb: JUMPDEST 00000bbc: PUSH1 0x00 00000bbe: DUP3 00000bbf: DUP3 00000bc0: ADD 00000bc1: DUP4 00000bc2: DUP2 00000bc3: LT 00000bc4: ISZERO 00000bc5: PUSH2 0x0bb0 00000bc8: JUMPI 00000bc9: INVALID 00000bca: JUMPDEST 00000bcb: DUP1 00000bcc: SWAP2 00000bcd: POP 00000bce: JUMPDEST 00000bcf: POP 00000bd0: SWAP3 00000bd1: SWAP2 00000bd2: POP 00000bd3: POP 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: PUSH1 0x00 00000bd8: DUP3 00000bd9: DUP3 00000bda: GT 00000bdb: ISZERO 00000bdc: PUSH2 0x0be1 00000bdf: JUMPI 00000be0: INVALID 00000be1: JUMPDEST 00000be2: POP 00000be3: DUP1 00000be4: DUP3 00000be5: SUB 00000be6: JUMPDEST 00000be7: SWAP3 00000be8: SWAP2 00000be9: POP 00000bea: POP 00000beb: JUMP 00000bec: STOP 00000bed: LOG1 00000bee: PUSH6 0x627a7a723058 00000bf5: KECCAK256 00000bf6: STATICCALL 00000bf7: PUSH31 0xeb82e3855c427854594a29cc8b49cfb484ce54cec1a82d21a080b93753c300 00000c17: UNKNOWN(0x29)
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: 0x15beb4bc91c8ce8dcfb0d3bc1c2c4ebfc10af873c71c154da26c7dd590682677
call_targets:
0x2387a684f010936ce7267b0110c980c867533ff6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x15beb4bc91c8ce8dcfb0d3bc1c2c4ebfc10af873c71c154da26c7dd590682677",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2387a684f010936ce7267b0110c980c867533ff6"
],
"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": "0x02d05d3f",
"selector": "0x02d05d3f",
"calldata_variants": [
"0x02d05d3f",
"0x02d05d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38771242",
"selector": "0x38771242",
"calldata_variants": [
"0x38771242",
"0x387712420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c8da588",
"selector": "0x3c8da588",
"calldata_variants": [
"0x3c8da588",
"0x3c8da5880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400abd5f",
"selector": "0x400abd5f",
"calldata_variants": [
"0x400abd5f",
"0x400abd5f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42e94c90",
"selector": "0x42e94c90",
"calldata_variants": [
"0x42e94c90",
"0x42e94c900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x519ee19e",
"selector": "0x519ee19e",
"calldata_variants": [
"0x519ee19e",
"0x519ee19e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1526,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1637,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2445,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x15beb4bc91c8ce8dcfb0d3bc1c2c4ebfc10af873c71c154da26c7dd590682677
call_targets:
0x2387a684f010936ce7267b0110c980c867533ff6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x15beb4bc91c8ce8dcfb0d3bc1c2c4ebfc10af873c71c154da26c7dd590682677",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2387a684f010936ce7267b0110c980c867533ff6"
],
"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": "0x02d05d3f",
"selector": "0x02d05d3f",
"calldata_variants": [
"0x02d05d3f",
"0x02d05d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38771242",
"selector": "0x38771242",
"calldata_variants": [
"0x38771242",
"0x387712420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c8da588",
"selector": "0x3c8da588",
"calldata_variants": [
"0x3c8da588",
"0x3c8da5880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400abd5f",
"selector": "0x400abd5f",
"calldata_variants": [
"0x400abd5f",
"0x400abd5f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42e94c90",
"selector": "0x42e94c90",
"calldata_variants": [
"0x42e94c90",
"0x42e94c900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x519ee19e",
"selector": "0x519ee19e",
"calldata_variants": [
"0x519ee19e",
"0x519ee19e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1526,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1637,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2445,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x3bf6974f527eadb618cdc0a45f91b99f47e5bc5e311e46e5b2e2bf0a23d3781a
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x3bf6974f527eadb618cdc0a45f91b99f47e5bc5e311e46e5b2e2bf0a23d3781a",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x02d05d3f",
"selector": "0x02d05d3f",
"calldata_variants": [
"0x02d05d3f",
"0x02d05d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38771242",
"selector": "0x38771242",
"calldata_variants": [
"0x38771242",
"0x387712420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c8da588",
"selector": "0x3c8da588",
"calldata_variants": [
"0x3c8da588",
"0x3c8da5880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400abd5f",
"selector": "0x400abd5f",
"calldata_variants": [
"0x400abd5f",
"0x400abd5f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42e94c90",
"selector": "0x42e94c90",
"calldata_variants": [
"0x42e94c90",
"0x42e94c900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x519ee19e",
"selector": "0x519ee19e",
"calldata_variants": [
"0x519ee19e",
"0x519ee19e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|