019b477e-d037-705a-87ef-71c816189f2b
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 |
|---|---|---|---|---|
| 27527 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27528 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108033 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108034 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108035 | detector.run | complete | 1 / 3 | 1 week ago |
| 108036 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00f7 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xce7c2ac2 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xce7c2ac2 0000002f: EQ 00000030: PUSH2 0x02ec 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd79779b2 0000003a: EQ 0000003b: PUSH2 0x0322 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe33b7de3 00000045: EQ 00000046: PUSH2 0x0358 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x036d 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x8da5cb5b 00000060: EQ 00000061: PUSH2 0x0258 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x9852595c 0000006b: EQ 0000006c: PUSH2 0x0276 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa3f8eace 00000076: EQ 00000077: PUSH2 0x02ac 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xc45ac050 00000081: EQ 00000082: PUSH2 0x02cc 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x48b75044 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x48b75044 0000009c: EQ 0000009d: PUSH2 0x01cb 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x715018a6 000000a7: EQ 000000a8: PUSH2 0x01eb 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x78e6bf62 000000b2: EQ 000000b3: PUSH2 0x0200 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8b83209b 000000bd: EQ 000000be: PUSH2 0x0220 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x19165587 000000cd: EQ 000000ce: PUSH2 0x0145 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x3a98ef39 000000d8: EQ 000000d9: PUSH2 0x0167 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x3ccdbb28 000000e3: EQ 000000e4: PUSH2 0x018b 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x406072a9 000000ee: EQ 000000ef: PUSH2 0x01ab 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: CALLDATASIZE 000000f9: PUSH2 0x0140 000000fc: JUMPI 000000fd: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 0000011e: CALLER 0000011f: PUSH1 0x40 00000121: DUP1 00000122: MLOAD 00000123: PUSH1 0x01 00000125: PUSH1 0x01 00000127: PUSH1 0xa0 00000129: SHL 0000012a: SUB 0000012b: SWAP1 0000012c: SWAP3 0000012d: AND 0000012e: DUP3 0000012f: MSTORE 00000130: CALLVALUE 00000131: PUSH1 0x20 00000133: DUP4 00000134: ADD 00000135: MSTORE 00000136: ADD 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: DUP1 0000013b: SWAP2 0000013c: SUB 0000013d: SWAP1 0000013e: LOG1 0000013f: STOP 00000140: JUMPDEST 00000141: PUSH1 0x00 00000143: DUP1 00000144: REVERT 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0151 0000014c: JUMPI 0000014d: PUSH1 0x00 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: POP 00000153: PUSH2 0x0165 00000156: PUSH2 0x0160 00000159: CALLDATASIZE 0000015a: PUSH1 0x04 0000015c: PUSH2 0x0cf6 0000015f: JUMP 00000160: JUMPDEST 00000161: PUSH2 0x038d 00000164: JUMP 00000165: JUMPDEST 00000166: STOP 00000167: JUMPDEST 00000168: CALLVALUE 00000169: DUP1 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: PUSH1 0x01 00000177: SLOAD 00000178: JUMPDEST 00000179: PUSH1 0x40 0000017b: MLOAD 0000017c: SWAP1 0000017d: DUP2 0000017e: MSTORE 0000017f: PUSH1 0x20 00000181: ADD 00000182: JUMPDEST 00000183: PUSH1 0x40 00000185: MLOAD 00000186: DUP1 00000187: SWAP2 00000188: SUB 00000189: SWAP1 0000018a: RETURN 0000018b: JUMPDEST 0000018c: CALLVALUE 0000018d: DUP1 0000018e: ISZERO 0000018f: PUSH2 0x0197 00000192: JUMPI 00000193: PUSH1 0x00 00000195: DUP1 00000196: REVERT 00000197: JUMPDEST 00000198: POP 00000199: PUSH2 0x0165 0000019c: PUSH2 0x01a6 0000019f: CALLDATASIZE 000001a0: PUSH1 0x04 000001a2: PUSH2 0x0d13 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH2 0x047d 000001aa: JUMP 000001ab: JUMPDEST 000001ac: CALLVALUE 000001ad: DUP1 000001ae: ISZERO 000001af: PUSH2 0x01b7 000001b2: JUMPI 000001b3: PUSH1 0x00 000001b5: DUP1 000001b6: REVERT 000001b7: JUMPDEST 000001b8: POP 000001b9: PUSH2 0x0178 000001bc: PUSH2 0x01c6 000001bf: CALLDATASIZE 000001c0: PUSH1 0x04 000001c2: PUSH2 0x0d55 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH2 0x0548 000001ca: JUMP 000001cb: JUMPDEST 000001cc: CALLVALUE 000001cd: DUP1 000001ce: ISZERO 000001cf: PUSH2 0x01d7 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: POP 000001d9: PUSH2 0x0165 000001dc: PUSH2 0x01e6 000001df: CALLDATASIZE 000001e0: PUSH1 0x04 000001e2: PUSH2 0x0d55 000001e5: JUMP 000001e6: JUMPDEST 000001e7: PUSH2 0x0575 000001ea: JUMP 000001eb: JUMPDEST 000001ec: CALLVALUE 000001ed: DUP1 000001ee: ISZERO 000001ef: PUSH2 0x01f7 000001f2: JUMPI 000001f3: PUSH1 0x00 000001f5: DUP1 000001f6: REVERT 000001f7: JUMPDEST 000001f8: POP 000001f9: PUSH2 0x0165 000001fc: PUSH2 0x0686 000001ff: JUMP 00000200: JUMPDEST 00000201: CALLVALUE 00000202: DUP1 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: POP 0000020e: PUSH2 0x0165 00000211: PUSH2 0x021b 00000214: CALLDATASIZE 00000215: PUSH1 0x04 00000217: PUSH2 0x0d8e 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH2 0x069a 0000021f: JUMP 00000220: JUMPDEST 00000221: CALLVALUE 00000222: DUP1 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: PUSH2 0x0240 00000231: PUSH2 0x023b 00000234: CALLDATASIZE 00000235: PUSH1 0x04 00000237: PUSH2 0x0d8e 0000023a: JUMP 0000023b: JUMPDEST 0000023c: PUSH2 0x0702 0000023f: JUMP 00000240: JUMPDEST 00000241: PUSH1 0x40 00000243: MLOAD 00000244: PUSH1 0x01 00000246: PUSH1 0x01 00000248: PUSH1 0xa0 0000024a: SHL 0000024b: SUB 0000024c: SWAP1 0000024d: SWAP2 0000024e: AND 0000024f: DUP2 00000250: MSTORE 00000251: PUSH1 0x20 00000253: ADD 00000254: PUSH2 0x0182 00000257: JUMP 00000258: JUMPDEST 00000259: CALLVALUE 0000025a: DUP1 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: POP 00000266: PUSH1 0x00 00000268: SLOAD 00000269: PUSH1 0x01 0000026b: PUSH1 0x01 0000026d: PUSH1 0xa0 0000026f: SHL 00000270: SUB 00000271: AND 00000272: PUSH2 0x0240 00000275: JUMP 00000276: JUMPDEST 00000277: CALLVALUE 00000278: DUP1 00000279: ISZERO 0000027a: PUSH2 0x0282 0000027d: JUMPI 0000027e: PUSH1 0x00 00000280: DUP1 00000281: REVERT 00000282: JUMPDEST 00000283: POP 00000284: PUSH2 0x0178 00000287: PUSH2 0x0291 0000028a: CALLDATASIZE 0000028b: PUSH1 0x04 0000028d: PUSH2 0x0cf6 00000290: JUMP 00000291: JUMPDEST 00000292: PUSH1 0x01 00000294: PUSH1 0x01 00000296: PUSH1 0xa0 00000298: SHL 00000299: SUB 0000029a: AND 0000029b: PUSH1 0x00 0000029d: SWAP1 0000029e: DUP2 0000029f: MSTORE 000002a0: PUSH1 0x04 000002a2: PUSH1 0x20 000002a4: MSTORE 000002a5: PUSH1 0x40 000002a7: SWAP1 000002a8: KECCAK256 000002a9: SLOAD 000002aa: SWAP1 000002ab: JUMP 000002ac: JUMPDEST 000002ad: CALLVALUE 000002ae: DUP1 000002af: ISZERO 000002b0: PUSH2 0x02b8 000002b3: JUMPI 000002b4: PUSH1 0x00 000002b6: DUP1 000002b7: REVERT 000002b8: JUMPDEST 000002b9: POP 000002ba: PUSH2 0x0178 000002bd: PUSH2 0x02c7 000002c0: CALLDATASIZE 000002c1: PUSH1 0x04 000002c3: PUSH2 0x0cf6 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH2 0x0732 000002cb: JUMP 000002cc: JUMPDEST 000002cd: CALLVALUE 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x02d8 000002d3: JUMPI 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: REVERT 000002d8: JUMPDEST 000002d9: POP 000002da: PUSH2 0x0178 000002dd: PUSH2 0x02e7 000002e0: CALLDATASIZE 000002e1: PUSH1 0x04 000002e3: PUSH2 0x0d55 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH2 0x077a 000002eb: JUMP 000002ec: JUMPDEST 000002ed: CALLVALUE 000002ee: DUP1 000002ef: ISZERO 000002f0: PUSH2 0x02f8 000002f3: JUMPI 000002f4: PUSH1 0x00 000002f6: DUP1 000002f7: REVERT 000002f8: JUMPDEST 000002f9: POP 000002fa: PUSH2 0x0178 000002fd: PUSH2 0x0307 00000300: CALLDATASIZE 00000301: PUSH1 0x04 00000303: PUSH2 0x0cf6 00000306: JUMP 00000307: JUMPDEST 00000308: PUSH1 0x01 0000030a: PUSH1 0x01 0000030c: PUSH1 0xa0 0000030e: SHL 0000030f: SUB 00000310: AND 00000311: PUSH1 0x00 00000313: SWAP1 00000314: DUP2 00000315: MSTORE 00000316: PUSH1 0x03 00000318: PUSH1 0x20 0000031a: MSTORE 0000031b: PUSH1 0x40 0000031d: SWAP1 0000031e: KECCAK256 0000031f: SLOAD 00000320: SWAP1 00000321: JUMP 00000322: JUMPDEST 00000323: CALLVALUE 00000324: DUP1 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: POP 00000330: PUSH2 0x0178 00000333: PUSH2 0x033d 00000336: CALLDATASIZE 00000337: PUSH1 0x04 00000339: PUSH2 0x0cf6 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x01 00000340: PUSH1 0x01 00000342: PUSH1 0xa0 00000344: SHL 00000345: SUB 00000346: AND 00000347: PUSH1 0x00 00000349: SWAP1 0000034a: DUP2 0000034b: MSTORE 0000034c: PUSH1 0x06 0000034e: PUSH1 0x20 00000350: MSTORE 00000351: PUSH1 0x40 00000353: SWAP1 00000354: KECCAK256 00000355: SLOAD 00000356: SWAP1 00000357: JUMP 00000358: JUMPDEST 00000359: CALLVALUE 0000035a: DUP1 0000035b: ISZERO 0000035c: PUSH2 0x0364 0000035f: JUMPI 00000360: PUSH1 0x00 00000362: DUP1 00000363: REVERT 00000364: JUMPDEST 00000365: POP 00000366: PUSH1 0x02 00000368: SLOAD 00000369: PUSH2 0x0178 0000036c: JUMP 0000036d: JUMPDEST 0000036e: CALLVALUE 0000036f: DUP1 00000370: ISZERO 00000371: PUSH2 0x0379 00000374: JUMPI 00000375: PUSH1 0x00 00000377: DUP1 00000378: REVERT 00000379: JUMPDEST 0000037a: POP 0000037b: PUSH2 0x0165 0000037e: PUSH2 0x0388 00000381: CALLDATASIZE 00000382: PUSH1 0x04 00000384: PUSH2 0x0cf6 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH2 0x0820 0000038c: JUMP 0000038d: JUMPDEST 0000038e: PUSH1 0x01 00000390: PUSH1 0x01 00000392: PUSH1 0xa0 00000394: SHL 00000395: SUB 00000396: DUP2 00000397: AND 00000398: PUSH1 0x00 0000039a: SWAP1 0000039b: DUP2 0000039c: MSTORE 0000039d: PUSH1 0x03 0000039f: PUSH1 0x20 000003a1: MSTORE 000003a2: PUSH1 0x40 000003a4: SWAP1 000003a5: KECCAK256 000003a6: SLOAD 000003a7: PUSH2 0x03cb 000003aa: JUMPI 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: PUSH3 0x461bcd 000003b2: PUSH1 0xe5 000003b4: SHL 000003b5: DUP2 000003b6: MSTORE 000003b7: PUSH1 0x04 000003b9: ADD 000003ba: PUSH2 0x03c2 000003bd: SWAP1 000003be: PUSH2 0x0da7 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH1 0x40 000003c5: MLOAD 000003c6: DUP1 000003c7: SWAP2 000003c8: SUB 000003c9: SWAP1 000003ca: REVERT 000003cb: JUMPDEST 000003cc: PUSH1 0x00 000003ce: PUSH2 0x03d6 000003d1: DUP3 000003d2: PUSH2 0x0732 000003d5: JUMP 000003d6: JUMPDEST 000003d7: SWAP1 000003d8: POP 000003d9: DUP1 000003da: PUSH1 0x00 000003dc: SUB 000003dd: PUSH2 0x03f8 000003e0: JUMPI 000003e1: PUSH1 0x40 000003e3: MLOAD 000003e4: PUSH3 0x461bcd 000003e8: PUSH1 0xe5 000003ea: SHL 000003eb: DUP2 000003ec: MSTORE 000003ed: PUSH1 0x04 000003ef: ADD 000003f0: PUSH2 0x03c2 000003f3: SWAP1 000003f4: PUSH2 0x0ded 000003f7: JUMP 000003f8: JUMPDEST 000003f9: DUP1 000003fa: PUSH1 0x02 000003fc: PUSH1 0x00 000003fe: DUP3 000003ff: DUP3 00000400: SLOAD 00000401: PUSH2 0x040a 00000404: SWAP2 00000405: SWAP1 00000406: PUSH2 0x0e4e 00000409: JUMP 0000040a: JUMPDEST 0000040b: SWAP1 0000040c: SWAP2 0000040d: SSTORE 0000040e: POP 0000040f: POP 00000410: PUSH1 0x01 00000412: PUSH1 0x01 00000414: PUSH1 0xa0 00000416: SHL 00000417: SUB 00000418: DUP3 00000419: AND 0000041a: PUSH1 0x00 0000041c: SWAP1 0000041d: DUP2 0000041e: MSTORE 0000041f: PUSH1 0x04 00000421: PUSH1 0x20 00000423: MSTORE 00000424: PUSH1 0x40 00000426: SWAP1 00000427: KECCAK256 00000428: DUP1 00000429: SLOAD 0000042a: DUP3 0000042b: ADD 0000042c: SWAP1 0000042d: SSTORE 0000042e: PUSH2 0x0437 00000431: DUP3 00000432: DUP3 00000433: PUSH2 0x0899 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH1 0x40 0000043a: DUP1 0000043b: MLOAD 0000043c: PUSH1 0x01 0000043e: PUSH1 0x01 00000440: PUSH1 0xa0 00000442: SHL 00000443: SUB 00000444: DUP5 00000445: AND 00000446: DUP2 00000447: MSTORE 00000448: PUSH1 0x20 0000044a: DUP2 0000044b: ADD 0000044c: DUP4 0000044d: SWAP1 0000044e: MSTORE 0000044f: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 00000470: SWAP2 00000471: ADD 00000472: PUSH1 0x40 00000474: MLOAD 00000475: DUP1 00000476: SWAP2 00000477: SUB 00000478: SWAP1 00000479: LOG1 0000047a: POP 0000047b: POP 0000047c: JUMP 0000047d: JUMPDEST 0000047e: PUSH2 0x0485 00000481: PUSH2 0x09b2 00000484: JUMP 00000485: JUMPDEST 00000486: PUSH4 0x790791b3 0000048b: TIMESTAMP 0000048c: GT 0000048d: PUSH2 0x04c4 00000490: JUMPI 00000491: PUSH1 0x40 00000493: MLOAD 00000494: PUSH3 0x461bcd 00000498: PUSH1 0xe5 0000049a: SHL 0000049b: DUP2 0000049c: MSTORE 0000049d: PUSH1 0x20 0000049f: PUSH1 0x04 000004a1: DUP3 000004a2: ADD 000004a3: MSTORE 000004a4: PUSH1 0x09 000004a6: PUSH1 0x24 000004a8: DUP3 000004a9: ADD 000004aa: MSTORE 000004ab: PUSH9 0x746f6f206561726c79 000004b5: PUSH1 0xb8 000004b7: SHL 000004b8: PUSH1 0x44 000004ba: DUP3 000004bb: ADD 000004bc: MSTORE 000004bd: PUSH1 0x64 000004bf: ADD 000004c0: PUSH2 0x03c2 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH1 0x01 000004c7: PUSH1 0x01 000004c9: PUSH1 0xa0 000004cb: SHL 000004cc: SUB 000004cd: DUP4 000004ce: AND 000004cf: PUSH2 0x0538 000004d2: JUMPI 000004d3: PUSH1 0x00 000004d5: DUP2 000004d6: PUSH1 0x01 000004d8: PUSH1 0x01 000004da: PUSH1 0xa0 000004dc: SHL 000004dd: SUB 000004de: AND 000004df: DUP4 000004e0: PUSH1 0x40 000004e2: MLOAD 000004e3: PUSH1 0x00 000004e5: PUSH1 0x40 000004e7: MLOAD 000004e8: DUP1 000004e9: DUP4 000004ea: SUB 000004eb: DUP2 000004ec: DUP6 000004ed: DUP8 000004ee: GAS 000004ef: CALL 000004f0: SWAP3 000004f1: POP 000004f2: POP 000004f3: POP 000004f4: RETURNDATASIZE 000004f5: DUP1 000004f6: PUSH1 0x00 000004f8: DUP2 000004f9: EQ 000004fa: PUSH2 0x051f 000004fd: JUMPI 000004fe: PUSH1 0x40 00000500: MLOAD 00000501: SWAP2 00000502: POP 00000503: PUSH1 0x1f 00000505: NOT 00000506: PUSH1 0x3f 00000508: RETURNDATASIZE 00000509: ADD 0000050a: AND 0000050b: DUP3 0000050c: ADD 0000050d: PUSH1 0x40 0000050f: MSTORE 00000510: RETURNDATASIZE 00000511: DUP3 00000512: MSTORE 00000513: RETURNDATASIZE 00000514: PUSH1 0x00 00000516: PUSH1 0x20 00000518: DUP5 00000519: ADD 0000051a: RETURNDATACOPY 0000051b: PUSH2 0x0524 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH1 0x60 00000522: SWAP2 00000523: POP 00000524: JUMPDEST 00000525: POP 00000526: POP 00000527: SWAP1 00000528: POP 00000529: DUP1 0000052a: PUSH2 0x0532 0000052d: JUMPI 0000052e: PUSH1 0x00 00000530: DUP1 00000531: REVERT 00000532: JUMPDEST 00000533: POP 00000534: POP 00000535: POP 00000536: POP 00000537: JUMP 00000538: JUMPDEST 00000539: PUSH2 0x0543 0000053c: DUP4 0000053d: DUP3 0000053e: DUP5 0000053f: PUSH2 0x0a0c 00000542: JUMP 00000543: JUMPDEST 00000544: POP 00000545: POP 00000546: POP 00000547: JUMP 00000548: JUMPDEST 00000549: PUSH1 0x01 0000054b: PUSH1 0x01 0000054d: PUSH1 0xa0 0000054f: SHL 00000550: SUB 00000551: DUP1 00000552: DUP4 00000553: AND 00000554: PUSH1 0x00 00000556: SWAP1 00000557: DUP2 00000558: MSTORE 00000559: PUSH1 0x07 0000055b: PUSH1 0x20 0000055d: SWAP1 0000055e: DUP2 0000055f: MSTORE 00000560: PUSH1 0x40 00000562: DUP1 00000563: DUP4 00000564: KECCAK256 00000565: SWAP4 00000566: DUP6 00000567: AND 00000568: DUP4 00000569: MSTORE 0000056a: SWAP3 0000056b: SWAP1 0000056c: MSTORE 0000056d: KECCAK256 0000056e: SLOAD 0000056f: JUMPDEST 00000570: SWAP3 00000571: SWAP2 00000572: POP 00000573: POP 00000574: JUMP 00000575: JUMPDEST 00000576: PUSH1 0x01 00000578: PUSH1 0x01 0000057a: PUSH1 0xa0 0000057c: SHL 0000057d: SUB 0000057e: DUP2 0000057f: AND 00000580: PUSH1 0x00 00000582: SWAP1 00000583: DUP2 00000584: MSTORE 00000585: PUSH1 0x03 00000587: PUSH1 0x20 00000589: MSTORE 0000058a: PUSH1 0x40 0000058c: SWAP1 0000058d: KECCAK256 0000058e: SLOAD 0000058f: PUSH2 0x05aa 00000592: JUMPI 00000593: PUSH1 0x40 00000595: MLOAD 00000596: PUSH3 0x461bcd 0000059a: PUSH1 0xe5 0000059c: SHL 0000059d: DUP2 0000059e: MSTORE 0000059f: PUSH1 0x04 000005a1: ADD 000005a2: PUSH2 0x03c2 000005a5: SWAP1 000005a6: PUSH2 0x0da7 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH1 0x00 000005ad: PUSH2 0x05b6 000005b0: DUP4 000005b1: DUP4 000005b2: PUSH2 0x077a 000005b5: JUMP 000005b6: JUMPDEST 000005b7: SWAP1 000005b8: POP 000005b9: DUP1 000005ba: PUSH1 0x00 000005bc: SUB 000005bd: PUSH2 0x05d8 000005c0: JUMPI 000005c1: PUSH1 0x40 000005c3: MLOAD 000005c4: PUSH3 0x461bcd 000005c8: PUSH1 0xe5 000005ca: SHL 000005cb: DUP2 000005cc: MSTORE 000005cd: PUSH1 0x04 000005cf: ADD 000005d0: PUSH2 0x03c2 000005d3: SWAP1 000005d4: PUSH2 0x0ded 000005d7: JUMP 000005d8: JUMPDEST 000005d9: PUSH1 0x01 000005db: PUSH1 0x01 000005dd: PUSH1 0xa0 000005df: SHL 000005e0: SUB 000005e1: DUP4 000005e2: AND 000005e3: PUSH1 0x00 000005e5: SWAP1 000005e6: DUP2 000005e7: MSTORE 000005e8: PUSH1 0x06 000005ea: PUSH1 0x20 000005ec: MSTORE 000005ed: PUSH1 0x40 000005ef: DUP2 000005f0: KECCAK256 000005f1: DUP1 000005f2: SLOAD 000005f3: DUP4 000005f4: SWAP3 000005f5: SWAP1 000005f6: PUSH2 0x0600 000005f9: SWAP1 000005fa: DUP5 000005fb: SWAP1 000005fc: PUSH2 0x0e4e 000005ff: JUMP 00000600: JUMPDEST 00000601: SWAP1 00000602: SWAP2 00000603: SSTORE 00000604: POP 00000605: POP 00000606: PUSH1 0x01 00000608: PUSH1 0x01 0000060a: PUSH1 0xa0 0000060c: SHL 0000060d: SUB 0000060e: DUP1 0000060f: DUP5 00000610: AND 00000611: PUSH1 0x00 00000613: SWAP1 00000614: DUP2 00000615: MSTORE 00000616: PUSH1 0x07 00000618: PUSH1 0x20 0000061a: SWAP1 0000061b: DUP2 0000061c: MSTORE 0000061d: PUSH1 0x40 0000061f: DUP1 00000620: DUP4 00000621: KECCAK256 00000622: SWAP4 00000623: DUP7 00000624: AND 00000625: DUP4 00000626: MSTORE 00000627: SWAP3 00000628: SWAP1 00000629: MSTORE 0000062a: KECCAK256 0000062b: DUP1 0000062c: SLOAD 0000062d: DUP3 0000062e: ADD 0000062f: SWAP1 00000630: SSTORE 00000631: PUSH2 0x063b 00000634: DUP4 00000635: DUP4 00000636: DUP4 00000637: PUSH2 0x0a0c 0000063a: JUMP 0000063b: JUMPDEST 0000063c: PUSH1 0x40 0000063e: DUP1 0000063f: MLOAD 00000640: PUSH1 0x01 00000642: PUSH1 0x01 00000644: PUSH1 0xa0 00000646: SHL 00000647: SUB 00000648: DUP5 00000649: DUP2 0000064a: AND 0000064b: DUP3 0000064c: MSTORE 0000064d: PUSH1 0x20 0000064f: DUP3 00000650: ADD 00000651: DUP5 00000652: SWAP1 00000653: MSTORE 00000654: DUP6 00000655: AND 00000656: SWAP2 00000657: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 00000678: SWAP2 00000679: ADD 0000067a: PUSH1 0x40 0000067c: MLOAD 0000067d: DUP1 0000067e: SWAP2 0000067f: SUB 00000680: SWAP1 00000681: LOG2 00000682: POP 00000683: POP 00000684: POP 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH2 0x068e 0000068a: PUSH2 0x09b2 0000068d: JUMP 0000068e: JUMPDEST 0000068f: PUSH2 0x0698 00000692: PUSH1 0x00 00000694: PUSH2 0x0a5e 00000697: JUMP 00000698: JUMPDEST 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x40 0000069d: MLOAD 0000069e: PUSH4 0x6198e339 000006a3: PUSH1 0xe0 000006a5: SHL 000006a6: DUP2 000006a7: MSTORE 000006a8: PUSH1 0x04 000006aa: DUP2 000006ab: ADD 000006ac: DUP3 000006ad: SWAP1 000006ae: MSTORE 000006af: PUSH20 0x71b5759d73262fbb223956913ecf4ecc51057641 000006c4: SWAP1 000006c5: PUSH4 0x6198e339 000006ca: SWAP1 000006cb: PUSH1 0x24 000006cd: ADD 000006ce: PUSH1 0x00 000006d0: PUSH1 0x40 000006d2: MLOAD 000006d3: DUP1 000006d4: DUP4 000006d5: SUB 000006d6: DUP2 000006d7: PUSH1 0x00 000006d9: DUP8 000006da: DUP1 000006db: EXTCODESIZE 000006dc: ISZERO 000006dd: DUP1 000006de: ISZERO 000006df: PUSH2 0x06e7 000006e2: JUMPI 000006e3: PUSH1 0x00 000006e5: DUP1 000006e6: REVERT 000006e7: JUMPDEST 000006e8: POP 000006e9: GAS 000006ea: CALL 000006eb: ISZERO 000006ec: DUP1 000006ed: ISZERO 000006ee: PUSH2 0x06fb 000006f1: JUMPI 000006f2: RETURNDATASIZE 000006f3: PUSH1 0x00 000006f5: DUP1 000006f6: RETURNDATACOPY 000006f7: RETURNDATASIZE 000006f8: PUSH1 0x00 000006fa: REVERT 000006fb: JUMPDEST 000006fc: POP 000006fd: POP 000006fe: POP 000006ff: POP 00000700: POP 00000701: JUMP 00000702: JUMPDEST 00000703: PUSH1 0x00 00000705: PUSH1 0x05 00000707: DUP3 00000708: DUP2 00000709: SLOAD 0000070a: DUP2 0000070b: LT 0000070c: PUSH2 0x0717 0000070f: JUMPI 00000710: PUSH2 0x0717 00000713: PUSH2 0x0e61 00000716: JUMP 00000717: JUMPDEST 00000718: PUSH1 0x00 0000071a: SWAP2 0000071b: DUP3 0000071c: MSTORE 0000071d: PUSH1 0x20 0000071f: SWAP1 00000720: SWAP2 00000721: KECCAK256 00000722: ADD 00000723: SLOAD 00000724: PUSH1 0x01 00000726: PUSH1 0x01 00000728: PUSH1 0xa0 0000072a: SHL 0000072b: SUB 0000072c: AND 0000072d: SWAP3 0000072e: SWAP2 0000072f: POP 00000730: POP 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH1 0x00 00000735: DUP1 00000736: PUSH2 0x073e 00000739: PUSH1 0x02 0000073b: SLOAD 0000073c: SWAP1 0000073d: JUMP 0000073e: JUMPDEST 0000073f: PUSH2 0x0748 00000742: SWAP1 00000743: SELFBALANCE 00000744: PUSH2 0x0e4e 00000747: JUMP 00000748: JUMPDEST 00000749: SWAP1 0000074a: POP 0000074b: PUSH2 0x0773 0000074e: DUP4 0000074f: DUP3 00000750: PUSH2 0x076e 00000753: DUP7 00000754: PUSH1 0x01 00000756: PUSH1 0x01 00000758: PUSH1 0xa0 0000075a: SHL 0000075b: SUB 0000075c: AND 0000075d: PUSH1 0x00 0000075f: SWAP1 00000760: DUP2 00000761: MSTORE 00000762: PUSH1 0x04 00000764: PUSH1 0x20 00000766: MSTORE 00000767: PUSH1 0x40 00000769: SWAP1 0000076a: KECCAK256 0000076b: SLOAD 0000076c: SWAP1 0000076d: JUMP 0000076e: JUMPDEST 0000076f: PUSH2 0x0aae 00000772: JUMP 00000773: JUMPDEST 00000774: SWAP4 00000775: SWAP3 00000776: POP 00000777: POP 00000778: POP 00000779: JUMP 0000077a: JUMPDEST 0000077b: PUSH1 0x01 0000077d: PUSH1 0x01 0000077f: PUSH1 0xa0 00000781: SHL 00000782: SUB 00000783: DUP3 00000784: AND 00000785: PUSH1 0x00 00000787: SWAP1 00000788: DUP2 00000789: MSTORE 0000078a: PUSH1 0x06 0000078c: PUSH1 0x20 0000078e: MSTORE 0000078f: PUSH1 0x40 00000791: DUP2 00000792: KECCAK256 00000793: SLOAD 00000794: DUP2 00000795: SWAP1 00000796: PUSH1 0x40 00000798: MLOAD 00000799: PUSH4 0x70a08231 0000079e: PUSH1 0xe0 000007a0: SHL 000007a1: DUP2 000007a2: MSTORE 000007a3: ADDRESS 000007a4: PUSH1 0x04 000007a6: DUP3 000007a7: ADD 000007a8: MSTORE 000007a9: PUSH1 0x01 000007ab: PUSH1 0x01 000007ad: PUSH1 0xa0 000007af: SHL 000007b0: SUB 000007b1: DUP7 000007b2: AND 000007b3: SWAP1 000007b4: PUSH4 0x70a08231 000007b9: SWAP1 000007ba: PUSH1 0x24 000007bc: ADD 000007bd: PUSH1 0x20 000007bf: PUSH1 0x40 000007c1: MLOAD 000007c2: DUP1 000007c3: DUP4 000007c4: SUB 000007c5: DUP2 000007c6: DUP7 000007c7: GAS 000007c8: STATICCALL 000007c9: ISZERO 000007ca: DUP1 000007cb: ISZERO 000007cc: PUSH2 0x07d9 000007cf: JUMPI 000007d0: RETURNDATASIZE 000007d1: PUSH1 0x00 000007d3: DUP1 000007d4: RETURNDATACOPY 000007d5: RETURNDATASIZE 000007d6: PUSH1 0x00 000007d8: REVERT 000007d9: JUMPDEST 000007da: POP 000007db: POP 000007dc: POP 000007dd: POP 000007de: PUSH1 0x40 000007e0: MLOAD 000007e1: RETURNDATASIZE 000007e2: PUSH1 0x1f 000007e4: NOT 000007e5: PUSH1 0x1f 000007e7: DUP3 000007e8: ADD 000007e9: AND 000007ea: DUP3 000007eb: ADD 000007ec: DUP1 000007ed: PUSH1 0x40 000007ef: MSTORE 000007f0: POP 000007f1: DUP2 000007f2: ADD 000007f3: SWAP1 000007f4: PUSH2 0x07fd 000007f7: SWAP2 000007f8: SWAP1 000007f9: PUSH2 0x0e77 000007fc: JUMP 000007fd: JUMPDEST 000007fe: PUSH2 0x0807 00000801: SWAP2 00000802: SWAP1 00000803: PUSH2 0x0e4e 00000806: JUMP 00000807: JUMPDEST 00000808: SWAP1 00000809: POP 0000080a: PUSH2 0x0818 0000080d: DUP4 0000080e: DUP3 0000080f: PUSH2 0x076e 00000812: DUP8 00000813: DUP8 00000814: PUSH2 0x0548 00000817: JUMP 00000818: JUMPDEST 00000819: SWAP5 0000081a: SWAP4 0000081b: POP 0000081c: POP 0000081d: POP 0000081e: POP 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH2 0x0828 00000824: PUSH2 0x09b2 00000827: JUMP 00000828: JUMPDEST 00000829: PUSH1 0x01 0000082b: PUSH1 0x01 0000082d: PUSH1 0xa0 0000082f: SHL 00000830: SUB 00000831: DUP2 00000832: AND 00000833: PUSH2 0x088d 00000836: JUMPI 00000837: PUSH1 0x40 00000839: MLOAD 0000083a: PUSH3 0x461bcd 0000083e: PUSH1 0xe5 00000840: SHL 00000841: DUP2 00000842: MSTORE 00000843: PUSH1 0x20 00000845: PUSH1 0x04 00000847: DUP3 00000848: ADD 00000849: MSTORE 0000084a: PUSH1 0x26 0000084c: PUSH1 0x24 0000084e: DUP3 0000084f: ADD 00000850: MSTORE 00000851: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000872: PUSH1 0x44 00000874: DUP3 00000875: ADD 00000876: MSTORE 00000877: PUSH6 0x646472657373 0000087e: PUSH1 0xd0 00000880: SHL 00000881: PUSH1 0x64 00000883: DUP3 00000884: ADD 00000885: MSTORE 00000886: PUSH1 0x84 00000888: ADD 00000889: PUSH2 0x03c2 0000088c: JUMP 0000088d: JUMPDEST 0000088e: PUSH2 0x0896 00000891: DUP2 00000892: PUSH2 0x0a5e 00000895: JUMP 00000896: JUMPDEST 00000897: POP 00000898: JUMP 00000899: JUMPDEST 0000089a: DUP1 0000089b: SELFBALANCE 0000089c: LT 0000089d: ISZERO 0000089e: PUSH2 0x08e9 000008a1: JUMPI 000008a2: PUSH1 0x40 000008a4: MLOAD 000008a5: PUSH3 0x461bcd 000008a9: PUSH1 0xe5 000008ab: SHL 000008ac: DUP2 000008ad: MSTORE 000008ae: PUSH1 0x20 000008b0: PUSH1 0x04 000008b2: DUP3 000008b3: ADD 000008b4: MSTORE 000008b5: PUSH1 0x1d 000008b7: PUSH1 0x24 000008b9: DUP3 000008ba: ADD 000008bb: MSTORE 000008bc: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000008dd: PUSH1 0x44 000008df: DUP3 000008e0: ADD 000008e1: MSTORE 000008e2: PUSH1 0x64 000008e4: ADD 000008e5: PUSH2 0x03c2 000008e8: JUMP 000008e9: JUMPDEST 000008ea: PUSH1 0x00 000008ec: DUP3 000008ed: PUSH1 0x01 000008ef: PUSH1 0x01 000008f1: PUSH1 0xa0 000008f3: SHL 000008f4: SUB 000008f5: AND 000008f6: DUP3 000008f7: PUSH1 0x40 000008f9: MLOAD 000008fa: PUSH1 0x00 000008fc: PUSH1 0x40 000008fe: MLOAD 000008ff: DUP1 00000900: DUP4 00000901: SUB 00000902: DUP2 00000903: DUP6 00000904: DUP8 00000905: GAS 00000906: CALL 00000907: SWAP3 00000908: POP 00000909: POP 0000090a: POP 0000090b: RETURNDATASIZE 0000090c: DUP1 0000090d: PUSH1 0x00 0000090f: DUP2 00000910: EQ 00000911: PUSH2 0x0936 00000914: JUMPI 00000915: PUSH1 0x40 00000917: MLOAD 00000918: SWAP2 00000919: POP 0000091a: PUSH1 0x1f 0000091c: NOT 0000091d: PUSH1 0x3f 0000091f: RETURNDATASIZE 00000920: ADD 00000921: AND 00000922: DUP3 00000923: ADD 00000924: PUSH1 0x40 00000926: MSTORE 00000927: RETURNDATASIZE 00000928: DUP3 00000929: MSTORE 0000092a: RETURNDATASIZE 0000092b: PUSH1 0x00 0000092d: PUSH1 0x20 0000092f: DUP5 00000930: ADD 00000931: RETURNDATACOPY 00000932: PUSH2 0x093b 00000935: JUMP 00000936: JUMPDEST 00000937: PUSH1 0x60 00000939: SWAP2 0000093a: POP 0000093b: JUMPDEST 0000093c: POP 0000093d: POP 0000093e: SWAP1 0000093f: POP 00000940: DUP1 00000941: PUSH2 0x0543 00000944: JUMPI 00000945: PUSH1 0x40 00000947: MLOAD 00000948: PUSH3 0x461bcd 0000094c: PUSH1 0xe5 0000094e: SHL 0000094f: DUP2 00000950: MSTORE 00000951: PUSH1 0x20 00000953: PUSH1 0x04 00000955: DUP3 00000956: ADD 00000957: MSTORE 00000958: PUSH1 0x3a 0000095a: PUSH1 0x24 0000095c: DUP3 0000095d: ADD 0000095e: MSTORE 0000095f: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000980: PUSH1 0x44 00000982: DUP3 00000983: ADD 00000984: MSTORE 00000985: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 000009a6: PUSH1 0x64 000009a8: DUP3 000009a9: ADD 000009aa: MSTORE 000009ab: PUSH1 0x84 000009ad: ADD 000009ae: PUSH2 0x03c2 000009b1: JUMP 000009b2: JUMPDEST 000009b3: PUSH1 0x00 000009b5: SLOAD 000009b6: PUSH1 0x01 000009b8: PUSH1 0x01 000009ba: PUSH1 0xa0 000009bc: SHL 000009bd: SUB 000009be: AND 000009bf: CALLER 000009c0: EQ 000009c1: PUSH2 0x0698 000009c4: JUMPI 000009c5: PUSH1 0x40 000009c7: MLOAD 000009c8: PUSH3 0x461bcd 000009cc: PUSH1 0xe5 000009ce: SHL 000009cf: DUP2 000009d0: MSTORE 000009d1: PUSH1 0x20 000009d3: PUSH1 0x04 000009d5: DUP3 000009d6: ADD 000009d7: DUP2 000009d8: SWAP1 000009d9: MSTORE 000009da: PUSH1 0x24 000009dc: DUP3 000009dd: ADD 000009de: MSTORE 000009df: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000a00: PUSH1 0x44 00000a02: DUP3 00000a03: ADD 00000a04: MSTORE 00000a05: PUSH1 0x64 00000a07: ADD 00000a08: PUSH2 0x03c2 00000a0b: JUMP 00000a0c: JUMPDEST 00000a0d: PUSH1 0x40 00000a0f: DUP1 00000a10: MLOAD 00000a11: PUSH1 0x01 00000a13: PUSH1 0x01 00000a15: PUSH1 0xa0 00000a17: SHL 00000a18: SUB 00000a19: DUP5 00000a1a: AND 00000a1b: PUSH1 0x24 00000a1d: DUP3 00000a1e: ADD 00000a1f: MSTORE 00000a20: PUSH1 0x44 00000a22: DUP1 00000a23: DUP3 00000a24: ADD 00000a25: DUP5 00000a26: SWAP1 00000a27: MSTORE 00000a28: DUP3 00000a29: MLOAD 00000a2a: DUP1 00000a2b: DUP4 00000a2c: SUB 00000a2d: SWAP1 00000a2e: SWAP2 00000a2f: ADD 00000a30: DUP2 00000a31: MSTORE 00000a32: PUSH1 0x64 00000a34: SWAP1 00000a35: SWAP2 00000a36: ADD 00000a37: SWAP1 00000a38: SWAP2 00000a39: MSTORE 00000a3a: PUSH1 0x20 00000a3c: DUP2 00000a3d: ADD 00000a3e: DUP1 00000a3f: MLOAD 00000a40: PUSH1 0x01 00000a42: PUSH1 0x01 00000a44: PUSH1 0xe0 00000a46: SHL 00000a47: SUB 00000a48: AND 00000a49: PUSH4 0xa9059cbb 00000a4e: PUSH1 0xe0 00000a50: SHL 00000a51: OR 00000a52: SWAP1 00000a53: MSTORE 00000a54: PUSH2 0x0543 00000a57: SWAP1 00000a58: DUP5 00000a59: SWAP1 00000a5a: PUSH2 0x0aec 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: PUSH1 0x00 00000a61: DUP1 00000a62: SLOAD 00000a63: PUSH1 0x01 00000a65: PUSH1 0x01 00000a67: PUSH1 0xa0 00000a69: SHL 00000a6a: SUB 00000a6b: DUP4 00000a6c: DUP2 00000a6d: AND 00000a6e: PUSH1 0x01 00000a70: PUSH1 0x01 00000a72: PUSH1 0xa0 00000a74: SHL 00000a75: SUB 00000a76: NOT 00000a77: DUP4 00000a78: AND 00000a79: DUP2 00000a7a: OR 00000a7b: DUP5 00000a7c: SSTORE 00000a7d: PUSH1 0x40 00000a7f: MLOAD 00000a80: SWAP2 00000a81: SWAP1 00000a82: SWAP3 00000a83: AND 00000a84: SWAP3 00000a85: DUP4 00000a86: SWAP2 00000a87: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000aa8: SWAP2 00000aa9: SWAP1 00000aaa: LOG3 00000aab: POP 00000aac: POP 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH1 0x01 00000ab1: SLOAD 00000ab2: PUSH1 0x01 00000ab4: PUSH1 0x01 00000ab6: PUSH1 0xa0 00000ab8: SHL 00000ab9: SUB 00000aba: DUP5 00000abb: AND 00000abc: PUSH1 0x00 00000abe: SWAP1 00000abf: DUP2 00000ac0: MSTORE 00000ac1: PUSH1 0x03 00000ac3: PUSH1 0x20 00000ac5: MSTORE 00000ac6: PUSH1 0x40 00000ac8: DUP2 00000ac9: KECCAK256 00000aca: SLOAD 00000acb: SWAP1 00000acc: SWAP2 00000acd: DUP4 00000ace: SWAP2 00000acf: PUSH2 0x0ad8 00000ad2: SWAP1 00000ad3: DUP7 00000ad4: PUSH2 0x0e90 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: PUSH2 0x0ae2 00000adc: SWAP2 00000add: SWAP1 00000ade: PUSH2 0x0ea7 00000ae1: JUMP 00000ae2: JUMPDEST 00000ae3: PUSH2 0x0818 00000ae6: SWAP2 00000ae7: SWAP1 00000ae8: PUSH2 0x0ec9 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: PUSH1 0x00 00000aef: PUSH2 0x0b41 00000af2: DUP3 00000af3: PUSH1 0x40 00000af5: MLOAD 00000af6: DUP1 00000af7: PUSH1 0x40 00000af9: ADD 00000afa: PUSH1 0x40 00000afc: MSTORE 00000afd: DUP1 00000afe: PUSH1 0x20 00000b00: DUP2 00000b01: MSTORE 00000b02: PUSH1 0x20 00000b04: ADD 00000b05: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000b26: DUP2 00000b27: MSTORE 00000b28: POP 00000b29: DUP6 00000b2a: PUSH1 0x01 00000b2c: PUSH1 0x01 00000b2e: PUSH1 0xa0 00000b30: SHL 00000b31: SUB 00000b32: AND 00000b33: PUSH2 0x0bbe 00000b36: SWAP1 00000b37: SWAP3 00000b38: SWAP2 00000b39: SWAP1 00000b3a: PUSH4 0xffffffff 00000b3f: AND 00000b40: JUMP 00000b41: JUMPDEST 00000b42: DUP1 00000b43: MLOAD 00000b44: SWAP1 00000b45: SWAP2 00000b46: POP 00000b47: ISZERO 00000b48: PUSH2 0x0543 00000b4b: JUMPI 00000b4c: DUP1 00000b4d: DUP1 00000b4e: PUSH1 0x20 00000b50: ADD 00000b51: SWAP1 00000b52: MLOAD 00000b53: DUP2 00000b54: ADD 00000b55: SWAP1 00000b56: PUSH2 0x0b5f 00000b59: SWAP2 00000b5a: SWAP1 00000b5b: PUSH2 0x0edc 00000b5e: JUMP 00000b5f: JUMPDEST 00000b60: PUSH2 0x0543 00000b63: JUMPI 00000b64: PUSH1 0x40 00000b66: MLOAD 00000b67: PUSH3 0x461bcd 00000b6b: PUSH1 0xe5 00000b6d: SHL 00000b6e: DUP2 00000b6f: MSTORE 00000b70: PUSH1 0x20 00000b72: PUSH1 0x04 00000b74: DUP3 00000b75: ADD 00000b76: MSTORE 00000b77: PUSH1 0x2a 00000b79: PUSH1 0x24 00000b7b: DUP3 00000b7c: ADD 00000b7d: MSTORE 00000b7e: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000b9f: PUSH1 0x44 00000ba1: DUP3 00000ba2: ADD 00000ba3: MSTORE 00000ba4: PUSH10 0x1bdd081cdd58d8d95959 00000baf: PUSH1 0xb2 00000bb1: SHL 00000bb2: PUSH1 0x64 00000bb4: DUP3 00000bb5: ADD 00000bb6: MSTORE 00000bb7: PUSH1 0x84 00000bb9: ADD 00000bba: PUSH2 0x03c2 00000bbd: JUMP 00000bbe: JUMPDEST 00000bbf: PUSH1 0x60 00000bc1: PUSH2 0x0818 00000bc4: DUP5 00000bc5: DUP5 00000bc6: PUSH1 0x00 00000bc8: DUP6 00000bc9: DUP6 00000bca: PUSH1 0x00 00000bcc: DUP1 00000bcd: DUP7 00000bce: PUSH1 0x01 00000bd0: PUSH1 0x01 00000bd2: PUSH1 0xa0 00000bd4: SHL 00000bd5: SUB 00000bd6: AND 00000bd7: DUP6 00000bd8: DUP8 00000bd9: PUSH1 0x40 00000bdb: MLOAD 00000bdc: PUSH2 0x0be5 00000bdf: SWAP2 00000be0: SWAP1 00000be1: PUSH2 0x0f22 00000be4: JUMP 00000be5: JUMPDEST 00000be6: PUSH1 0x00 00000be8: PUSH1 0x40 00000bea: MLOAD 00000beb: DUP1 00000bec: DUP4 00000bed: SUB 00000bee: DUP2 00000bef: DUP6 00000bf0: DUP8 00000bf1: GAS 00000bf2: CALL 00000bf3: SWAP3 00000bf4: POP 00000bf5: POP 00000bf6: POP 00000bf7: RETURNDATASIZE 00000bf8: DUP1 00000bf9: PUSH1 0x00 00000bfb: DUP2 00000bfc: EQ 00000bfd: PUSH2 0x0c22 00000c00: JUMPI 00000c01: PUSH1 0x40 00000c03: MLOAD 00000c04: SWAP2 00000c05: POP 00000c06: PUSH1 0x1f 00000c08: NOT 00000c09: PUSH1 0x3f 00000c0b: RETURNDATASIZE 00000c0c: ADD 00000c0d: AND 00000c0e: DUP3 00000c0f: ADD 00000c10: PUSH1 0x40 00000c12: MSTORE 00000c13: RETURNDATASIZE 00000c14: DUP3 00000c15: MSTORE 00000c16: RETURNDATASIZE 00000c17: PUSH1 0x00 00000c19: PUSH1 0x20 00000c1b: DUP5 00000c1c: ADD 00000c1d: RETURNDATACOPY 00000c1e: PUSH2 0x0c27 00000c21: JUMP 00000c22: JUMPDEST 00000c23: PUSH1 0x60 00000c25: SWAP2 00000c26: POP 00000c27: JUMPDEST 00000c28: POP 00000c29: SWAP2 00000c2a: POP 00000c2b: SWAP2 00000c2c: POP 00000c2d: PUSH2 0x0c38 00000c30: DUP8 00000c31: DUP4 00000c32: DUP4 00000c33: DUP8 00000c34: PUSH2 0x0c43 00000c37: JUMP 00000c38: JUMPDEST 00000c39: SWAP8 00000c3a: SWAP7 00000c3b: POP 00000c3c: POP 00000c3d: POP 00000c3e: POP 00000c3f: POP 00000c40: POP 00000c41: POP 00000c42: JUMP 00000c43: JUMPDEST 00000c44: PUSH1 0x60 00000c46: DUP4 00000c47: ISZERO 00000c48: PUSH2 0x0cb2 00000c4b: JUMPI 00000c4c: DUP3 00000c4d: MLOAD 00000c4e: PUSH1 0x00 00000c50: SUB 00000c51: PUSH2 0x0cab 00000c54: JUMPI 00000c55: PUSH1 0x01 00000c57: PUSH1 0x01 00000c59: PUSH1 0xa0 00000c5b: SHL 00000c5c: SUB 00000c5d: DUP6 00000c5e: AND 00000c5f: EXTCODESIZE 00000c60: PUSH2 0x0cab 00000c63: JUMPI 00000c64: PUSH1 0x40 00000c66: MLOAD 00000c67: PUSH3 0x461bcd 00000c6b: PUSH1 0xe5 00000c6d: SHL 00000c6e: DUP2 00000c6f: MSTORE 00000c70: PUSH1 0x20 00000c72: PUSH1 0x04 00000c74: DUP3 00000c75: ADD 00000c76: MSTORE 00000c77: PUSH1 0x1d 00000c79: PUSH1 0x24 00000c7b: DUP3 00000c7c: ADD 00000c7d: MSTORE 00000c7e: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000c9f: PUSH1 0x44 00000ca1: DUP3 00000ca2: ADD 00000ca3: MSTORE 00000ca4: PUSH1 0x64 00000ca6: ADD 00000ca7: PUSH2 0x03c2 00000caa: JUMP 00000cab: JUMPDEST 00000cac: POP 00000cad: DUP2 00000cae: PUSH2 0x0818 00000cb1: JUMP 00000cb2: JUMPDEST 00000cb3: PUSH2 0x0818 00000cb6: DUP4 00000cb7: DUP4 00000cb8: DUP2 00000cb9: MLOAD 00000cba: ISZERO 00000cbb: PUSH2 0x0cc7 00000cbe: JUMPI 00000cbf: DUP2 00000cc0: MLOAD 00000cc1: DUP1 00000cc2: DUP4 00000cc3: PUSH1 0x20 00000cc5: ADD 00000cc6: REVERT 00000cc7: JUMPDEST 00000cc8: DUP1 00000cc9: PUSH1 0x40 00000ccb: MLOAD 00000ccc: PUSH3 0x461bcd 00000cd0: PUSH1 0xe5 00000cd2: SHL 00000cd3: DUP2 00000cd4: MSTORE 00000cd5: PUSH1 0x04 00000cd7: ADD 00000cd8: PUSH2 0x03c2 00000cdb: SWAP2 00000cdc: SWAP1 00000cdd: PUSH2 0x0f3e 00000ce0: JUMP 00000ce1: JUMPDEST 00000ce2: PUSH1 0x01 00000ce4: PUSH1 0x01 00000ce6: PUSH1 0xa0 00000ce8: SHL 00000ce9: SUB 00000cea: DUP2 00000ceb: AND 00000cec: DUP2 00000ced: EQ 00000cee: PUSH2 0x0896 00000cf1: JUMPI 00000cf2: PUSH1 0x00 00000cf4: DUP1 00000cf5: REVERT 00000cf6: JUMPDEST 00000cf7: PUSH1 0x00 00000cf9: PUSH1 0x20 00000cfb: DUP3 00000cfc: DUP5 00000cfd: SUB 00000cfe: SLT 00000cff: ISZERO 00000d00: PUSH2 0x0d08 00000d03: JUMPI 00000d04: PUSH1 0x00 00000d06: DUP1 00000d07: REVERT 00000d08: JUMPDEST 00000d09: DUP2 00000d0a: CALLDATALOAD 00000d0b: PUSH2 0x0773 00000d0e: DUP2 00000d0f: PUSH2 0x0ce1 00000d12: JUMP 00000d13: JUMPDEST 00000d14: PUSH1 0x00 00000d16: DUP1 00000d17: PUSH1 0x00 00000d19: PUSH1 0x60 00000d1b: DUP5 00000d1c: DUP7 00000d1d: SUB 00000d1e: SLT 00000d1f: ISZERO 00000d20: PUSH2 0x0d28 00000d23: JUMPI 00000d24: PUSH1 0x00 00000d26: DUP1 00000d27: REVERT 00000d28: JUMPDEST 00000d29: DUP4 00000d2a: CALLDATALOAD 00000d2b: PUSH2 0x0d33 00000d2e: DUP2 00000d2f: PUSH2 0x0ce1 00000d32: JUMP 00000d33: JUMPDEST 00000d34: SWAP3 00000d35: POP 00000d36: PUSH1 0x20 00000d38: DUP5 00000d39: ADD 00000d3a: CALLDATALOAD 00000d3b: SWAP2 00000d3c: POP 00000d3d: PUSH1 0x40 00000d3f: DUP5 00000d40: ADD 00000d41: CALLDATALOAD 00000d42: PUSH2 0x0d4a 00000d45: DUP2 00000d46: PUSH2 0x0ce1 00000d49: JUMP 00000d4a: JUMPDEST 00000d4b: DUP1 00000d4c: SWAP2 00000d4d: POP 00000d4e: POP 00000d4f: SWAP3 00000d50: POP 00000d51: SWAP3 00000d52: POP 00000d53: SWAP3 00000d54: JUMP 00000d55: JUMPDEST 00000d56: PUSH1 0x00 00000d58: DUP1 00000d59: PUSH1 0x40 00000d5b: DUP4 00000d5c: DUP6 00000d5d: SUB 00000d5e: SLT 00000d5f: ISZERO 00000d60: PUSH2 0x0d68 00000d63: JUMPI 00000d64: PUSH1 0x00 00000d66: DUP1 00000d67: REVERT 00000d68: JUMPDEST 00000d69: DUP3 00000d6a: CALLDATALOAD 00000d6b: PUSH2 0x0d73 00000d6e: DUP2 00000d6f: PUSH2 0x0ce1 00000d72: JUMP 00000d73: JUMPDEST 00000d74: SWAP2 00000d75: POP 00000d76: PUSH1 0x20 00000d78: DUP4 00000d79: ADD 00000d7a: CALLDATALOAD 00000d7b: PUSH2 0x0d83 00000d7e: DUP2 00000d7f: PUSH2 0x0ce1 00000d82: JUMP 00000d83: JUMPDEST 00000d84: DUP1 00000d85: SWAP2 00000d86: POP 00000d87: POP 00000d88: SWAP3 00000d89: POP 00000d8a: SWAP3 00000d8b: SWAP1 00000d8c: POP 00000d8d: JUMP 00000d8e: JUMPDEST 00000d8f: PUSH1 0x00 00000d91: PUSH1 0x20 00000d93: DUP3 00000d94: DUP5 00000d95: SUB 00000d96: SLT 00000d97: ISZERO 00000d98: PUSH2 0x0da0 00000d9b: JUMPI 00000d9c: PUSH1 0x00 00000d9e: DUP1 00000d9f: REVERT 00000da0: JUMPDEST 00000da1: POP 00000da2: CALLDATALOAD 00000da3: SWAP2 00000da4: SWAP1 00000da5: POP 00000da6: JUMP 00000da7: JUMPDEST 00000da8: PUSH1 0x20 00000daa: DUP1 00000dab: DUP3 00000dac: MSTORE 00000dad: PUSH1 0x26 00000daf: SWAP1 00000db0: DUP3 00000db1: ADD 00000db2: MSTORE 00000db3: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00000dd4: PUSH1 0x40 00000dd6: DUP3 00000dd7: ADD 00000dd8: MSTORE 00000dd9: PUSH6 0x736861726573 00000de0: PUSH1 0xd0 00000de2: SHL 00000de3: PUSH1 0x60 00000de5: DUP3 00000de6: ADD 00000de7: MSTORE 00000de8: PUSH1 0x80 00000dea: ADD 00000deb: SWAP1 00000dec: JUMP 00000ded: JUMPDEST 00000dee: PUSH1 0x20 00000df0: DUP1 00000df1: DUP3 00000df2: MSTORE 00000df3: PUSH1 0x2b 00000df5: SWAP1 00000df6: DUP3 00000df7: ADD 00000df8: MSTORE 00000df9: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 00000e1a: PUSH1 0x40 00000e1c: DUP3 00000e1d: ADD 00000e1e: MSTORE 00000e1f: PUSH11 0x191d59481c185e5b595b9d 00000e2b: PUSH1 0xaa 00000e2d: SHL 00000e2e: PUSH1 0x60 00000e30: DUP3 00000e31: ADD 00000e32: MSTORE 00000e33: PUSH1 0x80 00000e35: ADD 00000e36: SWAP1 00000e37: JUMP 00000e38: JUMPDEST 00000e39: PUSH4 0x4e487b71 00000e3e: PUSH1 0xe0 00000e40: SHL 00000e41: PUSH1 0x00 00000e43: MSTORE 00000e44: PUSH1 0x11 00000e46: PUSH1 0x04 00000e48: MSTORE 00000e49: PUSH1 0x24 00000e4b: PUSH1 0x00 00000e4d: REVERT 00000e4e: JUMPDEST 00000e4f: DUP1 00000e50: DUP3 00000e51: ADD 00000e52: DUP1 00000e53: DUP3 00000e54: GT 00000e55: ISZERO 00000e56: PUSH2 0x056f 00000e59: JUMPI 00000e5a: PUSH2 0x056f 00000e5d: PUSH2 0x0e38 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH4 0x4e487b71 00000e67: PUSH1 0xe0 00000e69: SHL 00000e6a: PUSH1 0x00 00000e6c: MSTORE 00000e6d: PUSH1 0x32 00000e6f: PUSH1 0x04 00000e71: MSTORE 00000e72: PUSH1 0x24 00000e74: PUSH1 0x00 00000e76: REVERT 00000e77: JUMPDEST 00000e78: PUSH1 0x00 00000e7a: PUSH1 0x20 00000e7c: DUP3 00000e7d: DUP5 00000e7e: SUB 00000e7f: SLT 00000e80: ISZERO 00000e81: PUSH2 0x0e89 00000e84: JUMPI 00000e85: PUSH1 0x00 00000e87: DUP1 00000e88: REVERT 00000e89: JUMPDEST 00000e8a: POP 00000e8b: MLOAD 00000e8c: SWAP2 00000e8d: SWAP1 00000e8e: POP 00000e8f: JUMP 00000e90: JUMPDEST 00000e91: DUP1 00000e92: DUP3 00000e93: MUL 00000e94: DUP2 00000e95: ISZERO 00000e96: DUP3 00000e97: DUP3 00000e98: DIV 00000e99: DUP5 00000e9a: EQ 00000e9b: OR 00000e9c: PUSH2 0x056f 00000e9f: JUMPI 00000ea0: PUSH2 0x056f 00000ea3: PUSH2 0x0e38 00000ea6: JUMP 00000ea7: JUMPDEST 00000ea8: PUSH1 0x00 00000eaa: DUP3 00000eab: PUSH2 0x0ec4 00000eae: JUMPI 00000eaf: PUSH4 0x4e487b71 00000eb4: PUSH1 0xe0 00000eb6: SHL 00000eb7: PUSH1 0x00 00000eb9: MSTORE 00000eba: PUSH1 0x12 00000ebc: PUSH1 0x04 00000ebe: MSTORE 00000ebf: PUSH1 0x24 00000ec1: PUSH1 0x00 00000ec3: REVERT 00000ec4: JUMPDEST 00000ec5: POP 00000ec6: DIV 00000ec7: SWAP1 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: DUP2 00000ecb: DUP2 00000ecc: SUB 00000ecd: DUP2 00000ece: DUP2 00000ecf: GT 00000ed0: ISZERO 00000ed1: PUSH2 0x056f 00000ed4: JUMPI 00000ed5: PUSH2 0x056f 00000ed8: PUSH2 0x0e38 00000edb: JUMP 00000edc: JUMPDEST 00000edd: PUSH1 0x00 00000edf: PUSH1 0x20 00000ee1: DUP3 00000ee2: DUP5 00000ee3: SUB 00000ee4: SLT 00000ee5: ISZERO 00000ee6: PUSH2 0x0eee 00000ee9: JUMPI 00000eea: PUSH1 0x00 00000eec: DUP1 00000eed: REVERT 00000eee: JUMPDEST 00000eef: DUP2 00000ef0: MLOAD 00000ef1: DUP1 00000ef2: ISZERO 00000ef3: ISZERO 00000ef4: DUP2 00000ef5: EQ 00000ef6: PUSH2 0x0773 00000ef9: JUMPI 00000efa: PUSH1 0x00 00000efc: DUP1 00000efd: REVERT 00000efe: JUMPDEST 00000eff: PUSH1 0x00 00000f01: JUMPDEST 00000f02: DUP4 00000f03: DUP2 00000f04: LT 00000f05: ISZERO 00000f06: PUSH2 0x0f19 00000f09: JUMPI 00000f0a: DUP2 00000f0b: DUP2 00000f0c: ADD 00000f0d: MLOAD 00000f0e: DUP4 00000f0f: DUP3 00000f10: ADD 00000f11: MSTORE 00000f12: PUSH1 0x20 00000f14: ADD 00000f15: PUSH2 0x0f01 00000f18: JUMP 00000f19: JUMPDEST 00000f1a: POP 00000f1b: POP 00000f1c: PUSH1 0x00 00000f1e: SWAP2 00000f1f: ADD 00000f20: MSTORE 00000f21: JUMP 00000f22: JUMPDEST 00000f23: PUSH1 0x00 00000f25: DUP3 00000f26: MLOAD 00000f27: PUSH2 0x0f34 00000f2a: DUP2 00000f2b: DUP5 00000f2c: PUSH1 0x20 00000f2e: DUP8 00000f2f: ADD 00000f30: PUSH2 0x0efe 00000f33: JUMP 00000f34: JUMPDEST 00000f35: SWAP2 00000f36: SWAP1 00000f37: SWAP2 00000f38: ADD 00000f39: SWAP3 00000f3a: SWAP2 00000f3b: POP 00000f3c: POP 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: PUSH1 0x20 00000f41: DUP2 00000f42: MSTORE 00000f43: PUSH1 0x00 00000f45: DUP3 00000f46: MLOAD 00000f47: DUP1 00000f48: PUSH1 0x20 00000f4a: DUP5 00000f4b: ADD 00000f4c: MSTORE 00000f4d: PUSH2 0x0f5d 00000f50: DUP2 00000f51: PUSH1 0x40 00000f53: DUP6 00000f54: ADD 00000f55: PUSH1 0x20 00000f57: DUP8 00000f58: ADD 00000f59: PUSH2 0x0efe 00000f5c: JUMP 00000f5d: JUMPDEST 00000f5e: PUSH1 0x1f 00000f60: ADD 00000f61: PUSH1 0x1f 00000f63: NOT 00000f64: AND 00000f65: SWAP2 00000f66: SWAP1 00000f67: SWAP2 00000f68: ADD 00000f69: PUSH1 0x40 00000f6b: ADD 00000f6c: SWAP3 00000f6d: SWAP2 00000f6e: POP 00000f6f: POP 00000f70: JUMP 00000f71: INVALID 00000f72: LOG2 00000f73: PUSH5 0x6970667358 00000f79: UNKNOWN(0x22) 00000f7a: SLT 00000f7b: KECCAK256 00000f7c: UNKNOWN(0xFB) 00000f7d: UNKNOWN(0xF9) 00000f7e: UNKNOWN(0xC3) 00000f7f: DUP3 00000f80: CREATE2 00000f81: UNKNOWN(0xA8) 00000f82: UNKNOWN(0xD4) 00000f83: CREATE 00000f84: UNKNOWN(0xD3) 00000f85: STATICCALL 00000f86: UNKNOWN(0xB7) 00000f87: TSTORE 00000f88: GASPRICE 00000f89: UNKNOWN(0xCE) 00000f8a: UNKNOWN(0xB6) 00000f8b: UNKNOWN(0xC8) 00000f8c: UNKNOWN(0xC1) 00000f8d: UNKNOWN(0xF9) 00000f8e: DUP2 00000f8f: DUP15 00000f90: EXTCODECOPY 00000f91: UNKNOWN(0x26) 00000f92: UNKNOWN(0xAB) 00000f93: BALANCE 00000f94: PUSH19
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xab54267181437bd14dbc435a6f015d1038fac6fabd1e27e5ececc7cb9b17cc6f
call_targets:
0x59dd7e3eb6424e221e4bdea475334a6b7a974744
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xab54267181437bd14dbc435a6f015d1038fac6fabd1e27e5ececc7cb9b17cc6f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x59dd7e3eb6424e221e4bdea475334a6b7a974744"
],
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3f8eace",
"selector": "0xa3f8eace",
"calldata_variants": [
"0xa3f8eace",
"0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45ac050",
"selector": "0xc45ac050",
"calldata_variants": [
"0xc45ac050",
"0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1263,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1770,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2310,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xab54267181437bd14dbc435a6f015d1038fac6fabd1e27e5ececc7cb9b17cc6f
call_targets:
0x59dd7e3eb6424e221e4bdea475334a6b7a974744
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xab54267181437bd14dbc435a6f015d1038fac6fabd1e27e5ececc7cb9b17cc6f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x59dd7e3eb6424e221e4bdea475334a6b7a974744"
],
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3f8eace",
"selector": "0xa3f8eace",
"calldata_variants": [
"0xa3f8eace",
"0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45ac050",
"selector": "0xc45ac050",
"calldata_variants": [
"0xc45ac050",
"0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1263,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1770,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2310,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x6ab0335964ded0d987fd13d9e535f5297dab3abb997c6c10fa0fc16882ae060d
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x6ab0335964ded0d987fd13d9e535f5297dab3abb997c6c10fa0fc16882ae060d",
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3f8eace",
"selector": "0xa3f8eace",
"calldata_variants": [
"0xa3f8eace",
"0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45ac050",
"selector": "0xc45ac050",
"calldata_variants": [
"0xc45ac050",
"0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 1
}
|