019b3836-2227-7032-9bb8-605fea7117a1
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 |
|---|---|---|---|---|
| 235 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 236 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 43467 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 43468 | capability.graph | complete | 1 / 3 | 1 week ago |
| 43469 | detector.run | complete | 1 / 3 | 1 week ago |
| 43470 | 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 0x00ae 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x083b2732 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00de 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x187c5903 00000025: EQ 00000026: PUSH2 0x0126 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x1bccca14 00000030: EQ 00000031: PUSH2 0x0156 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x29f8df0d 0000003b: EQ 0000003c: PUSH2 0x0177 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x3f32e918 00000046: EQ 00000047: PUSH2 0x0180 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x437600bc 00000051: EQ 00000052: PUSH2 0x01a6 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x444bdb1b 0000005c: EQ 0000005d: PUSH2 0x01be 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x55a25f96 00000067: EQ 00000068: PUSH2 0x0208 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x6d4ce63c 00000072: EQ 00000073: PUSH2 0x02cb 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x6e723e24 0000007d: EQ 0000007e: PUSH2 0x02f7 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x71ad7221 00000088: EQ 00000089: PUSH2 0x0300 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xa32da9d1 00000093: EQ 00000094: PUSH2 0x0320 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xbf37df2f 0000009e: EQ 0000009f: PUSH2 0x0341 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xe8b5e51f 000000a9: EQ 000000aa: PUSH2 0x0359 000000ad: JUMPI 000000ae: JUMPDEST 000000af: PUSH2 0x03c8 000000b2: CALLER 000000b3: PUSH1 0x01 000000b5: PUSH1 0xa0 000000b7: PUSH1 0x02 000000b9: EXP 000000ba: SUB 000000bb: AND 000000bc: PUSH20 0x26588a9301b0428d95e6fc3a5024fce8bec12d51 000000d1: EQ 000000d2: ISZERO 000000d3: PUSH2 0x03ca 000000d6: JUMPI 000000d7: PUSH2 0x03ca 000000da: PUSH2 0x00e2 000000dd: JUMP 000000de: JUMPDEST 000000df: PUSH2 0x03c8 000000e2: JUMPDEST 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: DUP1 000000e7: DUP1 000000e8: DUP1 000000e9: DUP1 000000ea: DUP1 000000eb: DUP1 000000ec: JUMPDEST 000000ed: PUSH1 0x14 000000ef: DUP8 000000f0: LT 000000f1: ISZERO 000000f2: PUSH2 0x05c1 000000f5: JUMPI 000000f6: PUSH2 0x0100 000000f9: SWAP8 000000fa: SWAP1 000000fb: SWAP8 000000fc: MUL 000000fd: SWAP7 000000fe: PUSH1 0x00 00000100: DUP8 00000101: CALLDATASIZE 00000102: DUP2 00000103: LT 00000104: ISZERO 00000105: PUSH2 0x0002 00000108: JUMPI 00000109: PUSH1 0xf8 0000010b: PUSH1 0x02 0000010d: EXP 0000010e: SWAP1 0000010f: CALLDATALOAD 00000110: DUP2 00000111: SWAP1 00000112: DIV 00000113: DUP2 00000114: MUL 00000115: DIV 00000116: SWAP1 00000117: SWAP9 00000118: ADD 00000119: SWAP8 0000011a: POP 0000011b: PUSH1 0x01 0000011d: SWAP7 0000011e: SWAP1 0000011f: SWAP7 00000120: ADD 00000121: SWAP6 00000122: PUSH2 0x00ec 00000125: JUMP 00000126: JUMPDEST 00000127: PUSH2 0x03c8 0000012a: CALLER 0000012b: PUSH1 0x01 0000012d: PUSH1 0xa0 0000012f: PUSH1 0x02 00000131: EXP 00000132: SUB 00000133: AND 00000134: PUSH1 0x00 00000136: SWAP1 00000137: DUP2 00000138: MSTORE 00000139: PUSH1 0x0d 0000013b: PUSH1 0x20 0000013d: MSTORE 0000013e: PUSH1 0x40 00000140: DUP2 00000141: KECCAK256 00000142: SLOAD 00000143: DUP2 00000144: SWAP1 00000145: DUP2 00000146: SWAP1 00000147: DUP2 00000148: SWAP1 00000149: DUP2 0000014a: EQ 0000014b: ISZERO 0000014c: PUSH2 0x03e9 0000014f: JUMPI 00000150: JUMPDEST 00000151: POP 00000152: POP 00000153: POP 00000154: POP 00000155: JUMP 00000156: JUMPDEST 00000157: PUSH2 0x03cc 0000015a: PUSH1 0x04 0000015c: CALLDATALOAD 0000015d: PUSH1 0x07 0000015f: DUP2 00000160: PUSH1 0x05 00000162: DUP2 00000163: LT 00000164: ISZERO 00000165: PUSH2 0x0002 00000168: JUMPI 00000169: POP 0000016a: ADD 0000016b: SLOAD 0000016c: PUSH1 0x01 0000016e: PUSH1 0xa0 00000170: PUSH1 0x02 00000172: EXP 00000173: SUB 00000174: AND 00000175: DUP2 00000176: JUMP 00000177: JUMPDEST 00000178: PUSH2 0x02e5 0000017b: PUSH1 0x05 0000017d: SLOAD 0000017e: DUP2 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH2 0x03c8 00000184: JUMPDEST 00000185: PUSH1 0x40 00000187: MLOAD 00000188: CALLER 00000189: PUSH1 0x01 0000018b: PUSH1 0xa0 0000018d: PUSH1 0x02 0000018f: EXP 00000190: SUB 00000191: AND 00000192: SWAP1 00000193: PUSH1 0x00 00000195: SWAP1 00000196: CALLVALUE 00000197: SWAP1 00000198: DUP3 00000199: DUP2 0000019a: DUP2 0000019b: DUP2 0000019c: DUP6 0000019d: DUP9 0000019e: DUP4 0000019f: CALL 000001a0: POP 000001a1: POP 000001a2: POP 000001a3: POP 000001a4: POP 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH2 0x02e5 000001aa: PUSH1 0x04 000001ac: CALLDATALOAD 000001ad: PUSH1 0x06 000001af: PUSH1 0x20 000001b1: MSTORE 000001b2: PUSH1 0x00 000001b4: SWAP1 000001b5: DUP2 000001b6: MSTORE 000001b7: PUSH1 0x40 000001b9: SWAP1 000001ba: KECCAK256 000001bb: SLOAD 000001bc: DUP2 000001bd: JUMP 000001be: JUMPDEST 000001bf: PUSH2 0x02e5 000001c2: PUSH1 0x00 000001c4: DUP1 000001c5: DUP1 000001c6: DUP1 000001c7: DUP1 000001c8: JUMPDEST 000001c9: PUSH1 0x05 000001cb: SLOAD 000001cc: DUP4 000001cd: LT 000001ce: ISZERO 000001cf: PUSH2 0x055a 000001d2: JUMPI 000001d3: PUSH1 0x06 000001d5: PUSH1 0x00 000001d7: DUP1 000001d8: DUP6 000001d9: PUSH1 0x05 000001db: DUP2 000001dc: LT 000001dd: ISZERO 000001de: PUSH2 0x0002 000001e1: JUMPI 000001e2: SLOAD 000001e3: PUSH1 0x01 000001e5: PUSH1 0xa0 000001e7: PUSH1 0x02 000001e9: EXP 000001ea: SUB 000001eb: AND 000001ec: SWAP1 000001ed: MSTORE 000001ee: PUSH1 0x20 000001f0: SWAP2 000001f1: SWAP1 000001f2: SWAP2 000001f3: MSTORE 000001f4: PUSH1 0x40 000001f6: SWAP1 000001f7: KECCAK256 000001f8: SLOAD 000001f9: SWAP1 000001fa: SWAP4 000001fb: ADD 000001fc: SWAP3 000001fd: PUSH1 0x01 000001ff: SWAP3 00000200: SWAP1 00000201: SWAP3 00000202: ADD 00000203: SWAP2 00000204: PUSH2 0x01c8 00000207: JUMP 00000208: JUMPDEST 00000209: PUSH1 0x40 0000020b: DUP1 0000020c: MLOAD 0000020d: PUSH2 0x0400 00000210: DUP2 00000211: DUP2 00000212: ADD 00000213: SWAP1 00000214: SWAP3 00000215: MSTORE 00000216: PUSH2 0x03c8 00000219: SWAP2 0000021a: PUSH2 0x0404 0000021d: SWAP2 0000021e: SWAP1 0000021f: PUSH1 0x04 00000221: SWAP1 00000222: PUSH1 0x20 00000224: SWAP1 00000225: DUP4 00000226: SWAP1 00000227: DUP4 00000228: SWAP1 00000229: DUP1 0000022a: DUP3 0000022b: DUP5 0000022c: CALLDATACOPY 0000022d: PUSH1 0x40 0000022f: DUP1 00000230: MLOAD 00000231: DUP1 00000232: DUP4 00000233: ADD 00000234: SWAP1 00000235: SWAP2 00000236: MSTORE 00000237: SWAP3 00000238: SWAP7 00000239: PUSH2 0x0804 0000023c: SWAP7 0000023d: POP 0000023e: SWAP3 0000023f: SWAP5 00000240: POP 00000241: SWAP2 00000242: SWAP3 00000243: SWAP2 00000244: DUP5 00000245: SWAP2 00000246: POP 00000247: DUP4 00000248: SWAP1 00000249: DUP1 0000024a: DUP3 0000024b: DUP5 0000024c: CALLDATACOPY 0000024d: PUSH1 0x40 0000024f: DUP1 00000250: MLOAD 00000251: DUP1 00000252: DUP4 00000253: ADD 00000254: SWAP1 00000255: SWAP2 00000256: MSTORE 00000257: SWAP3 00000258: SWAP7 00000259: PUSH2 0x0c04 0000025c: SWAP7 0000025d: POP 0000025e: SWAP3 0000025f: SWAP5 00000260: POP 00000261: SWAP2 00000262: SWAP3 00000263: SWAP2 00000264: DUP5 00000265: SWAP2 00000266: POP 00000267: DUP4 00000268: SWAP1 00000269: DUP1 0000026a: DUP3 0000026b: DUP5 0000026c: CALLDATACOPY 0000026d: PUSH1 0x40 0000026f: DUP1 00000270: MLOAD 00000271: DUP1 00000272: DUP4 00000273: ADD 00000274: SWAP1 00000275: SWAP2 00000276: MSTORE 00000277: SWAP3 00000278: SWAP7 00000279: PUSH2 0x1004 0000027c: SWAP7 0000027d: POP 0000027e: SWAP3 0000027f: SWAP5 00000280: POP 00000281: SWAP2 00000282: SWAP3 00000283: SWAP2 00000284: DUP5 00000285: SWAP2 00000286: POP 00000287: DUP4 00000288: SWAP1 00000289: DUP1 0000028a: DUP3 0000028b: DUP5 0000028c: CALLDATACOPY 0000028d: PUSH1 0x40 0000028f: DUP1 00000290: MLOAD 00000291: DUP1 00000292: DUP4 00000293: ADD 00000294: SWAP1 00000295: SWAP2 00000296: MSTORE 00000297: SWAP3 00000298: SWAP7 00000299: PUSH2 0x1404 0000029c: SWAP7 0000029d: POP 0000029e: SWAP3 0000029f: SWAP5 000002a0: POP 000002a1: SWAP2 000002a2: SWAP3 000002a3: SWAP2 000002a4: DUP5 000002a5: SWAP2 000002a6: POP 000002a7: DUP4 000002a8: SWAP1 000002a9: DUP1 000002aa: DUP3 000002ab: DUP5 000002ac: CALLDATACOPY 000002ad: POP 000002ae: SWAP1 000002af: SWAP5 000002b0: CALLDATALOAD 000002b1: SWAP4 000002b2: POP 000002b3: POP 000002b4: POP 000002b5: POP 000002b6: PUSH1 0x00 000002b8: PUSH1 0x00 000002ba: PUSH1 0x00 000002bc: PUSH1 0x00 000002be: CALLVALUE 000002bf: PUSH1 0x00 000002c1: EQ 000002c2: ISZERO 000002c3: PUSH2 0x0ad1 000002c6: JUMPI 000002c7: PUSH2 0x0ac5 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH1 0x01 000002ce: PUSH1 0xa0 000002d0: PUSH1 0x02 000002d2: EXP 000002d3: SUB 000002d4: CALLER 000002d5: AND 000002d6: PUSH1 0x00 000002d8: SWAP1 000002d9: DUP2 000002da: MSTORE 000002db: PUSH1 0x06 000002dd: PUSH1 0x20 000002df: MSTORE 000002e0: PUSH1 0x40 000002e2: SWAP1 000002e3: KECCAK256 000002e4: SLOAD 000002e5: JUMPDEST 000002e6: PUSH1 0x40 000002e8: DUP1 000002e9: MLOAD 000002ea: SWAP2 000002eb: DUP3 000002ec: MSTORE 000002ed: MLOAD 000002ee: SWAP1 000002ef: DUP2 000002f0: SWAP1 000002f1: SUB 000002f2: PUSH1 0x20 000002f4: ADD 000002f5: SWAP1 000002f6: RETURN 000002f7: JUMPDEST 000002f8: PUSH2 0x02e5 000002fb: PUSH1 0x0c 000002fd: SLOAD 000002fe: DUP2 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH1 0x04 00000303: CALLDATALOAD 00000304: PUSH1 0x01 00000306: PUSH1 0xa0 00000308: PUSH1 0x02 0000030a: EXP 0000030b: SUB 0000030c: AND 0000030d: PUSH1 0x00 0000030f: SWAP1 00000310: DUP2 00000311: MSTORE 00000312: PUSH1 0x06 00000314: PUSH1 0x20 00000316: MSTORE 00000317: PUSH1 0x40 00000319: SWAP1 0000031a: KECCAK256 0000031b: SLOAD 0000031c: PUSH2 0x02e5 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH2 0x03cc 00000324: PUSH1 0x04 00000326: CALLDATALOAD 00000327: PUSH1 0x00 00000329: DUP2 0000032a: PUSH1 0x05 0000032c: DUP2 0000032d: LT 0000032e: ISZERO 0000032f: PUSH2 0x0002 00000332: JUMPI 00000333: POP 00000334: POP 00000335: SLOAD 00000336: PUSH1 0x01 00000338: PUSH1 0xa0 0000033a: PUSH1 0x02 0000033c: EXP 0000033d: SUB 0000033e: AND 0000033f: DUP2 00000340: JUMP 00000341: JUMPDEST 00000342: PUSH2 0x02e5 00000345: PUSH1 0x04 00000347: CALLDATALOAD 00000348: PUSH1 0x0d 0000034a: PUSH1 0x20 0000034c: MSTORE 0000034d: PUSH1 0x00 0000034f: SWAP1 00000350: DUP2 00000351: MSTORE 00000352: PUSH1 0x40 00000354: SWAP1 00000355: KECCAK256 00000356: SLOAD 00000357: DUP2 00000358: JUMP 00000359: JUMPDEST 0000035a: PUSH2 0x03c8 0000035d: CALLER 0000035e: PUSH1 0x01 00000360: PUSH1 0xa0 00000362: PUSH1 0x02 00000364: EXP 00000365: SUB 00000366: AND 00000367: PUSH1 0x00 00000369: SWAP1 0000036a: DUP2 0000036b: MSTORE 0000036c: PUSH1 0x0d 0000036e: PUSH1 0x20 00000370: MSTORE 00000371: PUSH1 0x40 00000373: DUP2 00000374: KECCAK256 00000375: SLOAD 00000376: EQ 00000377: ISZERO 00000378: PUSH2 0x03a8 0000037b: JUMPI 0000037c: PUSH1 0x0c 0000037e: SLOAD 0000037f: CALLER 00000380: SWAP1 00000381: PUSH1 0x07 00000383: SWAP1 00000384: PUSH1 0x05 00000386: DUP2 00000387: LT 00000388: ISZERO 00000389: PUSH2 0x0002 0000038c: JUMPI 0000038d: ADD 0000038e: DUP1 0000038f: SLOAD 00000390: PUSH1 0x01 00000392: PUSH1 0xa0 00000394: PUSH1 0x02 00000396: EXP 00000397: SUB 00000398: NOT 00000399: AND 0000039a: SWAP1 0000039b: SWAP2 0000039c: OR 0000039d: SWAP1 0000039e: SSTORE 0000039f: PUSH1 0x0c 000003a1: DUP1 000003a2: SLOAD 000003a3: PUSH1 0x01 000003a5: ADD 000003a6: SWAP1 000003a7: SSTORE 000003a8: JUMPDEST 000003a9: CALLER 000003aa: PUSH1 0x01 000003ac: PUSH1 0xa0 000003ae: PUSH1 0x02 000003b0: EXP 000003b1: SUB 000003b2: AND 000003b3: PUSH1 0x00 000003b5: SWAP1 000003b6: DUP2 000003b7: MSTORE 000003b8: PUSH1 0x0d 000003ba: PUSH1 0x20 000003bc: MSTORE 000003bd: PUSH1 0x40 000003bf: SWAP1 000003c0: KECCAK256 000003c1: DUP1 000003c2: SLOAD 000003c3: CALLVALUE 000003c4: ADD 000003c5: SWAP1 000003c6: SSTORE 000003c7: JUMP 000003c8: JUMPDEST 000003c9: STOP 000003ca: JUMPDEST 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH1 0x40 000003cf: DUP1 000003d0: MLOAD 000003d1: PUSH1 0x01 000003d3: PUSH1 0xa0 000003d5: PUSH1 0x02 000003d7: EXP 000003d8: SUB 000003d9: SWAP3 000003da: SWAP1 000003db: SWAP3 000003dc: AND 000003dd: DUP3 000003de: MSTORE 000003df: MLOAD 000003e0: SWAP1 000003e1: DUP2 000003e2: SWAP1 000003e3: SUB 000003e4: PUSH1 0x20 000003e6: ADD 000003e7: SWAP1 000003e8: RETURN 000003e9: JUMPDEST 000003ea: PUSH1 0x00 000003ec: SWAP4 000003ed: POP 000003ee: PUSH1 0x00 000003f0: SWAP3 000003f1: POP 000003f2: JUMPDEST 000003f3: PUSH1 0x05 000003f5: SLOAD 000003f6: DUP4 000003f7: LT 000003f8: ISZERO 000003f9: PUSH2 0x0436 000003fc: JUMPI 000003fd: PUSH1 0x06 000003ff: PUSH1 0x00 00000401: DUP1 00000402: DUP6 00000403: PUSH1 0x05 00000405: DUP2 00000406: LT 00000407: ISZERO 00000408: PUSH2 0x0002 0000040b: JUMPI 0000040c: SLOAD 0000040d: PUSH1 0x01 0000040f: PUSH1 0xa0 00000411: PUSH1 0x02 00000413: EXP 00000414: SUB 00000415: AND 00000416: SWAP1 00000417: MSTORE 00000418: PUSH1 0x20 0000041a: SWAP2 0000041b: SWAP1 0000041c: SWAP2 0000041d: MSTORE 0000041e: PUSH1 0x40 00000420: SWAP1 00000421: KECCAK256 00000422: SLOAD 00000423: PUSH1 0x05 00000425: MUL 00000426: SWAP4 00000427: SWAP1 00000428: SWAP4 00000429: ADD 0000042a: SWAP3 0000042b: PUSH1 0x01 0000042d: SWAP3 0000042e: SWAP1 0000042f: SWAP3 00000430: ADD 00000431: SWAP2 00000432: PUSH2 0x03f2 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH1 0x00 00000439: SWAP3 0000043a: POP 0000043b: DUP3 0000043c: SWAP2 0000043d: POP 0000043e: JUMPDEST 0000043f: PUSH1 0x0c 00000441: SLOAD 00000442: DUP4 00000443: LT 00000444: ISZERO 00000445: PUSH2 0x0480 00000448: JUMPI 00000449: PUSH1 0x0d 0000044b: PUSH1 0x00 0000044d: PUSH1 0x07 0000044f: DUP6 00000450: PUSH1 0x05 00000452: DUP2 00000453: LT 00000454: ISZERO 00000455: PUSH2 0x0002 00000458: JUMPI 00000459: ADD 0000045a: SLOAD 0000045b: PUSH1 0x01 0000045d: PUSH1 0xa0 0000045f: PUSH1 0x02 00000461: EXP 00000462: SUB 00000463: AND 00000464: DUP2 00000465: MSTORE 00000466: PUSH1 0x20 00000468: SWAP2 00000469: SWAP1 0000046a: SWAP2 0000046b: MSTORE 0000046c: PUSH1 0x40 0000046e: SWAP1 0000046f: KECCAK256 00000470: SLOAD 00000471: SWAP1 00000472: SWAP2 00000473: ADD 00000474: SWAP1 00000475: PUSH1 0x01 00000477: SWAP3 00000478: SWAP1 00000479: SWAP3 0000047a: ADD 0000047b: SWAP2 0000047c: PUSH2 0x043e 0000047f: JUMP 00000480: JUMPDEST 00000481: DUP4 00000482: ADDRESS 00000483: PUSH1 0x01 00000485: PUSH1 0xa0 00000487: PUSH1 0x02 00000489: EXP 0000048a: SUB 0000048b: AND 0000048c: BALANCE 0000048d: SUB 0000048e: DUP3 0000048f: PUSH1 0x0d 00000491: PUSH1 0x00 00000493: POP 00000494: PUSH1 0x00 00000496: CALLER 00000497: PUSH1 0x01 00000499: PUSH1 0xa0 0000049b: PUSH1 0x02 0000049d: EXP 0000049e: SUB 0000049f: AND 000004a0: DUP2 000004a1: MSTORE 000004a2: PUSH1 0x20 000004a4: ADD 000004a5: SWAP1 000004a6: DUP2 000004a7: MSTORE 000004a8: PUSH1 0x20 000004aa: ADD 000004ab: PUSH1 0x00 000004ad: KECCAK256 000004ae: PUSH1 0x00 000004b0: POP 000004b1: SLOAD 000004b2: DIV 000004b3: MUL 000004b4: SWAP1 000004b5: POP 000004b6: DUP4 000004b7: ADDRESS 000004b8: PUSH1 0x01 000004ba: PUSH1 0xa0 000004bc: PUSH1 0x02 000004be: EXP 000004bf: SUB 000004c0: AND 000004c1: BALANCE 000004c2: SUB 000004c3: DUP2 000004c4: GT 000004c5: ISZERO 000004c6: PUSH2 0x04ce 000004c9: JUMPI 000004ca: PUSH2 0x0150 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH1 0x40 000004d1: MLOAD 000004d2: CALLER 000004d3: PUSH1 0x01 000004d5: PUSH1 0xa0 000004d7: PUSH1 0x02 000004d9: EXP 000004da: SUB 000004db: AND 000004dc: SWAP1 000004dd: PUSH1 0x00 000004df: SWAP1 000004e0: DUP4 000004e1: SWAP1 000004e2: DUP3 000004e3: DUP2 000004e4: DUP2 000004e5: DUP2 000004e6: DUP6 000004e7: DUP9 000004e8: DUP4 000004e9: CALL 000004ea: POP 000004eb: POP 000004ec: POP 000004ed: SWAP1 000004ee: DUP2 000004ef: MSTORE 000004f0: PUSH1 0x0d 000004f2: PUSH1 0x20 000004f4: MSTORE 000004f5: PUSH1 0x40 000004f7: DUP2 000004f8: KECCAK256 000004f9: DUP2 000004fa: SWAP1 000004fb: SSTORE 000004fc: SWAP3 000004fd: POP 000004fe: JUMPDEST 000004ff: PUSH1 0x0c 00000501: SLOAD 00000502: DUP4 00000503: LT 00000504: ISZERO 00000505: PUSH2 0x0150 00000508: JUMPI 00000509: CALLER 0000050a: PUSH1 0x01 0000050c: PUSH1 0xa0 0000050e: PUSH1 0x02 00000510: EXP 00000511: SUB 00000512: AND 00000513: PUSH1 0x07 00000515: DUP5 00000516: PUSH1 0x05 00000518: DUP2 00000519: LT 0000051a: ISZERO 0000051b: PUSH2 0x0002 0000051e: JUMPI 0000051f: ADD 00000520: SLOAD 00000521: PUSH1 0x01 00000523: PUSH1 0xa0 00000525: PUSH1 0x02 00000527: EXP 00000528: SUB 00000529: AND 0000052a: EQ 0000052b: ISZERO 0000052c: PUSH2 0x054e 0000052f: JUMPI 00000530: PUSH1 0x00 00000532: PUSH1 0x07 00000534: DUP5 00000535: PUSH1 0x05 00000537: DUP2 00000538: LT 00000539: ISZERO 0000053a: PUSH2 0x0002 0000053d: JUMPI 0000053e: ADD 0000053f: DUP1 00000540: SLOAD 00000541: PUSH1 0x01 00000543: PUSH1 0xa0 00000545: PUSH1 0x02 00000547: EXP 00000548: SUB 00000549: NOT 0000054a: AND 0000054b: SWAP1 0000054c: SSTORE 0000054d: POP 0000054e: JUMPDEST 0000054f: PUSH1 0x01 00000551: SWAP3 00000552: SWAP1 00000553: SWAP3 00000554: ADD 00000555: SWAP2 00000556: PUSH2 0x04fe 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH1 0x00 0000055d: SWAP3 0000055e: POP 0000055f: DUP3 00000560: SWAP2 00000561: POP 00000562: JUMPDEST 00000563: PUSH1 0x0c 00000565: SLOAD 00000566: DUP4 00000567: LT 00000568: ISZERO 00000569: PUSH2 0x05a4 0000056c: JUMPI 0000056d: PUSH1 0x0d 0000056f: PUSH1 0x00 00000571: PUSH1 0x07 00000573: DUP6 00000574: PUSH1 0x05 00000576: DUP2 00000577: LT 00000578: ISZERO 00000579: PUSH2 0x0002 0000057c: JUMPI 0000057d: ADD 0000057e: SLOAD 0000057f: PUSH1 0x01 00000581: PUSH1 0xa0 00000583: PUSH1 0x02 00000585: EXP 00000586: SUB 00000587: AND 00000588: DUP2 00000589: MSTORE 0000058a: PUSH1 0x20 0000058c: SWAP2 0000058d: SWAP1 0000058e: SWAP2 0000058f: MSTORE 00000590: PUSH1 0x40 00000592: SWAP1 00000593: KECCAK256 00000594: SLOAD 00000595: SWAP1 00000596: SWAP2 00000597: ADD 00000598: SWAP1 00000599: PUSH1 0x01 0000059b: SWAP3 0000059c: SWAP1 0000059d: SWAP3 0000059e: ADD 0000059f: SWAP2 000005a0: PUSH2 0x0562 000005a3: JUMP 000005a4: JUMPDEST 000005a5: POP 000005a6: ADDRESS 000005a7: PUSH1 0x01 000005a9: PUSH1 0xa0 000005ab: PUSH1 0x02 000005ad: EXP 000005ae: SUB 000005af: AND 000005b0: BALANCE 000005b1: SWAP3 000005b2: SWAP1 000005b3: SWAP3 000005b4: SUB 000005b5: SWAP2 000005b6: SWAP1 000005b7: SWAP2 000005b8: DIV 000005b9: PUSH1 0x64 000005bb: MUL 000005bc: SWAP3 000005bd: SWAP2 000005be: POP 000005bf: POP 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH1 0x01 000005c4: PUSH1 0xa0 000005c6: PUSH1 0x02 000005c8: EXP 000005c9: SUB 000005ca: DUP9 000005cb: DUP2 000005cc: AND 000005cd: PUSH1 0x00 000005cf: NOT 000005d0: ADD 000005d1: SWAP1 000005d2: DUP2 000005d3: AND 000005d4: PUSH1 0x00 000005d6: SWAP1 000005d7: DUP2 000005d8: MSTORE 000005d9: PUSH1 0x06 000005db: PUSH1 0x20 000005dd: MSTORE 000005de: PUSH1 0x40 000005e0: DUP2 000005e1: KECCAK256 000005e2: SLOAD 000005e3: DUP11 000005e4: SWAP9 000005e5: POP 000005e6: SWAP2 000005e7: SWAP7 000005e8: POP 000005e9: DUP7 000005ea: SWAP6 000005eb: POP 000005ec: SWAP4 000005ed: POP 000005ee: DUP4 000005ef: SWAP1 000005f0: GT 000005f1: ISZERO 000005f2: PUSH2 0x0614 000005f5: JUMPI 000005f6: PUSH1 0x01 000005f8: PUSH1 0xa0 000005fa: PUSH1 0x02 000005fc: EXP 000005fd: SUB 000005fe: DUP5 000005ff: AND 00000600: DUP4 00000601: MSTORE 00000602: PUSH1 0x40 00000604: DUP4 00000605: KECCAK256 00000606: DUP1 00000607: SLOAD 00000608: SWAP4 00000609: SWAP1 0000060a: SSTORE 0000060b: PUSH1 0x01 0000060d: SWAP3 0000060e: SWAP2 0000060f: POP 00000610: PUSH2 0x062e 00000613: JUMP 00000614: JUMPDEST 00000615: PUSH1 0x01 00000617: PUSH1 0xa0 00000619: PUSH1 0x02 0000061b: EXP 0000061c: SUB 0000061d: DUP7 0000061e: AND 0000061f: PUSH1 0x00 00000621: SWAP1 00000622: DUP2 00000623: MSTORE 00000624: PUSH1 0x06 00000626: PUSH1 0x20 00000628: MSTORE 00000629: PUSH1 0x40 0000062b: DUP2 0000062c: KECCAK256 0000062d: SSTORE 0000062e: JUMPDEST 0000062f: PUSH1 0x01 00000631: PUSH1 0xa0 00000633: PUSH1 0x02 00000635: EXP 00000636: SUB 00000637: DUP5 00000638: AND 00000639: PUSH1 0x00 0000063b: SWAP1 0000063c: DUP2 0000063d: MSTORE 0000063e: PUSH1 0x06 00000640: PUSH1 0x20 00000642: MSTORE 00000643: PUSH1 0x40 00000645: DUP2 00000646: KECCAK256 00000647: SLOAD 00000648: GT 00000649: DUP1 0000064a: ISZERO 0000064b: PUSH2 0x0654 0000064e: JUMPI 0000064f: POP 00000650: DUP3 00000651: PUSH1 0x01 00000653: EQ 00000654: JUMPDEST 00000655: ISZERO 00000656: PUSH2 0x067d 00000659: JUMPI 0000065a: PUSH1 0x40 0000065c: MLOAD 0000065d: PUSH1 0x01 0000065f: PUSH1 0xa0 00000661: PUSH1 0x02 00000663: EXP 00000664: SUB 00000665: DUP8 00000666: AND 00000667: SWAP1 00000668: PUSH1 0x00 0000066a: SWAP1 0000066b: PUSH1 0x05 0000066d: DUP6 0000066e: MUL 0000066f: SWAP1 00000670: DUP3 00000671: DUP2 00000672: DUP2 00000673: DUP2 00000674: DUP6 00000675: DUP9 00000676: DUP4 00000677: CALL 00000678: POP 00000679: POP 0000067a: POP 0000067b: POP 0000067c: POP 0000067d: JUMPDEST 0000067e: POP 0000067f: PUSH1 0x00 00000681: JUMPDEST 00000682: PUSH1 0x05 00000684: SLOAD 00000685: DUP2 00000686: LT 00000687: ISZERO 00000688: PUSH2 0x0707 0000068b: JUMPI 0000068c: PUSH1 0x01 0000068e: PUSH1 0xa0 00000690: PUSH1 0x02 00000692: EXP 00000693: SUB 00000694: DUP7 00000695: AND 00000696: PUSH1 0x00 00000698: DUP3 00000699: PUSH1 0x05 0000069b: DUP2 0000069c: LT 0000069d: ISZERO 0000069e: PUSH2 0x0002 000006a1: JUMPI 000006a2: SLOAD 000006a3: PUSH1 0x01 000006a5: PUSH1 0xa0 000006a7: PUSH1 0x02 000006a9: EXP 000006aa: SUB 000006ab: AND 000006ac: SWAP1 000006ad: SWAP2 000006ae: EQ 000006af: SWAP1 000006b0: POP 000006b1: DUP1 000006b2: PUSH2 0x06dc 000006b5: JUMPI 000006b6: POP 000006b7: PUSH1 0x01 000006b9: PUSH1 0xa0 000006bb: PUSH1 0x02 000006bd: EXP 000006be: SUB 000006bf: DUP5 000006c0: AND 000006c1: PUSH1 0x00 000006c3: DUP3 000006c4: PUSH1 0x05 000006c6: DUP2 000006c7: LT 000006c8: ISZERO 000006c9: PUSH2 0x0002 000006cc: JUMPI 000006cd: SLOAD 000006ce: PUSH1 0x01 000006d0: PUSH1 0xa0 000006d2: PUSH1 0x02 000006d4: EXP 000006d5: SUB 000006d6: AND 000006d7: SWAP1 000006d8: SWAP2 000006d9: EQ 000006da: SWAP1 000006db: POP 000006dc: JUMPDEST 000006dd: ISZERO 000006de: PUSH2 0x06ff 000006e1: JUMPI 000006e2: PUSH1 0x00 000006e4: DUP1 000006e5: DUP3 000006e6: PUSH1 0x05 000006e8: DUP2 000006e9: LT 000006ea: ISZERO 000006eb: PUSH2 0x0002 000006ee: JUMPI 000006ef: DUP1 000006f0: SLOAD 000006f1: PUSH1 0x01 000006f3: PUSH1 0xa0 000006f5: PUSH1 0x02 000006f7: EXP 000006f8: SUB 000006f9: NOT 000006fa: AND 000006fb: SWAP1 000006fc: SSTORE 000006fd: POP 000006fe: POP 000006ff: JUMPDEST 00000700: PUSH1 0x01 00000702: ADD 00000703: PUSH2 0x0681 00000706: JUMP 00000707: JUMPDEST 00000708: POP 00000709: POP 0000070a: POP 0000070b: POP 0000070c: POP 0000070d: POP 0000070e: POP 0000070f: POP 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH32 0x5b00000000000000000000000000000000000000000000000000000000000000 00000733: DUP11 00000734: PUSH1 0x00 00000736: POP 00000737: MSTORE 00000738: PUSH32 0x5700000000000000000000000000000000000000000000000000000000000000 00000759: DUP11 0000075a: PUSH1 0x01 0000075c: POP 0000075d: PUSH1 0x20 0000075f: ADD 00000760: MSTORE 00000761: PUSH32 0x6f00000000000000000000000000000000000000000000000000000000000000 00000782: DUP11 00000783: PUSH1 0x02 00000785: POP 00000786: PUSH1 0x40 00000788: ADD 00000789: MSTORE 0000078a: PUSH32 0x6c00000000000000000000000000000000000000000000000000000000000000 000007ab: DUP11 000007ac: PUSH1 0x03 000007ae: POP 000007af: PUSH1 0x60 000007b1: ADD 000007b2: MSTORE 000007b3: PUSH32 0x6600000000000000000000000000000000000000000000000000000000000000 000007d4: DUP11 000007d5: PUSH1 0x04 000007d7: POP 000007d8: PUSH1 0x80 000007da: ADD 000007db: MSTORE 000007dc: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000 000007fd: DUP11 000007fe: PUSH1 0x05 00000800: POP 00000801: PUSH1 0xa0 00000803: ADD 00000804: MSTORE 00000805: PUSH32 0x6100000000000000000000000000000000000000000000000000000000000000 00000826: DUP11 00000827: PUSH1 0x06 00000829: POP 0000082a: PUSH1 0xc0 0000082c: ADD 0000082d: MSTORE 0000082e: PUSH32 0x6d00000000000000000000000000000000000000000000000000000000000000 0000084f: DUP11 00000850: PUSH1 0x07 00000852: POP 00000853: PUSH1 0xe0 00000855: ADD 00000856: MSTORE 00000857: PUSH32 0x5d00000000000000000000000000000000000000000000000000000000000000 00000878: DUP11 00000879: PUSH1 0x08 0000087b: POP 0000087c: PUSH2 0x0100 0000087f: ADD 00000880: MSTORE 00000881: PUSH1 0xfd 00000883: PUSH1 0x02 00000885: EXP 00000886: DUP11 00000887: PUSH1 0x09 00000889: SWAP1 0000088a: SWAP1 0000088b: PUSH1 0x20 0000088d: MUL 0000088e: ADD 0000088f: SWAP1 00000890: SWAP1 00000891: DUP2 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: ADD 00000897: POP 00000898: POP 00000899: PUSH20 0x61048507a78b892b9f7a071742d28bcb9275bf29 000008ae: SWAP2 000008af: POP 000008b0: DUP2 000008b1: PUSH1 0x01 000008b3: PUSH1 0xa0 000008b5: PUSH1 0x02 000008b7: EXP 000008b8: SUB 000008b9: AND 000008ba: PUSH4 0xfe5ab40a 000008bf: DUP7 000008c0: PUSH2 0x2a30 000008c3: ADD 000008c4: CALLER 000008c5: DUP14 000008c6: DUP14 000008c7: DUP14 000008c8: DUP14 000008c9: PUSH1 0x40 000008cb: MLOAD 000008cc: DUP8 000008cd: PUSH1 0xe0 000008cf: PUSH1 0x02 000008d1: EXP 000008d2: MUL 000008d3: DUP2 000008d4: MSTORE 000008d5: PUSH1 0x04 000008d7: ADD 000008d8: DUP1 000008d9: DUP8 000008da: DUP2 000008db: MSTORE 000008dc: PUSH1 0x20 000008de: ADD 000008df: DUP7 000008e0: PUSH1 0x01 000008e2: PUSH1 0xa0 000008e4: PUSH1 0x02 000008e6: EXP 000008e7: SUB 000008e8: AND 000008e9: DUP2 000008ea: MSTORE 000008eb: PUSH1 0x20 000008ed: ADD 000008ee: DUP6 000008ef: PUSH1 0x20 000008f1: PUSH1 0x20 000008f3: MUL 000008f4: DUP1 000008f5: DUP4 000008f6: DUP4 000008f7: DUP3 000008f8: SWAP1 000008f9: PUSH1 0x00 000008fb: PUSH1 0x04 000008fd: PUSH1 0x20 000008ff: DUP5 00000900: PUSH1 0x1f 00000902: ADD 00000903: DIV 00000904: PUSH1 0x03 00000906: MUL 00000907: PUSH1 0x0f 00000909: ADD 0000090a: CALL 0000090b: POP 0000090c: SWAP1 0000090d: POP 0000090e: ADD 0000090f: DUP5 00000910: PUSH1 0x20 00000912: PUSH1 0x20 00000914: MUL 00000915: DUP1 00000916: DUP4 00000917: DUP4 00000918: DUP3 00000919: SWAP1 0000091a: PUSH1 0x00 0000091c: PUSH1 0x04 0000091e: PUSH1 0x20 00000920: DUP5 00000921: PUSH1 0x1f 00000923: ADD 00000924: DIV 00000925: PUSH1 0x03 00000927: MUL 00000928: PUSH1 0x0f 0000092a: ADD 0000092b: CALL 0000092c: POP 0000092d: SWAP1 0000092e: POP 0000092f: ADD 00000930: DUP4 00000931: PUSH1 0x20 00000933: PUSH1 0x20 00000935: MUL 00000936: DUP1 00000937: DUP4 00000938: DUP4 00000939: DUP3 0000093a: SWAP1 0000093b: PUSH1 0x00 0000093d: PUSH1 0x04 0000093f: PUSH1 0x20 00000941: DUP5 00000942: PUSH1 0x1f 00000944: ADD 00000945: DIV 00000946: PUSH1 0x03 00000948: MUL 00000949: PUSH1 0x0f 0000094b: ADD 0000094c: CALL 0000094d: POP 0000094e: SWAP1 0000094f: POP 00000950: ADD 00000951: DUP3 00000952: PUSH1 0x20 00000954: PUSH1 0x20 00000956: MUL 00000957: DUP1 00000958: DUP4 00000959: DUP4 0000095a: DUP3 0000095b: SWAP1 0000095c: PUSH1 0x00 0000095e: PUSH1 0x04 00000960: PUSH1 0x20 00000962: DUP5 00000963: PUSH1 0x1f 00000965: ADD 00000966: DIV 00000967: PUSH1 0x03 00000969: MUL 0000096a: PUSH1 0x0f 0000096c: ADD 0000096d: CALL 0000096e: POP 0000096f: SWAP1 00000970: POP 00000971: ADD 00000972: SWAP7 00000973: POP 00000974: POP 00000975: POP 00000976: POP 00000977: POP 00000978: POP 00000979: POP 0000097a: PUSH1 0x00 0000097c: PUSH1 0x40 0000097e: MLOAD 0000097f: DUP1 00000980: DUP4 00000981: SUB 00000982: DUP2 00000983: PUSH1 0x00 00000985: DUP8 00000986: PUSH2 0x61da 00000989: GAS 0000098a: SUB 0000098b: CALL 0000098c: ISZERO 0000098d: PUSH2 0x0002 00000990: JUMPI 00000991: POP 00000992: POP 00000993: POP 00000994: CALLER 00000995: SWAP1 00000996: POP 00000997: DUP2 00000998: PUSH1 0x01 0000099a: PUSH1 0xa0 0000099c: PUSH1 0x02 0000099e: EXP 0000099f: SUB 000009a0: AND 000009a1: PUSH4 0xfe5ab40a 000009a6: DUP7 000009a7: PUSH2 0x2a30 000009aa: ADD 000009ab: DUP4 000009ac: PUSH1 0x01 000009ae: ADD 000009af: SWAP4 000009b0: POP 000009b1: DUP4 000009b2: DUP14 000009b3: DUP14 000009b4: DUP14 000009b5: DUP13 000009b6: PUSH1 0x40 000009b8: MLOAD 000009b9: DUP8 000009ba: PUSH1 0xe0 000009bc: PUSH1 0x02 000009be: EXP 000009bf: MUL 000009c0: DUP2 000009c1: MSTORE 000009c2: PUSH1 0x04 000009c4: ADD 000009c5: DUP1 000009c6: DUP8 000009c7: DUP2 000009c8: MSTORE 000009c9: PUSH1 0x20 000009cb: ADD 000009cc: DUP7 000009cd: PUSH1 0x01 000009cf: PUSH1 0xa0 000009d1: PUSH1 0x02 000009d3: EXP 000009d4: SUB 000009d5: AND 000009d6: DUP2 000009d7: MSTORE 000009d8: PUSH1 0x20 000009da: ADD 000009db: DUP6 000009dc: PUSH1 0x20 000009de: PUSH1 0x20 000009e0: MUL 000009e1: DUP1 000009e2: DUP4 000009e3: DUP4 000009e4: DUP3 000009e5: SWAP1 000009e6: PUSH1 0x00 000009e8: PUSH1 0x04 000009ea: PUSH1 0x20 000009ec: DUP5 000009ed: PUSH1 0x1f 000009ef: ADD 000009f0: DIV 000009f1: PUSH1 0x03 000009f3: MUL 000009f4: PUSH1 0x0f 000009f6: ADD 000009f7: CALL 000009f8: POP 000009f9: SWAP1 000009fa: POP 000009fb: ADD 000009fc: DUP5 000009fd: PUSH1 0x20 000009ff: PUSH1 0x20 00000a01: MUL 00000a02: DUP1 00000a03: DUP4 00000a04: DUP4 00000a05: DUP3 00000a06: SWAP1 00000a07: PUSH1 0x00 00000a09: PUSH1 0x04 00000a0b: PUSH1 0x20 00000a0d: DUP5 00000a0e: PUSH1 0x1f 00000a10: ADD 00000a11: DIV 00000a12: PUSH1 0x03 00000a14: MUL 00000a15: PUSH1 0x0f 00000a17: ADD 00000a18: CALL 00000a19: POP 00000a1a: SWAP1 00000a1b: POP 00000a1c: ADD 00000a1d: DUP4 00000a1e: PUSH1 0x20 00000a20: PUSH1 0x20 00000a22: MUL 00000a23: DUP1 00000a24: DUP4 00000a25: DUP4 00000a26: DUP3 00000a27: SWAP1 00000a28: PUSH1 0x00 00000a2a: PUSH1 0x04 00000a2c: PUSH1 0x20 00000a2e: DUP5 00000a2f: PUSH1 0x1f 00000a31: ADD 00000a32: DIV 00000a33: PUSH1 0x03 00000a35: MUL 00000a36: PUSH1 0x0f 00000a38: ADD 00000a39: CALL 00000a3a: POP 00000a3b: SWAP1 00000a3c: POP 00000a3d: ADD 00000a3e: DUP3 00000a3f: PUSH1 0x20 00000a41: PUSH1 0x20 00000a43: MUL 00000a44: DUP1 00000a45: DUP4 00000a46: DUP4 00000a47: DUP3 00000a48: SWAP1 00000a49: PUSH1 0x00 00000a4b: PUSH1 0x04 00000a4d: PUSH1 0x20 00000a4f: DUP5 00000a50: PUSH1 0x1f 00000a52: ADD 00000a53: DIV 00000a54: PUSH1 0x03 00000a56: MUL 00000a57: PUSH1 0x0f 00000a59: ADD 00000a5a: CALL 00000a5b: POP 00000a5c: SWAP1 00000a5d: POP 00000a5e: ADD 00000a5f: SWAP7 00000a60: POP 00000a61: POP 00000a62: POP 00000a63: POP 00000a64: POP 00000a65: POP 00000a66: POP 00000a67: PUSH1 0x00 00000a69: PUSH1 0x40 00000a6b: MLOAD 00000a6c: DUP1 00000a6d: DUP4 00000a6e: SUB 00000a6f: DUP2 00000a70: PUSH1 0x00 00000a72: DUP8 00000a73: PUSH2 0x61da 00000a76: GAS 00000a77: SUB 00000a78: CALL 00000a79: ISZERO 00000a7a: PUSH2 0x0002 00000a7d: JUMPI 00000a7e: POP 00000a7f: POP 00000a80: POP 00000a81: CALLER 00000a82: PUSH1 0x01 00000a84: PUSH1 0xa0 00000a86: PUSH1 0x02 00000a88: EXP 00000a89: SUB 00000a8a: DUP2 00000a8b: AND 00000a8c: PUSH1 0x00 00000a8e: SWAP1 00000a8f: DUP2 00000a90: MSTORE 00000a91: PUSH1 0x06 00000a93: PUSH1 0x20 00000a95: MSTORE 00000a96: PUSH1 0x40 00000a98: DUP2 00000a99: KECCAK256 00000a9a: CALLVALUE 00000a9b: SWAP1 00000a9c: SSTORE 00000a9d: PUSH1 0x05 00000a9f: DUP1 00000aa0: SLOAD 00000aa1: SWAP1 00000aa2: DUP2 00000aa3: LT 00000aa4: ISZERO 00000aa5: PUSH2 0x0002 00000aa8: JUMPI 00000aa9: DUP1 00000aaa: SLOAD 00000aab: PUSH1 0x01 00000aad: PUSH1 0xa0 00000aaf: PUSH1 0x02 00000ab1: EXP 00000ab2: SUB 00000ab3: NOT 00000ab4: AND 00000ab5: SWAP1 00000ab6: SWAP3 00000ab7: OR 00000ab8: SWAP1 00000ab9: SWAP2 00000aba: SSTORE 00000abb: POP 00000abc: PUSH1 0x05 00000abe: DUP1 00000abf: SLOAD 00000ac0: PUSH1 0x01 00000ac2: ADD 00000ac3: SWAP1 00000ac4: SSTORE 00000ac5: JUMPDEST 00000ac6: POP 00000ac7: POP 00000ac8: POP 00000ac9: POP 00000aca: POP 00000acb: POP 00000acc: POP 00000acd: POP 00000ace: POP 00000acf: POP 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH3 0x02a300 00000ad6: DUP6 00000ad7: SUB 00000ad8: TIMESTAMP 00000ad9: GT 00000ada: ISZERO 00000adb: PUSH2 0x0ae6 00000ade: JUMPI 00000adf: PUSH2 0x0afa 00000ae2: PUSH2 0x0184 00000ae5: JUMP 00000ae6: JUMPDEST 00000ae7: PUSH1 0x05 00000ae9: SLOAD 00000aea: PUSH1 0x04 00000aec: SWAP1 00000aed: GT 00000aee: ISZERO 00000aef: PUSH2 0x0aff 00000af2: JUMPI 00000af3: PUSH2 0x0afa 00000af6: PUSH2 0x0184 00000af9: JUMP 00000afa: JUMPDEST 00000afb: PUSH2 0x0ac5 00000afe: JUMP 00000aff: JUMPDEST 00000b00: CALLER 00000b01: PUSH1 0x01 00000b03: PUSH1 0xa0 00000b05: PUSH1 0x02 00000b07: EXP 00000b08: SUB 00000b09: AND 00000b0a: PUSH1 0x00 00000b0c: SWAP1 00000b0d: DUP2 00000b0e: MSTORE 00000b0f: PUSH1 0x06 00000b11: PUSH1 0x20 00000b13: MSTORE 00000b14: PUSH1 0x40 00000b16: DUP2 00000b17: KECCAK256 00000b18: SLOAD 00000b19: GT 00000b1a: ISZERO 00000b1b: PUSH2 0x0b26 00000b1e: JUMPI 00000b1f: PUSH2 0x0afa 00000b22: PUSH2 0x0184 00000b25: JUMP 00000b26: JUMPDEST 00000b27: PUSH1 0x00 00000b29: SWAP4 00000b2a: POP 00000b2b: PUSH1 0x00 00000b2d: SWAP3 00000b2e: POP 00000b2f: JUMPDEST 00000b30: PUSH1 0x05 00000b32: SLOAD 00000b33: DUP4 00000b34: LT 00000b35: ISZERO 00000b36: PUSH2 0x0b72 00000b39: JUMPI 00000b3a: PUSH1 0x06 00000b3c: PUSH1 0x00 00000b3e: DUP1 00000b3f: DUP6 00000b40: PUSH1 0x05 00000b42: DUP2 00000b43: LT 00000b44: ISZERO 00000b45: PUSH2 0x0002 00000b48: JUMPI 00000b49: SLOAD 00000b4a: PUSH1 0x01 00000b4c: PUSH1 0xa0 00000b4e: PUSH1 0x02 00000b50: EXP 00000b51: SUB 00000b52: AND 00000b53: SWAP1 00000b54: MSTORE 00000b55: PUSH1 0x20 00000b57: SWAP2 00000b58: SWAP1 00000b59: SWAP2 00000b5a: MSTORE 00000b5b: PUSH1 0x40 00000b5d: SWAP1 00000b5e: KECCAK256 00000b5f: SLOAD 00000b60: PUSH1 0x05 00000b62: MUL 00000b63: SWAP1 00000b64: SWAP4 00000b65: ADD 00000b66: SWAP3 00000b67: PUSH1 0x01 00000b69: SWAP3 00000b6a: SWAP1 00000b6b: SWAP3 00000b6c: ADD 00000b6d: SWAP2 00000b6e: PUSH2 0x0b2f 00000b71: JUMP 00000b72: JUMPDEST 00000b73: CALLVALUE 00000b74: PUSH1 0x05 00000b76: MUL 00000b77: DUP5 00000b78: ADDRESS 00000b79: PUSH1 0x01 00000b7b: PUSH1 0xa0 00000b7d: PUSH1 0x02 00000b7f: EXP 00000b80: SUB 00000b81: AND 00000b82: BALANCE 00000b83: SUB 00000b84: LT 00000b85: ISZERO 00000b86: PUSH2 0x0711 00000b89: JUMPI 00000b8a: PUSH2 0x0afa 00000b8d: PUSH2 0x0184 00000b90: 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: 0x94bf2a570994dae582841c2126446d6406d30c44c902a8df5f659cf145e7c1cf
call_targets:
0x72b524df1e33daba934122eb3438dbfb3242af2f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x94bf2a570994dae582841c2126446d6406d30c44c902a8df5f659cf145e7c1cf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x72b524df1e33daba934122eb3438dbfb3242af2f"
],
"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": "0x083b2732",
"selector": "0x083b2732",
"calldata_variants": [
"0x083b2732",
"0x083b27320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x187c5903",
"selector": "0x187c5903",
"calldata_variants": [
"0x187c5903",
"0x187c59030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1bccca14",
"selector": "0x1bccca14",
"calldata_variants": [
"0x1bccca14",
"0x1bccca140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29f8df0d",
"selector": "0x29f8df0d",
"calldata_variants": [
"0x29f8df0d",
"0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f32e918",
"selector": "0x3f32e918",
"calldata_variants": [
"0x3f32e918",
"0x3f32e9180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x437600bc",
"selector": "0x437600bc",
"calldata_variants": [
"0x437600bc",
"0x437600bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x444bdb1b",
"selector": "0x444bdb1b",
"calldata_variants": [
"0x444bdb1b",
"0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x55a25f96",
"selector": "0x55a25f96",
"calldata_variants": [
"0x55a25f96",
"0x55a25f960000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 415,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1257,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1655,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 13,
"guards_detected": [],
"untrusted_call_count": 13
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x94bf2a570994dae582841c2126446d6406d30c44c902a8df5f659cf145e7c1cf
call_targets:
0x72b524df1e33daba934122eb3438dbfb3242af2f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x94bf2a570994dae582841c2126446d6406d30c44c902a8df5f659cf145e7c1cf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x72b524df1e33daba934122eb3438dbfb3242af2f"
],
"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": "0x083b2732",
"selector": "0x083b2732",
"calldata_variants": [
"0x083b2732",
"0x083b27320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x187c5903",
"selector": "0x187c5903",
"calldata_variants": [
"0x187c5903",
"0x187c59030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1bccca14",
"selector": "0x1bccca14",
"calldata_variants": [
"0x1bccca14",
"0x1bccca140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29f8df0d",
"selector": "0x29f8df0d",
"calldata_variants": [
"0x29f8df0d",
"0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f32e918",
"selector": "0x3f32e918",
"calldata_variants": [
"0x3f32e918",
"0x3f32e9180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x437600bc",
"selector": "0x437600bc",
"calldata_variants": [
"0x437600bc",
"0x437600bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x444bdb1b",
"selector": "0x444bdb1b",
"calldata_variants": [
"0x444bdb1b",
"0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x55a25f96",
"selector": "0x55a25f96",
"calldata_variants": [
"0x55a25f96",
"0x55a25f960000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 415,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1257,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1655,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 13,
"guards_detected": []
}
|