019b3836-2225-73ab-9bce-4cf325ebdedf
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 |
|---|---|---|---|---|
| 233 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 234 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 43227 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 43228 | capability.graph | complete | 1 / 3 | 1 week ago |
| 43229 | detector.run | complete | 1 / 3 | 1 week ago |
| 43230 | 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 0x1323af40 00000025: EQ 00000026: PUSH2 0x0126 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x187c5903 00000030: EQ 00000031: PUSH2 0x0266 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x1bccca14 0000003b: EQ 0000003c: PUSH2 0x0296 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x29f8df0d 00000046: EQ 00000047: PUSH2 0x02b7 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x3f32e918 00000051: EQ 00000052: PUSH2 0x02c0 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x437600bc 0000005c: EQ 0000005d: PUSH2 0x02e6 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x444bdb1b 00000067: EQ 00000068: PUSH2 0x02fe 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x6d4ce63c 00000072: EQ 00000073: PUSH2 0x0348 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x6e723e24 0000007d: EQ 0000007e: PUSH2 0x0374 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x71ad7221 00000088: EQ 00000089: PUSH2 0x037d 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xa32da9d1 00000093: EQ 00000094: PUSH2 0x039d 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xbf37df2f 0000009e: EQ 0000009f: PUSH2 0x03be 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xe8b5e51f 000000a9: EQ 000000aa: PUSH2 0x03d6 000000ad: JUMPI 000000ae: JUMPDEST 000000af: PUSH2 0x0445 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 0x0447 000000d6: JUMPI 000000d7: PUSH2 0x0447 000000da: PUSH2 0x00e2 000000dd: JUMP 000000de: JUMPDEST 000000df: PUSH2 0x0445 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 0x085f 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: PUSH1 0x40 00000129: DUP1 0000012a: MLOAD 0000012b: PUSH1 0x04 0000012d: DUP1 0000012e: CALLDATALOAD 0000012f: SWAP1 00000130: DUP2 00000131: ADD 00000132: CALLDATALOAD 00000133: PUSH1 0x20 00000135: DUP2 00000136: DUP2 00000137: MUL 00000138: DUP5 00000139: DUP2 0000013a: ADD 0000013b: DUP3 0000013c: ADD 0000013d: SWAP1 0000013e: SWAP6 0000013f: MSTORE 00000140: DUP2 00000141: DUP5 00000142: MSTORE 00000143: PUSH2 0x0445 00000146: SWAP5 00000147: PUSH1 0x24 00000149: SWAP5 0000014a: SWAP4 0000014b: DUP6 0000014c: ADD 0000014d: SWAP3 0000014e: SWAP2 0000014f: DUP3 00000150: SWAP2 00000151: SWAP1 00000152: DUP6 00000153: ADD 00000154: SWAP1 00000155: DUP5 00000156: SWAP1 00000157: DUP1 00000158: DUP3 00000159: DUP5 0000015a: CALLDATACOPY 0000015b: POP 0000015c: POP 0000015d: PUSH1 0x40 0000015f: DUP1 00000160: MLOAD 00000161: DUP8 00000162: CALLDATALOAD 00000163: PUSH1 0x04 00000165: DUP2 00000166: ADD 00000167: CALLDATALOAD 00000168: PUSH1 0x20 0000016a: DUP2 0000016b: DUP2 0000016c: MUL 0000016d: DUP5 0000016e: DUP2 0000016f: ADD 00000170: DUP3 00000171: ADD 00000172: SWAP1 00000173: SWAP6 00000174: MSTORE 00000175: DUP2 00000176: DUP5 00000177: MSTORE 00000178: SWAP9 00000179: SWAP10 0000017a: PUSH1 0x44 0000017c: SWAP10 0000017d: SWAP4 0000017e: SWAP9 0000017f: POP 00000180: SWAP2 00000181: SWAP1 00000182: SWAP2 00000183: ADD 00000184: SWAP6 00000185: POP 00000186: SWAP4 00000187: POP 00000188: DUP4 00000189: SWAP3 0000018a: POP 0000018b: DUP6 0000018c: ADD 0000018d: SWAP1 0000018e: DUP5 0000018f: SWAP1 00000190: DUP1 00000191: DUP3 00000192: DUP5 00000193: CALLDATACOPY 00000194: POP 00000195: POP 00000196: PUSH1 0x40 00000198: DUP1 00000199: MLOAD 0000019a: SWAP7 0000019b: CALLDATALOAD 0000019c: PUSH1 0x04 0000019e: DUP2 0000019f: ADD 000001a0: CALLDATALOAD 000001a1: PUSH1 0x20 000001a3: DUP2 000001a4: DUP2 000001a5: MUL 000001a6: DUP11 000001a7: DUP2 000001a8: ADD 000001a9: DUP3 000001aa: ADD 000001ab: SWAP1 000001ac: SWAP5 000001ad: MSTORE 000001ae: DUP2 000001af: DUP11 000001b0: MSTORE 000001b1: SWAP8 000001b2: SWAP9 000001b3: PUSH1 0x64 000001b5: SWAP9 000001b6: SWAP1 000001b7: SWAP8 000001b8: POP 000001b9: PUSH1 0x24 000001bb: SWAP3 000001bc: SWAP1 000001bd: SWAP3 000001be: ADD 000001bf: SWAP6 000001c0: POP 000001c1: SWAP4 000001c2: POP 000001c3: DUP4 000001c4: SWAP3 000001c5: POP 000001c6: DUP6 000001c7: ADD 000001c8: SWAP1 000001c9: DUP5 000001ca: SWAP1 000001cb: DUP1 000001cc: DUP3 000001cd: DUP5 000001ce: CALLDATACOPY 000001cf: POP 000001d0: POP 000001d1: PUSH1 0x40 000001d3: DUP1 000001d4: MLOAD 000001d5: SWAP7 000001d6: CALLDATALOAD 000001d7: PUSH1 0x04 000001d9: DUP2 000001da: ADD 000001db: CALLDATALOAD 000001dc: PUSH1 0x20 000001de: DUP2 000001df: DUP2 000001e0: MUL 000001e1: DUP11 000001e2: DUP2 000001e3: ADD 000001e4: DUP3 000001e5: ADD 000001e6: SWAP1 000001e7: SWAP5 000001e8: MSTORE 000001e9: DUP2 000001ea: DUP11 000001eb: MSTORE 000001ec: SWAP8 000001ed: SWAP9 000001ee: PUSH1 0x84 000001f0: SWAP9 000001f1: SWAP1 000001f2: SWAP8 000001f3: POP 000001f4: PUSH1 0x24 000001f6: SWAP3 000001f7: SWAP1 000001f8: SWAP3 000001f9: ADD 000001fa: SWAP6 000001fb: POP 000001fc: SWAP4 000001fd: POP 000001fe: DUP4 000001ff: SWAP3 00000200: POP 00000201: DUP6 00000202: ADD 00000203: SWAP1 00000204: DUP5 00000205: SWAP1 00000206: DUP1 00000207: DUP3 00000208: DUP5 00000209: CALLDATACOPY 0000020a: POP 0000020b: POP 0000020c: PUSH1 0x40 0000020e: DUP1 0000020f: MLOAD 00000210: SWAP7 00000211: CALLDATALOAD 00000212: PUSH1 0x04 00000214: DUP2 00000215: ADD 00000216: CALLDATALOAD 00000217: PUSH1 0x20 00000219: DUP2 0000021a: DUP2 0000021b: MUL 0000021c: DUP11 0000021d: DUP2 0000021e: ADD 0000021f: DUP3 00000220: ADD 00000221: SWAP1 00000222: SWAP5 00000223: MSTORE 00000224: DUP2 00000225: DUP11 00000226: MSTORE 00000227: SWAP8 00000228: SWAP9 00000229: PUSH1 0xa4 0000022b: SWAP9 0000022c: SWAP1 0000022d: SWAP8 0000022e: POP 0000022f: PUSH1 0x24 00000231: SWAP3 00000232: SWAP1 00000233: SWAP3 00000234: ADD 00000235: SWAP6 00000236: POP 00000237: SWAP4 00000238: POP 00000239: DUP4 0000023a: SWAP3 0000023b: POP 0000023c: DUP6 0000023d: ADD 0000023e: SWAP1 0000023f: DUP5 00000240: SWAP1 00000241: DUP1 00000242: DUP3 00000243: DUP5 00000244: CALLDATACOPY 00000245: POP 00000246: SWAP5 00000247: SWAP6 00000248: CALLDATALOAD 00000249: SWAP5 0000024a: POP 0000024b: POP 0000024c: POP 0000024d: POP 0000024e: POP 0000024f: PUSH1 0x00 00000251: PUSH1 0x00 00000253: PUSH1 0x00 00000255: PUSH1 0x00 00000257: PUSH1 0x00 00000259: CALLVALUE 0000025a: PUSH1 0x00 0000025c: EQ 0000025d: ISZERO 0000025e: PUSH2 0x0768 00000261: JUMPI 00000262: PUSH2 0x075b 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH2 0x0445 0000026a: CALLER 0000026b: PUSH1 0x01 0000026d: PUSH1 0xa0 0000026f: PUSH1 0x02 00000271: EXP 00000272: SUB 00000273: AND 00000274: PUSH1 0x00 00000276: SWAP1 00000277: DUP2 00000278: MSTORE 00000279: PUSH1 0x0d 0000027b: PUSH1 0x20 0000027d: MSTORE 0000027e: PUSH1 0x40 00000280: DUP2 00000281: KECCAK256 00000282: SLOAD 00000283: DUP2 00000284: SWAP1 00000285: DUP2 00000286: SWAP1 00000287: DUP2 00000288: SWAP1 00000289: DUP2 0000028a: EQ 0000028b: ISZERO 0000028c: PUSH2 0x0a18 0000028f: JUMPI 00000290: JUMPDEST 00000291: POP 00000292: POP 00000293: POP 00000294: POP 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH2 0x0449 0000029a: PUSH1 0x04 0000029c: CALLDATALOAD 0000029d: PUSH1 0x07 0000029f: DUP2 000002a0: PUSH1 0x05 000002a2: DUP2 000002a3: LT 000002a4: ISZERO 000002a5: PUSH2 0x0002 000002a8: JUMPI 000002a9: POP 000002aa: ADD 000002ab: SLOAD 000002ac: PUSH1 0x01 000002ae: PUSH1 0xa0 000002b0: PUSH1 0x02 000002b2: EXP 000002b3: SUB 000002b4: AND 000002b5: DUP2 000002b6: JUMP 000002b7: JUMPDEST 000002b8: PUSH2 0x0362 000002bb: PUSH1 0x05 000002bd: SLOAD 000002be: DUP2 000002bf: JUMP 000002c0: JUMPDEST 000002c1: PUSH2 0x0445 000002c4: JUMPDEST 000002c5: PUSH1 0x40 000002c7: MLOAD 000002c8: CALLER 000002c9: PUSH1 0x01 000002cb: PUSH1 0xa0 000002cd: PUSH1 0x02 000002cf: EXP 000002d0: SUB 000002d1: AND 000002d2: SWAP1 000002d3: PUSH1 0x00 000002d5: SWAP1 000002d6: CALLVALUE 000002d7: SWAP1 000002d8: DUP3 000002d9: DUP2 000002da: DUP2 000002db: DUP2 000002dc: DUP6 000002dd: DUP9 000002de: DUP4 000002df: CALL 000002e0: POP 000002e1: POP 000002e2: POP 000002e3: POP 000002e4: POP 000002e5: JUMP 000002e6: JUMPDEST 000002e7: PUSH2 0x0362 000002ea: PUSH1 0x04 000002ec: CALLDATALOAD 000002ed: PUSH1 0x06 000002ef: PUSH1 0x20 000002f1: MSTORE 000002f2: PUSH1 0x00 000002f4: SWAP1 000002f5: DUP2 000002f6: MSTORE 000002f7: PUSH1 0x40 000002f9: SWAP1 000002fa: KECCAK256 000002fb: SLOAD 000002fc: DUP2 000002fd: JUMP 000002fe: JUMPDEST 000002ff: PUSH2 0x0362 00000302: PUSH1 0x00 00000304: DUP1 00000305: DUP1 00000306: DUP1 00000307: DUP1 00000308: JUMPDEST 00000309: PUSH1 0x05 0000030b: SLOAD 0000030c: DUP4 0000030d: LT 0000030e: ISZERO 0000030f: PUSH2 0x09b1 00000312: JUMPI 00000313: PUSH1 0x06 00000315: PUSH1 0x00 00000317: DUP1 00000318: DUP6 00000319: PUSH1 0x05 0000031b: DUP2 0000031c: LT 0000031d: ISZERO 0000031e: PUSH2 0x0002 00000321: JUMPI 00000322: SLOAD 00000323: PUSH1 0x01 00000325: PUSH1 0xa0 00000327: PUSH1 0x02 00000329: EXP 0000032a: SUB 0000032b: AND 0000032c: SWAP1 0000032d: MSTORE 0000032e: PUSH1 0x20 00000330: SWAP2 00000331: SWAP1 00000332: SWAP2 00000333: MSTORE 00000334: PUSH1 0x40 00000336: SWAP1 00000337: KECCAK256 00000338: SLOAD 00000339: SWAP1 0000033a: SWAP4 0000033b: ADD 0000033c: SWAP3 0000033d: PUSH1 0x01 0000033f: SWAP3 00000340: SWAP1 00000341: SWAP3 00000342: ADD 00000343: SWAP2 00000344: PUSH2 0x0308 00000347: JUMP 00000348: JUMPDEST 00000349: PUSH1 0x01 0000034b: PUSH1 0xa0 0000034d: PUSH1 0x02 0000034f: EXP 00000350: SUB 00000351: CALLER 00000352: AND 00000353: PUSH1 0x00 00000355: SWAP1 00000356: DUP2 00000357: MSTORE 00000358: PUSH1 0x06 0000035a: PUSH1 0x20 0000035c: MSTORE 0000035d: PUSH1 0x40 0000035f: SWAP1 00000360: KECCAK256 00000361: SLOAD 00000362: JUMPDEST 00000363: PUSH1 0x40 00000365: DUP1 00000366: MLOAD 00000367: SWAP2 00000368: DUP3 00000369: MSTORE 0000036a: MLOAD 0000036b: SWAP1 0000036c: DUP2 0000036d: SWAP1 0000036e: SUB 0000036f: PUSH1 0x20 00000371: ADD 00000372: SWAP1 00000373: RETURN 00000374: JUMPDEST 00000375: PUSH2 0x0362 00000378: PUSH1 0x0c 0000037a: SLOAD 0000037b: DUP2 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH1 0x04 00000380: CALLDATALOAD 00000381: PUSH1 0x01 00000383: PUSH1 0xa0 00000385: PUSH1 0x02 00000387: EXP 00000388: SUB 00000389: AND 0000038a: PUSH1 0x00 0000038c: SWAP1 0000038d: DUP2 0000038e: MSTORE 0000038f: PUSH1 0x06 00000391: PUSH1 0x20 00000393: MSTORE 00000394: PUSH1 0x40 00000396: SWAP1 00000397: KECCAK256 00000398: SLOAD 00000399: PUSH2 0x0362 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH2 0x0449 000003a1: PUSH1 0x04 000003a3: CALLDATALOAD 000003a4: PUSH1 0x00 000003a6: DUP2 000003a7: PUSH1 0x05 000003a9: DUP2 000003aa: LT 000003ab: ISZERO 000003ac: PUSH2 0x0002 000003af: JUMPI 000003b0: POP 000003b1: POP 000003b2: SLOAD 000003b3: PUSH1 0x01 000003b5: PUSH1 0xa0 000003b7: PUSH1 0x02 000003b9: EXP 000003ba: SUB 000003bb: AND 000003bc: DUP2 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH2 0x0362 000003c2: PUSH1 0x04 000003c4: CALLDATALOAD 000003c5: PUSH1 0x0d 000003c7: PUSH1 0x20 000003c9: MSTORE 000003ca: PUSH1 0x00 000003cc: SWAP1 000003cd: DUP2 000003ce: MSTORE 000003cf: PUSH1 0x40 000003d1: SWAP1 000003d2: KECCAK256 000003d3: SLOAD 000003d4: DUP2 000003d5: JUMP 000003d6: JUMPDEST 000003d7: PUSH2 0x0445 000003da: CALLER 000003db: PUSH1 0x01 000003dd: PUSH1 0xa0 000003df: PUSH1 0x02 000003e1: EXP 000003e2: SUB 000003e3: AND 000003e4: PUSH1 0x00 000003e6: SWAP1 000003e7: DUP2 000003e8: MSTORE 000003e9: PUSH1 0x0d 000003eb: PUSH1 0x20 000003ed: MSTORE 000003ee: PUSH1 0x40 000003f0: DUP2 000003f1: KECCAK256 000003f2: SLOAD 000003f3: EQ 000003f4: ISZERO 000003f5: PUSH2 0x0425 000003f8: JUMPI 000003f9: PUSH1 0x0c 000003fb: SLOAD 000003fc: CALLER 000003fd: SWAP1 000003fe: PUSH1 0x07 00000400: SWAP1 00000401: PUSH1 0x05 00000403: DUP2 00000404: LT 00000405: ISZERO 00000406: PUSH2 0x0002 00000409: JUMPI 0000040a: ADD 0000040b: DUP1 0000040c: SLOAD 0000040d: PUSH1 0x01 0000040f: PUSH1 0xa0 00000411: PUSH1 0x02 00000413: EXP 00000414: SUB 00000415: NOT 00000416: AND 00000417: SWAP1 00000418: SWAP2 00000419: OR 0000041a: SWAP1 0000041b: SSTORE 0000041c: PUSH1 0x0c 0000041e: DUP1 0000041f: SLOAD 00000420: PUSH1 0x01 00000422: ADD 00000423: SWAP1 00000424: SSTORE 00000425: JUMPDEST 00000426: CALLER 00000427: PUSH1 0x01 00000429: PUSH1 0xa0 0000042b: PUSH1 0x02 0000042d: EXP 0000042e: SUB 0000042f: AND 00000430: PUSH1 0x00 00000432: SWAP1 00000433: DUP2 00000434: MSTORE 00000435: PUSH1 0x0d 00000437: PUSH1 0x20 00000439: MSTORE 0000043a: PUSH1 0x40 0000043c: SWAP1 0000043d: KECCAK256 0000043e: DUP1 0000043f: SLOAD 00000440: CALLVALUE 00000441: ADD 00000442: SWAP1 00000443: SSTORE 00000444: JUMP 00000445: JUMPDEST 00000446: STOP 00000447: JUMPDEST 00000448: JUMP 00000449: JUMPDEST 0000044a: PUSH1 0x40 0000044c: DUP1 0000044d: MLOAD 0000044e: PUSH1 0x01 00000450: PUSH1 0xa0 00000452: PUSH1 0x02 00000454: EXP 00000455: SUB 00000456: SWAP3 00000457: SWAP1 00000458: SWAP3 00000459: AND 0000045a: DUP3 0000045b: MSTORE 0000045c: MLOAD 0000045d: SWAP1 0000045e: DUP2 0000045f: SWAP1 00000460: SUB 00000461: PUSH1 0x20 00000463: ADD 00000464: SWAP1 00000465: RETURN 00000466: JUMPDEST 00000467: PUSH20 0x393519c01e80b188d326d461e4639bc0e3f62af0 0000047c: SWAP2 0000047d: POP 0000047e: DUP2 0000047f: PUSH1 0x01 00000481: PUSH1 0xa0 00000483: PUSH1 0x02 00000485: EXP 00000486: SUB 00000487: AND 00000488: PUSH4 0xa0a1cddb 0000048d: DUP8 0000048e: PUSH2 0x2a30 00000491: ADD 00000492: CALLER 00000493: DUP15 00000494: DUP15 00000495: DUP15 00000496: DUP15 00000497: PUSH1 0x40 00000499: MLOAD 0000049a: DUP8 0000049b: PUSH1 0xe0 0000049d: PUSH1 0x02 0000049f: EXP 000004a0: MUL 000004a1: DUP2 000004a2: MSTORE 000004a3: PUSH1 0x04 000004a5: ADD 000004a6: DUP1 000004a7: DUP8 000004a8: DUP2 000004a9: MSTORE 000004aa: PUSH1 0x20 000004ac: ADD 000004ad: DUP7 000004ae: PUSH1 0x01 000004b0: PUSH1 0xa0 000004b2: PUSH1 0x02 000004b4: EXP 000004b5: SUB 000004b6: AND 000004b7: DUP2 000004b8: MSTORE 000004b9: PUSH1 0x20 000004bb: ADD 000004bc: DUP1 000004bd: PUSH1 0x20 000004bf: ADD 000004c0: DUP1 000004c1: PUSH1 0x20 000004c3: ADD 000004c4: DUP1 000004c5: PUSH1 0x20 000004c7: ADD 000004c8: DUP1 000004c9: PUSH1 0x20 000004cb: ADD 000004cc: DUP6 000004cd: DUP2 000004ce: SUB 000004cf: DUP6 000004d0: MSTORE 000004d1: DUP10 000004d2: DUP2 000004d3: DUP2 000004d4: MLOAD 000004d5: DUP2 000004d6: MSTORE 000004d7: PUSH1 0x20 000004d9: ADD 000004da: SWAP2 000004db: POP 000004dc: DUP1 000004dd: MLOAD 000004de: SWAP1 000004df: PUSH1 0x20 000004e1: ADD 000004e2: SWAP1 000004e3: PUSH1 0x20 000004e5: MUL 000004e6: DUP1 000004e7: DUP4 000004e8: DUP4 000004e9: DUP3 000004ea: SWAP1 000004eb: PUSH1 0x00 000004ed: PUSH1 0x04 000004ef: PUSH1 0x20 000004f1: DUP5 000004f2: PUSH1 0x1f 000004f4: ADD 000004f5: DIV 000004f6: PUSH1 0x03 000004f8: MUL 000004f9: PUSH1 0x0f 000004fb: ADD 000004fc: CALL 000004fd: POP 000004fe: SWAP1 000004ff: POP 00000500: ADD 00000501: DUP6 00000502: DUP2 00000503: SUB 00000504: DUP5 00000505: MSTORE 00000506: DUP9 00000507: DUP2 00000508: DUP2 00000509: MLOAD 0000050a: DUP2 0000050b: MSTORE 0000050c: PUSH1 0x20 0000050e: ADD 0000050f: SWAP2 00000510: POP 00000511: DUP1 00000512: MLOAD 00000513: SWAP1 00000514: PUSH1 0x20 00000516: ADD 00000517: SWAP1 00000518: PUSH1 0x20 0000051a: MUL 0000051b: DUP1 0000051c: DUP4 0000051d: DUP4 0000051e: DUP3 0000051f: SWAP1 00000520: PUSH1 0x00 00000522: PUSH1 0x04 00000524: PUSH1 0x20 00000526: DUP5 00000527: PUSH1 0x1f 00000529: ADD 0000052a: DIV 0000052b: PUSH1 0x03 0000052d: MUL 0000052e: PUSH1 0x0f 00000530: ADD 00000531: CALL 00000532: POP 00000533: SWAP1 00000534: POP 00000535: ADD 00000536: DUP6 00000537: DUP2 00000538: SUB 00000539: DUP4 0000053a: MSTORE 0000053b: DUP8 0000053c: DUP2 0000053d: DUP2 0000053e: MLOAD 0000053f: DUP2 00000540: MSTORE 00000541: PUSH1 0x20 00000543: ADD 00000544: SWAP2 00000545: POP 00000546: DUP1 00000547: MLOAD 00000548: SWAP1 00000549: PUSH1 0x20 0000054b: ADD 0000054c: SWAP1 0000054d: PUSH1 0x20 0000054f: MUL 00000550: DUP1 00000551: DUP4 00000552: DUP4 00000553: DUP3 00000554: SWAP1 00000555: PUSH1 0x00 00000557: PUSH1 0x04 00000559: PUSH1 0x20 0000055b: DUP5 0000055c: PUSH1 0x1f 0000055e: ADD 0000055f: DIV 00000560: PUSH1 0x03 00000562: MUL 00000563: PUSH1 0x0f 00000565: ADD 00000566: CALL 00000567: POP 00000568: SWAP1 00000569: POP 0000056a: ADD 0000056b: DUP6 0000056c: DUP2 0000056d: SUB 0000056e: DUP3 0000056f: MSTORE 00000570: DUP7 00000571: DUP2 00000572: DUP2 00000573: MLOAD 00000574: DUP2 00000575: MSTORE 00000576: PUSH1 0x20 00000578: ADD 00000579: SWAP2 0000057a: POP 0000057b: DUP1 0000057c: MLOAD 0000057d: SWAP1 0000057e: PUSH1 0x20 00000580: ADD 00000581: SWAP1 00000582: PUSH1 0x20 00000584: MUL 00000585: DUP1 00000586: DUP4 00000587: DUP4 00000588: DUP3 00000589: SWAP1 0000058a: PUSH1 0x00 0000058c: PUSH1 0x04 0000058e: PUSH1 0x20 00000590: DUP5 00000591: PUSH1 0x1f 00000593: ADD 00000594: DIV 00000595: PUSH1 0x03 00000597: MUL 00000598: PUSH1 0x0f 0000059a: ADD 0000059b: CALL 0000059c: POP 0000059d: SWAP1 0000059e: POP 0000059f: ADD 000005a0: SWAP11 000005a1: POP 000005a2: POP 000005a3: POP 000005a4: POP 000005a5: POP 000005a6: POP 000005a7: POP 000005a8: POP 000005a9: POP 000005aa: POP 000005ab: POP 000005ac: PUSH1 0x00 000005ae: PUSH1 0x40 000005b0: MLOAD 000005b1: DUP1 000005b2: DUP4 000005b3: SUB 000005b4: DUP2 000005b5: PUSH1 0x00 000005b7: DUP8 000005b8: PUSH2 0x61da 000005bb: GAS 000005bc: SUB 000005bd: CALL 000005be: ISZERO 000005bf: PUSH2 0x0002 000005c2: JUMPI 000005c3: POP 000005c4: POP 000005c5: POP 000005c6: CALLER 000005c7: SWAP1 000005c8: POP 000005c9: DUP2 000005ca: PUSH1 0x01 000005cc: PUSH1 0xa0 000005ce: PUSH1 0x02 000005d0: EXP 000005d1: SUB 000005d2: AND 000005d3: PUSH4 0xa0a1cddb 000005d8: DUP8 000005d9: PUSH2 0x2a30 000005dc: ADD 000005dd: DUP4 000005de: PUSH1 0x01 000005e0: ADD 000005e1: SWAP4 000005e2: POP 000005e3: DUP4 000005e4: DUP15 000005e5: DUP15 000005e6: DUP15 000005e7: DUP14 000005e8: PUSH1 0x40 000005ea: MLOAD 000005eb: DUP8 000005ec: PUSH1 0xe0 000005ee: PUSH1 0x02 000005f0: EXP 000005f1: MUL 000005f2: DUP2 000005f3: MSTORE 000005f4: PUSH1 0x04 000005f6: ADD 000005f7: DUP1 000005f8: DUP8 000005f9: DUP2 000005fa: MSTORE 000005fb: PUSH1 0x20 000005fd: ADD 000005fe: DUP7 000005ff: PUSH1 0x01 00000601: PUSH1 0xa0 00000603: PUSH1 0x02 00000605: EXP 00000606: SUB 00000607: AND 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x20 0000060c: ADD 0000060d: DUP1 0000060e: PUSH1 0x20 00000610: ADD 00000611: DUP1 00000612: PUSH1 0x20 00000614: ADD 00000615: DUP1 00000616: PUSH1 0x20 00000618: ADD 00000619: DUP1 0000061a: PUSH1 0x20 0000061c: ADD 0000061d: DUP6 0000061e: DUP2 0000061f: SUB 00000620: DUP6 00000621: MSTORE 00000622: DUP10 00000623: DUP2 00000624: DUP2 00000625: MLOAD 00000626: DUP2 00000627: MSTORE 00000628: PUSH1 0x20 0000062a: ADD 0000062b: SWAP2 0000062c: POP 0000062d: DUP1 0000062e: MLOAD 0000062f: SWAP1 00000630: PUSH1 0x20 00000632: ADD 00000633: SWAP1 00000634: PUSH1 0x20 00000636: MUL 00000637: DUP1 00000638: DUP4 00000639: DUP4 0000063a: DUP3 0000063b: SWAP1 0000063c: PUSH1 0x00 0000063e: PUSH1 0x04 00000640: PUSH1 0x20 00000642: DUP5 00000643: PUSH1 0x1f 00000645: ADD 00000646: DIV 00000647: PUSH1 0x03 00000649: MUL 0000064a: PUSH1 0x0f 0000064c: ADD 0000064d: CALL 0000064e: POP 0000064f: SWAP1 00000650: POP 00000651: ADD 00000652: DUP6 00000653: DUP2 00000654: SUB 00000655: DUP5 00000656: MSTORE 00000657: DUP9 00000658: DUP2 00000659: DUP2 0000065a: MLOAD 0000065b: DUP2 0000065c: MSTORE 0000065d: PUSH1 0x20 0000065f: ADD 00000660: SWAP2 00000661: POP 00000662: DUP1 00000663: MLOAD 00000664: SWAP1 00000665: PUSH1 0x20 00000667: ADD 00000668: SWAP1 00000669: PUSH1 0x20 0000066b: MUL 0000066c: DUP1 0000066d: DUP4 0000066e: DUP4 0000066f: DUP3 00000670: SWAP1 00000671: PUSH1 0x00 00000673: PUSH1 0x04 00000675: PUSH1 0x20 00000677: DUP5 00000678: PUSH1 0x1f 0000067a: ADD 0000067b: DIV 0000067c: PUSH1 0x03 0000067e: MUL 0000067f: PUSH1 0x0f 00000681: ADD 00000682: CALL 00000683: POP 00000684: SWAP1 00000685: POP 00000686: ADD 00000687: DUP6 00000688: DUP2 00000689: SUB 0000068a: DUP4 0000068b: MSTORE 0000068c: DUP8 0000068d: DUP2 0000068e: DUP2 0000068f: MLOAD 00000690: DUP2 00000691: MSTORE 00000692: PUSH1 0x20 00000694: ADD 00000695: SWAP2 00000696: POP 00000697: DUP1 00000698: MLOAD 00000699: SWAP1 0000069a: PUSH1 0x20 0000069c: ADD 0000069d: SWAP1 0000069e: PUSH1 0x20 000006a0: MUL 000006a1: DUP1 000006a2: DUP4 000006a3: DUP4 000006a4: DUP3 000006a5: SWAP1 000006a6: PUSH1 0x00 000006a8: PUSH1 0x04 000006aa: PUSH1 0x20 000006ac: DUP5 000006ad: PUSH1 0x1f 000006af: ADD 000006b0: DIV 000006b1: PUSH1 0x03 000006b3: MUL 000006b4: PUSH1 0x0f 000006b6: ADD 000006b7: CALL 000006b8: POP 000006b9: SWAP1 000006ba: POP 000006bb: ADD 000006bc: DUP6 000006bd: DUP2 000006be: SUB 000006bf: DUP3 000006c0: MSTORE 000006c1: DUP7 000006c2: DUP2 000006c3: DUP2 000006c4: MLOAD 000006c5: DUP2 000006c6: MSTORE 000006c7: PUSH1 0x20 000006c9: ADD 000006ca: SWAP2 000006cb: POP 000006cc: DUP1 000006cd: MLOAD 000006ce: SWAP1 000006cf: PUSH1 0x20 000006d1: ADD 000006d2: SWAP1 000006d3: PUSH1 0x20 000006d5: MUL 000006d6: DUP1 000006d7: DUP4 000006d8: DUP4 000006d9: DUP3 000006da: SWAP1 000006db: PUSH1 0x00 000006dd: PUSH1 0x04 000006df: PUSH1 0x20 000006e1: DUP5 000006e2: PUSH1 0x1f 000006e4: ADD 000006e5: DIV 000006e6: PUSH1 0x03 000006e8: MUL 000006e9: PUSH1 0x0f 000006eb: ADD 000006ec: CALL 000006ed: POP 000006ee: SWAP1 000006ef: POP 000006f0: ADD 000006f1: SWAP11 000006f2: POP 000006f3: POP 000006f4: POP 000006f5: POP 000006f6: POP 000006f7: POP 000006f8: POP 000006f9: POP 000006fa: POP 000006fb: POP 000006fc: POP 000006fd: PUSH1 0x00 000006ff: PUSH1 0x40 00000701: MLOAD 00000702: DUP1 00000703: DUP4 00000704: SUB 00000705: DUP2 00000706: PUSH1 0x00 00000708: DUP8 00000709: PUSH2 0x61da 0000070c: GAS 0000070d: SUB 0000070e: CALL 0000070f: ISZERO 00000710: PUSH2 0x0002 00000713: JUMPI 00000714: POP 00000715: POP 00000716: POP 00000717: CALLER 00000718: PUSH1 0x01 0000071a: PUSH1 0xa0 0000071c: PUSH1 0x02 0000071e: EXP 0000071f: SUB 00000720: DUP2 00000721: AND 00000722: PUSH1 0x00 00000724: SWAP1 00000725: DUP2 00000726: MSTORE 00000727: PUSH1 0x06 00000729: PUSH1 0x20 0000072b: MSTORE 0000072c: PUSH1 0x40 0000072e: DUP2 0000072f: KECCAK256 00000730: CALLVALUE 00000731: SWAP1 00000732: SSTORE 00000733: PUSH1 0x05 00000735: DUP1 00000736: SLOAD 00000737: SWAP1 00000738: DUP2 00000739: LT 0000073a: ISZERO 0000073b: PUSH2 0x0002 0000073e: JUMPI 0000073f: DUP1 00000740: SLOAD 00000741: PUSH1 0x01 00000743: PUSH1 0xa0 00000745: PUSH1 0x02 00000747: EXP 00000748: SUB 00000749: NOT 0000074a: AND 0000074b: SWAP1 0000074c: SWAP3 0000074d: OR 0000074e: SWAP1 0000074f: SWAP2 00000750: SSTORE 00000751: POP 00000752: PUSH1 0x05 00000754: DUP1 00000755: SLOAD 00000756: PUSH1 0x01 00000758: ADD 00000759: SWAP1 0000075a: SSTORE 0000075b: JUMPDEST 0000075c: POP 0000075d: POP 0000075e: POP 0000075f: POP 00000760: POP 00000761: POP 00000762: POP 00000763: POP 00000764: POP 00000765: POP 00000766: POP 00000767: JUMP 00000768: JUMPDEST 00000769: PUSH3 0x02a300 0000076d: DUP7 0000076e: SUB 0000076f: TIMESTAMP 00000770: GT 00000771: ISZERO 00000772: PUSH2 0x077d 00000775: JUMPI 00000776: PUSH2 0x0791 00000779: PUSH2 0x02c4 0000077c: JUMP 0000077d: JUMPDEST 0000077e: PUSH1 0x05 00000780: SLOAD 00000781: PUSH1 0x04 00000783: SWAP1 00000784: GT 00000785: ISZERO 00000786: PUSH2 0x0796 00000789: JUMPI 0000078a: PUSH2 0x0791 0000078d: PUSH2 0x02c4 00000790: JUMP 00000791: JUMPDEST 00000792: PUSH2 0x075b 00000795: JUMP 00000796: JUMPDEST 00000797: CALLER 00000798: PUSH1 0x01 0000079a: PUSH1 0xa0 0000079c: PUSH1 0x02 0000079e: EXP 0000079f: SUB 000007a0: AND 000007a1: PUSH1 0x00 000007a3: SWAP1 000007a4: DUP2 000007a5: MSTORE 000007a6: PUSH1 0x06 000007a8: PUSH1 0x20 000007aa: MSTORE 000007ab: PUSH1 0x40 000007ad: DUP2 000007ae: KECCAK256 000007af: SLOAD 000007b0: GT 000007b1: ISZERO 000007b2: PUSH2 0x07bd 000007b5: JUMPI 000007b6: PUSH2 0x0791 000007b9: PUSH2 0x02c4 000007bc: JUMP 000007bd: JUMPDEST 000007be: PUSH1 0x00 000007c0: SWAP5 000007c1: POP 000007c2: PUSH1 0x00 000007c4: SWAP4 000007c5: POP 000007c6: JUMPDEST 000007c7: PUSH1 0x05 000007c9: SLOAD 000007ca: DUP5 000007cb: LT 000007cc: ISZERO 000007cd: PUSH2 0x0809 000007d0: JUMPI 000007d1: PUSH1 0x06 000007d3: PUSH1 0x00 000007d5: DUP1 000007d6: DUP7 000007d7: PUSH1 0x05 000007d9: DUP2 000007da: LT 000007db: ISZERO 000007dc: PUSH2 0x0002 000007df: JUMPI 000007e0: SLOAD 000007e1: PUSH1 0x01 000007e3: PUSH1 0xa0 000007e5: PUSH1 0x02 000007e7: EXP 000007e8: SUB 000007e9: AND 000007ea: SWAP1 000007eb: MSTORE 000007ec: PUSH1 0x20 000007ee: SWAP2 000007ef: SWAP1 000007f0: SWAP2 000007f1: MSTORE 000007f2: PUSH1 0x40 000007f4: SWAP1 000007f5: KECCAK256 000007f6: SLOAD 000007f7: PUSH1 0x05 000007f9: MUL 000007fa: SWAP1 000007fb: SWAP5 000007fc: ADD 000007fd: SWAP4 000007fe: PUSH1 0x01 00000800: SWAP4 00000801: SWAP1 00000802: SWAP4 00000803: ADD 00000804: SWAP3 00000805: PUSH2 0x07c6 00000808: JUMP 00000809: JUMPDEST 0000080a: CALLVALUE 0000080b: PUSH1 0x05 0000080d: MUL 0000080e: DUP6 0000080f: ADDRESS 00000810: PUSH1 0x01 00000812: PUSH1 0xa0 00000814: PUSH1 0x02 00000816: EXP 00000817: SUB 00000818: AND 00000819: BALANCE 0000081a: SUB 0000081b: LT 0000081c: ISZERO 0000081d: PUSH2 0x0828 00000820: JUMPI 00000821: PUSH2 0x0791 00000824: PUSH2 0x02c4 00000827: JUMP 00000828: JUMPDEST 00000829: PUSH1 0x00 0000082b: SWAP3 0000082c: POP 0000082d: JUMPDEST 0000082e: PUSH1 0x20 00000830: DUP4 00000831: LT 00000832: ISZERO 00000833: PUSH2 0x0466 00000836: JUMPI 00000837: PUSH1 0x78 00000839: PUSH1 0xf8 0000083b: PUSH1 0x02 0000083d: EXP 0000083e: MUL 0000083f: DUP12 00000840: DUP5 00000841: DUP2 00000842: MLOAD 00000843: DUP2 00000844: LT 00000845: ISZERO 00000846: PUSH2 0x0002 00000849: JUMPI 0000084a: PUSH1 0x20 0000084c: SWAP1 0000084d: DUP2 0000084e: MUL 0000084f: SWAP1 00000850: SWAP2 00000851: ADD 00000852: ADD 00000853: MSTORE 00000854: PUSH1 0x01 00000856: SWAP3 00000857: SWAP1 00000858: SWAP3 00000859: ADD 0000085a: SWAP2 0000085b: PUSH2 0x082d 0000085e: JUMP 0000085f: JUMPDEST 00000860: PUSH1 0x01 00000862: PUSH1 0xa0 00000864: PUSH1 0x02 00000866: EXP 00000867: SUB 00000868: DUP9 00000869: DUP2 0000086a: AND 0000086b: PUSH1 0x00 0000086d: NOT 0000086e: ADD 0000086f: SWAP1 00000870: DUP2 00000871: AND 00000872: PUSH1 0x00 00000874: SWAP1 00000875: DUP2 00000876: MSTORE 00000877: PUSH1 0x06 00000879: PUSH1 0x20 0000087b: MSTORE 0000087c: PUSH1 0x40 0000087e: DUP2 0000087f: KECCAK256 00000880: SLOAD 00000881: DUP11 00000882: SWAP9 00000883: POP 00000884: SWAP2 00000885: SWAP7 00000886: POP 00000887: DUP7 00000888: SWAP6 00000889: POP 0000088a: SWAP4 0000088b: POP 0000088c: DUP4 0000088d: SWAP1 0000088e: GT 0000088f: ISZERO 00000890: PUSH2 0x08b2 00000893: JUMPI 00000894: PUSH1 0x01 00000896: PUSH1 0xa0 00000898: PUSH1 0x02 0000089a: EXP 0000089b: SUB 0000089c: DUP5 0000089d: AND 0000089e: DUP4 0000089f: MSTORE 000008a0: PUSH1 0x40 000008a2: DUP4 000008a3: KECCAK256 000008a4: DUP1 000008a5: SLOAD 000008a6: SWAP4 000008a7: SWAP1 000008a8: SSTORE 000008a9: PUSH1 0x01 000008ab: SWAP3 000008ac: SWAP2 000008ad: POP 000008ae: PUSH2 0x08cc 000008b1: JUMP 000008b2: JUMPDEST 000008b3: PUSH1 0x01 000008b5: PUSH1 0xa0 000008b7: PUSH1 0x02 000008b9: EXP 000008ba: SUB 000008bb: DUP7 000008bc: AND 000008bd: PUSH1 0x00 000008bf: SWAP1 000008c0: DUP2 000008c1: MSTORE 000008c2: PUSH1 0x06 000008c4: PUSH1 0x20 000008c6: MSTORE 000008c7: PUSH1 0x40 000008c9: DUP2 000008ca: KECCAK256 000008cb: SSTORE 000008cc: JUMPDEST 000008cd: PUSH1 0x01 000008cf: PUSH1 0xa0 000008d1: PUSH1 0x02 000008d3: EXP 000008d4: SUB 000008d5: DUP5 000008d6: AND 000008d7: PUSH1 0x00 000008d9: SWAP1 000008da: DUP2 000008db: MSTORE 000008dc: PUSH1 0x06 000008de: PUSH1 0x20 000008e0: MSTORE 000008e1: PUSH1 0x40 000008e3: DUP2 000008e4: KECCAK256 000008e5: SLOAD 000008e6: GT 000008e7: DUP1 000008e8: ISZERO 000008e9: PUSH2 0x08f2 000008ec: JUMPI 000008ed: POP 000008ee: DUP3 000008ef: PUSH1 0x01 000008f1: EQ 000008f2: JUMPDEST 000008f3: ISZERO 000008f4: PUSH2 0x091b 000008f7: JUMPI 000008f8: PUSH1 0x40 000008fa: MLOAD 000008fb: PUSH1 0x01 000008fd: PUSH1 0xa0 000008ff: PUSH1 0x02 00000901: EXP 00000902: SUB 00000903: DUP8 00000904: AND 00000905: SWAP1 00000906: PUSH1 0x00 00000908: SWAP1 00000909: PUSH1 0x05 0000090b: DUP6 0000090c: MUL 0000090d: SWAP1 0000090e: DUP3 0000090f: DUP2 00000910: DUP2 00000911: DUP2 00000912: DUP6 00000913: DUP9 00000914: DUP4 00000915: CALL 00000916: POP 00000917: POP 00000918: POP 00000919: POP 0000091a: POP 0000091b: JUMPDEST 0000091c: POP 0000091d: PUSH1 0x00 0000091f: JUMPDEST 00000920: PUSH1 0x05 00000922: SLOAD 00000923: DUP2 00000924: LT 00000925: ISZERO 00000926: PUSH2 0x09a7 00000929: JUMPI 0000092a: PUSH1 0x01 0000092c: PUSH1 0xa0 0000092e: PUSH1 0x02 00000930: EXP 00000931: SUB 00000932: DUP7 00000933: AND 00000934: PUSH1 0x00 00000936: DUP3 00000937: PUSH1 0x05 00000939: DUP2 0000093a: LT 0000093b: ISZERO 0000093c: PUSH2 0x0002 0000093f: JUMPI 00000940: SLOAD 00000941: PUSH1 0x01 00000943: PUSH1 0xa0 00000945: PUSH1 0x02 00000947: EXP 00000948: SUB 00000949: AND 0000094a: SWAP2 0000094b: SWAP1 0000094c: SWAP2 0000094d: EQ 0000094e: SWAP1 0000094f: POP 00000950: DUP1 00000951: PUSH2 0x097c 00000954: JUMPI 00000955: POP 00000956: PUSH1 0x01 00000958: PUSH1 0xa0 0000095a: PUSH1 0x02 0000095c: EXP 0000095d: SUB 0000095e: DUP5 0000095f: AND 00000960: PUSH1 0x00 00000962: DUP3 00000963: PUSH1 0x05 00000965: DUP2 00000966: LT 00000967: ISZERO 00000968: PUSH2 0x0002 0000096b: JUMPI 0000096c: SLOAD 0000096d: PUSH1 0x01 0000096f: PUSH1 0xa0 00000971: PUSH1 0x02 00000973: EXP 00000974: SUB 00000975: AND 00000976: SWAP2 00000977: SWAP1 00000978: SWAP2 00000979: EQ 0000097a: SWAP1 0000097b: POP 0000097c: JUMPDEST 0000097d: ISZERO 0000097e: PUSH2 0x099f 00000981: JUMPI 00000982: PUSH1 0x00 00000984: DUP1 00000985: DUP3 00000986: PUSH1 0x05 00000988: DUP2 00000989: LT 0000098a: ISZERO 0000098b: PUSH2 0x0002 0000098e: JUMPI 0000098f: DUP1 00000990: SLOAD 00000991: PUSH1 0x01 00000993: PUSH1 0xa0 00000995: PUSH1 0x02 00000997: EXP 00000998: SUB 00000999: NOT 0000099a: AND 0000099b: SWAP1 0000099c: SSTORE 0000099d: POP 0000099e: POP 0000099f: JUMPDEST 000009a0: PUSH1 0x01 000009a2: ADD 000009a3: PUSH2 0x091f 000009a6: JUMP 000009a7: JUMPDEST 000009a8: POP 000009a9: POP 000009aa: POP 000009ab: POP 000009ac: POP 000009ad: POP 000009ae: POP 000009af: POP 000009b0: JUMP 000009b1: JUMPDEST 000009b2: PUSH1 0x00 000009b4: SWAP3 000009b5: POP 000009b6: DUP3 000009b7: SWAP2 000009b8: POP 000009b9: JUMPDEST 000009ba: PUSH1 0x0c 000009bc: SLOAD 000009bd: DUP4 000009be: LT 000009bf: ISZERO 000009c0: PUSH2 0x09fb 000009c3: JUMPI 000009c4: PUSH1 0x0d 000009c6: PUSH1 0x00 000009c8: PUSH1 0x07 000009ca: DUP6 000009cb: PUSH1 0x05 000009cd: DUP2 000009ce: LT 000009cf: ISZERO 000009d0: PUSH2 0x0002 000009d3: JUMPI 000009d4: ADD 000009d5: SLOAD 000009d6: PUSH1 0x01 000009d8: PUSH1 0xa0 000009da: PUSH1 0x02 000009dc: EXP 000009dd: SUB 000009de: AND 000009df: DUP2 000009e0: MSTORE 000009e1: PUSH1 0x20 000009e3: SWAP2 000009e4: SWAP1 000009e5: SWAP2 000009e6: MSTORE 000009e7: PUSH1 0x40 000009e9: SWAP1 000009ea: KECCAK256 000009eb: SLOAD 000009ec: SWAP1 000009ed: SWAP2 000009ee: ADD 000009ef: SWAP1 000009f0: PUSH1 0x01 000009f2: SWAP3 000009f3: SWAP1 000009f4: SWAP3 000009f5: ADD 000009f6: SWAP2 000009f7: PUSH2 0x09b9 000009fa: JUMP 000009fb: JUMPDEST 000009fc: POP 000009fd: ADDRESS 000009fe: PUSH1 0x01 00000a00: PUSH1 0xa0 00000a02: PUSH1 0x02 00000a04: EXP 00000a05: SUB 00000a06: AND 00000a07: BALANCE 00000a08: SWAP3 00000a09: SWAP1 00000a0a: SWAP3 00000a0b: SUB 00000a0c: SWAP2 00000a0d: SWAP1 00000a0e: SWAP2 00000a0f: DIV 00000a10: PUSH1 0x64 00000a12: MUL 00000a13: SWAP3 00000a14: SWAP2 00000a15: POP 00000a16: POP 00000a17: JUMP 00000a18: JUMPDEST 00000a19: PUSH1 0x00 00000a1b: SWAP4 00000a1c: POP 00000a1d: PUSH1 0x00 00000a1f: SWAP3 00000a20: POP 00000a21: JUMPDEST 00000a22: PUSH1 0x05 00000a24: SLOAD 00000a25: DUP4 00000a26: LT 00000a27: ISZERO 00000a28: PUSH2 0x0a64 00000a2b: JUMPI 00000a2c: PUSH1 0x06 00000a2e: PUSH1 0x00 00000a30: DUP1 00000a31: DUP6 00000a32: PUSH1 0x05 00000a34: DUP2 00000a35: LT 00000a36: ISZERO 00000a37: PUSH2 0x0002 00000a3a: JUMPI 00000a3b: SLOAD 00000a3c: PUSH1 0x01 00000a3e: PUSH1 0xa0 00000a40: PUSH1 0x02 00000a42: EXP 00000a43: SUB 00000a44: AND 00000a45: SWAP1 00000a46: MSTORE 00000a47: PUSH1 0x20 00000a49: SWAP2 00000a4a: SWAP1 00000a4b: SWAP2 00000a4c: MSTORE 00000a4d: PUSH1 0x40 00000a4f: SWAP1 00000a50: KECCAK256 00000a51: SLOAD 00000a52: PUSH1 0x05 00000a54: MUL 00000a55: SWAP1 00000a56: SWAP4 00000a57: ADD 00000a58: SWAP3 00000a59: PUSH1 0x01 00000a5b: SWAP3 00000a5c: SWAP1 00000a5d: SWAP3 00000a5e: ADD 00000a5f: SWAP2 00000a60: PUSH2 0x0a21 00000a63: JUMP 00000a64: JUMPDEST 00000a65: PUSH1 0x00 00000a67: SWAP3 00000a68: POP 00000a69: DUP3 00000a6a: SWAP2 00000a6b: POP 00000a6c: JUMPDEST 00000a6d: PUSH1 0x0c 00000a6f: SLOAD 00000a70: DUP4 00000a71: LT 00000a72: ISZERO 00000a73: PUSH2 0x0aae 00000a76: JUMPI 00000a77: PUSH1 0x0d 00000a79: PUSH1 0x00 00000a7b: PUSH1 0x07 00000a7d: DUP6 00000a7e: PUSH1 0x05 00000a80: DUP2 00000a81: LT 00000a82: ISZERO 00000a83: PUSH2 0x0002 00000a86: JUMPI 00000a87: ADD 00000a88: SLOAD 00000a89: PUSH1 0x01 00000a8b: PUSH1 0xa0 00000a8d: PUSH1 0x02 00000a8f: EXP 00000a90: SUB 00000a91: AND 00000a92: DUP2 00000a93: MSTORE 00000a94: PUSH1 0x20 00000a96: SWAP2 00000a97: SWAP1 00000a98: SWAP2 00000a99: MSTORE 00000a9a: PUSH1 0x40 00000a9c: SWAP1 00000a9d: KECCAK256 00000a9e: SLOAD 00000a9f: SWAP1 00000aa0: SWAP2 00000aa1: ADD 00000aa2: SWAP1 00000aa3: PUSH1 0x01 00000aa5: SWAP3 00000aa6: SWAP1 00000aa7: SWAP3 00000aa8: ADD 00000aa9: SWAP2 00000aaa: PUSH2 0x0a6c 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: DUP4 00000ab0: ADDRESS 00000ab1: PUSH1 0x01 00000ab3: PUSH1 0xa0 00000ab5: PUSH1 0x02 00000ab7: EXP 00000ab8: SUB 00000ab9: AND 00000aba: BALANCE 00000abb: SUB 00000abc: DUP3 00000abd: PUSH1 0x0d 00000abf: PUSH1 0x00 00000ac1: POP 00000ac2: PUSH1 0x00 00000ac4: CALLER 00000ac5: PUSH1 0x01 00000ac7: PUSH1 0xa0 00000ac9: PUSH1 0x02 00000acb: EXP 00000acc: SUB 00000acd: AND 00000ace: DUP2 00000acf: MSTORE 00000ad0: PUSH1 0x20 00000ad2: ADD 00000ad3: SWAP1 00000ad4: DUP2 00000ad5: MSTORE 00000ad6: PUSH1 0x20 00000ad8: ADD 00000ad9: PUSH1 0x00 00000adb: KECCAK256 00000adc: PUSH1 0x00 00000ade: POP 00000adf: SLOAD 00000ae0: DIV 00000ae1: MUL 00000ae2: SWAP1 00000ae3: POP 00000ae4: DUP4 00000ae5: ADDRESS 00000ae6: PUSH1 0x01 00000ae8: PUSH1 0xa0 00000aea: PUSH1 0x02 00000aec: EXP 00000aed: SUB 00000aee: AND 00000aef: BALANCE 00000af0: SUB 00000af1: DUP2 00000af2: GT 00000af3: ISZERO 00000af4: PUSH2 0x0afc 00000af7: JUMPI 00000af8: PUSH2 0x0290 00000afb: JUMP 00000afc: JUMPDEST 00000afd: PUSH1 0x40 00000aff: MLOAD 00000b00: CALLER 00000b01: PUSH1 0x01 00000b03: PUSH1 0xa0 00000b05: PUSH1 0x02 00000b07: EXP 00000b08: SUB 00000b09: AND 00000b0a: SWAP1 00000b0b: PUSH1 0x00 00000b0d: SWAP1 00000b0e: DUP4 00000b0f: SWAP1 00000b10: DUP3 00000b11: DUP2 00000b12: DUP2 00000b13: DUP2 00000b14: DUP6 00000b15: DUP9 00000b16: DUP4 00000b17: CALL 00000b18: POP 00000b19: POP 00000b1a: POP 00000b1b: SWAP1 00000b1c: DUP2 00000b1d: MSTORE 00000b1e: PUSH1 0x0d 00000b20: PUSH1 0x20 00000b22: MSTORE 00000b23: PUSH1 0x40 00000b25: DUP2 00000b26: KECCAK256 00000b27: DUP2 00000b28: SWAP1 00000b29: SSTORE 00000b2a: SWAP3 00000b2b: POP 00000b2c: JUMPDEST 00000b2d: PUSH1 0x0c 00000b2f: SLOAD 00000b30: DUP4 00000b31: LT 00000b32: ISZERO 00000b33: PUSH2 0x0290 00000b36: JUMPI 00000b37: CALLER 00000b38: PUSH1 0x01 00000b3a: PUSH1 0xa0 00000b3c: PUSH1 0x02 00000b3e: EXP 00000b3f: SUB 00000b40: AND 00000b41: PUSH1 0x07 00000b43: DUP5 00000b44: PUSH1 0x05 00000b46: DUP2 00000b47: LT 00000b48: ISZERO 00000b49: PUSH2 0x0002 00000b4c: JUMPI 00000b4d: ADD 00000b4e: SLOAD 00000b4f: PUSH1 0x01 00000b51: PUSH1 0xa0 00000b53: PUSH1 0x02 00000b55: EXP 00000b56: SUB 00000b57: AND 00000b58: EQ 00000b59: ISZERO 00000b5a: PUSH2 0x0b7c 00000b5d: JUMPI 00000b5e: PUSH1 0x00 00000b60: PUSH1 0x07 00000b62: DUP5 00000b63: PUSH1 0x05 00000b65: DUP2 00000b66: LT 00000b67: ISZERO 00000b68: PUSH2 0x0002 00000b6b: JUMPI 00000b6c: ADD 00000b6d: DUP1 00000b6e: SLOAD 00000b6f: PUSH1 0x01 00000b71: PUSH1 0xa0 00000b73: PUSH1 0x02 00000b75: EXP 00000b76: SUB 00000b77: NOT 00000b78: AND 00000b79: SWAP1 00000b7a: SSTORE 00000b7b: POP 00000b7c: JUMPDEST 00000b7d: PUSH1 0x01 00000b7f: SWAP3 00000b80: SWAP1 00000b81: SWAP3 00000b82: ADD 00000b83: SWAP2 00000b84: PUSH2 0x0b2c 00000b87: 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: 0x7bbeb3a2c924b3293cea736c3d631dcd89255a37a63bebe57752e58c4daf4de5
call_targets:
0xa8e58a8173e109feb1da5d153d328733aff0639d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7bbeb3a2c924b3293cea736c3d631dcd89255a37a63bebe57752e58c4daf4de5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa8e58a8173e109feb1da5d153d328733aff0639d"
],
"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": "0x1323af40",
"selector": "0x1323af40",
"calldata_variants": [
"0x1323af40",
"0x1323af400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 735,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1276,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1329,
"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: 0x7bbeb3a2c924b3293cea736c3d631dcd89255a37a63bebe57752e58c4daf4de5
call_targets:
0xa8e58a8173e109feb1da5d153d328733aff0639d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7bbeb3a2c924b3293cea736c3d631dcd89255a37a63bebe57752e58c4daf4de5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa8e58a8173e109feb1da5d153d328733aff0639d"
],
"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": "0x1323af40",
"selector": "0x1323af40",
"calldata_variants": [
"0x1323af40",
"0x1323af400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 735,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1276,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 13,
"guards_detected": []
}
|