019b477e-b8dc-71f1-bc0e-23d634d32386
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 |
|---|---|---|---|---|
| 23507 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23508 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107749 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107750 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107751 | detector.run | complete | 1 / 3 | 1 week ago |
| 107752 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0106 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x06fdde03 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0114 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x10d0ffdd 00000046: EQ 00000047: PUSH2 0x019e 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x18160ddd 00000051: EQ 00000052: PUSH2 0x01c6 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x22609373 0000005c: EQ 0000005d: PUSH2 0x01d9 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x313ce567 00000067: EQ 00000068: PUSH2 0x01ef 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x3ccfd60b 00000072: EQ 00000073: PUSH2 0x0218 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x4b750334 0000007d: EQ 0000007e: PUSH2 0x022d 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x688abbf7 00000088: EQ 00000089: PUSH2 0x0240 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x6b2f4632 00000093: EQ 00000094: PUSH2 0x0258 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x70a08231 0000009e: EQ 0000009f: PUSH2 0x026b 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x74a76816 000000a9: EQ 000000aa: PUSH2 0x028a 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8620410b 000000b4: EQ 000000b5: PUSH2 0x02ae 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x949e8acd 000000bf: EQ 000000c0: PUSH2 0x02c1 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x95d89b41 000000ca: EQ 000000cb: PUSH2 0x02d4 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xa9059cbb 000000d5: EQ 000000d6: PUSH2 0x02e7 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xe4849b32 000000e0: EQ 000000e1: PUSH2 0x031d 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xe9fad8ee 000000eb: EQ 000000ec: PUSH2 0x0333 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xf088d547 000000f6: EQ 000000f7: PUSH2 0x0346 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xfdb5a03e 00000101: EQ 00000102: PUSH2 0x035a 00000105: JUMPI 00000106: JUMPDEST 00000107: PUSH2 0x0111 0000010a: CALLVALUE 0000010b: PUSH1 0x00 0000010d: PUSH2 0x036d 00000110: JUMP 00000111: JUMPDEST 00000112: POP 00000113: STOP 00000114: JUMPDEST 00000115: CALLVALUE 00000116: ISZERO 00000117: PUSH2 0x011f 0000011a: JUMPI 0000011b: PUSH1 0x00 0000011d: DUP1 0000011e: REVERT 0000011f: JUMPDEST 00000120: PUSH2 0x0127 00000123: PUSH2 0x0568 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH1 0x40 0000012a: MLOAD 0000012b: PUSH1 0x20 0000012d: DUP1 0000012e: DUP3 0000012f: MSTORE 00000130: DUP2 00000131: SWAP1 00000132: DUP2 00000133: ADD 00000134: DUP4 00000135: DUP2 00000136: DUP2 00000137: MLOAD 00000138: DUP2 00000139: MSTORE 0000013a: PUSH1 0x20 0000013c: ADD 0000013d: SWAP2 0000013e: POP 0000013f: DUP1 00000140: MLOAD 00000141: SWAP1 00000142: PUSH1 0x20 00000144: ADD 00000145: SWAP1 00000146: DUP1 00000147: DUP4 00000148: DUP4 00000149: PUSH1 0x00 0000014b: JUMPDEST 0000014c: DUP4 0000014d: DUP2 0000014e: LT 0000014f: ISZERO 00000150: PUSH2 0x0163 00000153: JUMPI 00000154: DUP1 00000155: DUP3 00000156: ADD 00000157: MLOAD 00000158: DUP4 00000159: DUP3 0000015a: ADD 0000015b: MSTORE 0000015c: PUSH1 0x20 0000015e: ADD 0000015f: PUSH2 0x014b 00000162: JUMP 00000163: JUMPDEST 00000164: POP 00000165: POP 00000166: POP 00000167: POP 00000168: SWAP1 00000169: POP 0000016a: SWAP1 0000016b: DUP2 0000016c: ADD 0000016d: SWAP1 0000016e: PUSH1 0x1f 00000170: AND 00000171: DUP1 00000172: ISZERO 00000173: PUSH2 0x0190 00000176: JUMPI 00000177: DUP1 00000178: DUP3 00000179: SUB 0000017a: DUP1 0000017b: MLOAD 0000017c: PUSH1 0x01 0000017e: DUP4 0000017f: PUSH1 0x20 00000181: SUB 00000182: PUSH2 0x0100 00000185: EXP 00000186: SUB 00000187: NOT 00000188: AND 00000189: DUP2 0000018a: MSTORE 0000018b: PUSH1 0x20 0000018d: ADD 0000018e: SWAP2 0000018f: POP 00000190: JUMPDEST 00000191: POP 00000192: SWAP3 00000193: POP 00000194: POP 00000195: POP 00000196: PUSH1 0x40 00000198: MLOAD 00000199: DUP1 0000019a: SWAP2 0000019b: SUB 0000019c: SWAP1 0000019d: RETURN 0000019e: JUMPDEST 0000019f: CALLVALUE 000001a0: ISZERO 000001a1: PUSH2 0x01a9 000001a4: JUMPI 000001a5: PUSH1 0x00 000001a7: DUP1 000001a8: REVERT 000001a9: JUMPDEST 000001aa: PUSH2 0x01b4 000001ad: PUSH1 0x04 000001af: CALLDATALOAD 000001b0: PUSH2 0x0606 000001b3: JUMP 000001b4: JUMPDEST 000001b5: PUSH1 0x40 000001b7: MLOAD 000001b8: SWAP1 000001b9: DUP2 000001ba: MSTORE 000001bb: PUSH1 0x20 000001bd: ADD 000001be: PUSH1 0x40 000001c0: MLOAD 000001c1: DUP1 000001c2: SWAP2 000001c3: SUB 000001c4: SWAP1 000001c5: RETURN 000001c6: JUMPDEST 000001c7: CALLVALUE 000001c8: ISZERO 000001c9: PUSH2 0x01d1 000001cc: JUMPI 000001cd: PUSH1 0x00 000001cf: DUP1 000001d0: REVERT 000001d1: JUMPDEST 000001d2: PUSH2 0x01b4 000001d5: PUSH2 0x0636 000001d8: JUMP 000001d9: JUMPDEST 000001da: CALLVALUE 000001db: ISZERO 000001dc: PUSH2 0x01e4 000001df: JUMPI 000001e0: PUSH1 0x00 000001e2: DUP1 000001e3: REVERT 000001e4: JUMPDEST 000001e5: PUSH2 0x01b4 000001e8: PUSH1 0x04 000001ea: CALLDATALOAD 000001eb: PUSH2 0x063c 000001ee: JUMP 000001ef: JUMPDEST 000001f0: CALLVALUE 000001f1: ISZERO 000001f2: PUSH2 0x01fa 000001f5: JUMPI 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: REVERT 000001fa: JUMPDEST 000001fb: PUSH2 0x0202 000001fe: PUSH2 0x0675 00000201: JUMP 00000202: JUMPDEST 00000203: PUSH1 0x40 00000205: MLOAD 00000206: PUSH1 0xff 00000208: SWAP1 00000209: SWAP2 0000020a: AND 0000020b: DUP2 0000020c: MSTORE 0000020d: PUSH1 0x20 0000020f: ADD 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: SWAP2 00000215: SUB 00000216: SWAP1 00000217: RETURN 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: ISZERO 0000021b: PUSH2 0x0223 0000021e: JUMPI 0000021f: PUSH1 0x00 00000221: DUP1 00000222: REVERT 00000223: JUMPDEST 00000224: PUSH2 0x022b 00000227: PUSH2 0x067a 0000022a: JUMP 0000022b: JUMPDEST 0000022c: STOP 0000022d: JUMPDEST 0000022e: CALLVALUE 0000022f: ISZERO 00000230: PUSH2 0x0238 00000233: JUMPI 00000234: PUSH1 0x00 00000236: DUP1 00000237: REVERT 00000238: JUMPDEST 00000239: PUSH2 0x01b4 0000023c: PUSH2 0x0746 0000023f: JUMP 00000240: JUMPDEST 00000241: CALLVALUE 00000242: ISZERO 00000243: PUSH2 0x024b 00000246: JUMPI 00000247: PUSH1 0x00 00000249: DUP1 0000024a: REVERT 0000024b: JUMPDEST 0000024c: PUSH2 0x01b4 0000024f: PUSH1 0x04 00000251: CALLDATALOAD 00000252: ISZERO 00000253: ISZERO 00000254: PUSH2 0x079a 00000257: JUMP 00000258: JUMPDEST 00000259: CALLVALUE 0000025a: ISZERO 0000025b: PUSH2 0x0263 0000025e: JUMPI 0000025f: PUSH1 0x00 00000261: DUP1 00000262: REVERT 00000263: JUMPDEST 00000264: PUSH2 0x01b4 00000267: PUSH2 0x07b0 0000026a: JUMP 0000026b: JUMPDEST 0000026c: CALLVALUE 0000026d: ISZERO 0000026e: PUSH2 0x0276 00000271: JUMPI 00000272: PUSH1 0x00 00000274: DUP1 00000275: REVERT 00000276: JUMPDEST 00000277: PUSH2 0x01b4 0000027a: PUSH1 0x01 0000027c: PUSH1 0xa0 0000027e: PUSH1 0x02 00000280: EXP 00000281: SUB 00000282: PUSH1 0x04 00000284: CALLDATALOAD 00000285: AND 00000286: PUSH2 0x07be 00000289: JUMP 0000028a: JUMPDEST 0000028b: CALLVALUE 0000028c: ISZERO 0000028d: PUSH2 0x0295 00000290: JUMPI 00000291: PUSH1 0x00 00000293: DUP1 00000294: REVERT 00000295: JUMPDEST 00000296: PUSH2 0x01b4 00000299: PUSH1 0x01 0000029b: PUSH1 0xa0 0000029d: PUSH1 0x02 0000029f: EXP 000002a0: SUB 000002a1: PUSH1 0x04 000002a3: CALLDATALOAD 000002a4: AND 000002a5: PUSH1 0x24 000002a7: CALLDATALOAD 000002a8: ISZERO 000002a9: ISZERO 000002aa: PUSH2 0x07d9 000002ad: JUMP 000002ae: JUMPDEST 000002af: CALLVALUE 000002b0: ISZERO 000002b1: PUSH2 0x02b9 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: PUSH2 0x01b4 000002bd: PUSH2 0x0844 000002c0: JUMP 000002c1: JUMPDEST 000002c2: CALLVALUE 000002c3: ISZERO 000002c4: PUSH2 0x02cc 000002c7: JUMPI 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: PUSH2 0x01b4 000002d0: PUSH2 0x088c 000002d3: JUMP 000002d4: JUMPDEST 000002d5: CALLVALUE 000002d6: ISZERO 000002d7: PUSH2 0x02df 000002da: JUMPI 000002db: PUSH1 0x00 000002dd: DUP1 000002de: REVERT 000002df: JUMPDEST 000002e0: PUSH2 0x0127 000002e3: PUSH2 0x089e 000002e6: JUMP 000002e7: JUMPDEST 000002e8: CALLVALUE 000002e9: ISZERO 000002ea: PUSH2 0x02f2 000002ed: JUMPI 000002ee: PUSH1 0x00 000002f0: DUP1 000002f1: REVERT 000002f2: JUMPDEST 000002f3: PUSH2 0x0309 000002f6: PUSH1 0x01 000002f8: PUSH1 0xa0 000002fa: PUSH1 0x02 000002fc: EXP 000002fd: SUB 000002fe: PUSH1 0x04 00000300: CALLDATALOAD 00000301: AND 00000302: PUSH1 0x24 00000304: CALLDATALOAD 00000305: PUSH2 0x0909 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x40 0000030c: MLOAD 0000030d: SWAP1 0000030e: ISZERO 0000030f: ISZERO 00000310: DUP2 00000311: MSTORE 00000312: PUSH1 0x20 00000314: ADD 00000315: PUSH1 0x40 00000317: MLOAD 00000318: DUP1 00000319: SWAP2 0000031a: SUB 0000031b: SWAP1 0000031c: RETURN 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: ISZERO 00000320: PUSH2 0x0328 00000323: JUMPI 00000324: PUSH1 0x00 00000326: DUP1 00000327: REVERT 00000328: JUMPDEST 00000329: PUSH2 0x022b 0000032c: PUSH1 0x04 0000032e: CALLDATALOAD 0000032f: PUSH2 0x0a56 00000332: JUMP 00000333: JUMPDEST 00000334: CALLVALUE 00000335: ISZERO 00000336: PUSH2 0x033e 00000339: JUMPI 0000033a: PUSH1 0x00 0000033c: DUP1 0000033d: REVERT 0000033e: JUMPDEST 0000033f: PUSH2 0x022b 00000342: PUSH2 0x0bb9 00000345: JUMP 00000346: JUMPDEST 00000347: PUSH2 0x01b4 0000034a: PUSH1 0x01 0000034c: PUSH1 0xa0 0000034e: PUSH1 0x02 00000350: EXP 00000351: SUB 00000352: PUSH1 0x04 00000354: CALLDATALOAD 00000355: AND 00000356: PUSH2 0x0bf0 00000359: JUMP 0000035a: JUMPDEST 0000035b: CALLVALUE 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: PUSH2 0x022b 00000369: PUSH2 0x0bfc 0000036c: JUMP 0000036d: JUMPDEST 0000036e: PUSH1 0x00 00000370: CALLER 00000371: DUP2 00000372: DUP1 00000373: DUP1 00000374: DUP1 00000375: DUP1 00000376: DUP1 00000377: DUP1 00000378: PUSH2 0x0382 0000037b: DUP12 0000037c: PUSH1 0x0a 0000037e: PUSH2 0x0cb7 00000381: JUMP 00000382: JUMPDEST 00000383: SWAP7 00000384: POP 00000385: PUSH2 0x038f 00000388: DUP8 00000389: PUSH1 0x03 0000038b: PUSH2 0x0cb7 0000038e: JUMP 0000038f: JUMPDEST 00000390: SWAP6 00000391: POP 00000392: PUSH2 0x039b 00000395: DUP8 00000396: DUP8 00000397: PUSH2 0x0cce 0000039a: JUMP 0000039b: JUMPDEST 0000039c: SWAP5 0000039d: POP 0000039e: PUSH2 0x03a7 000003a1: DUP12 000003a2: DUP9 000003a3: PUSH2 0x0cce 000003a6: JUMP 000003a7: JUMPDEST 000003a8: SWAP4 000003a9: POP 000003aa: PUSH2 0x03b2 000003ad: DUP5 000003ae: PUSH2 0x0ce0 000003b1: JUMP 000003b2: JUMPDEST 000003b3: SWAP3 000003b4: POP 000003b5: PUSH9 0x010000000000000000 000003bf: DUP6 000003c0: MUL 000003c1: SWAP2 000003c2: POP 000003c3: PUSH1 0x00 000003c5: DUP4 000003c6: GT 000003c7: DUP1 000003c8: ISZERO 000003c9: PUSH2 0x03dc 000003cc: JUMPI 000003cd: POP 000003ce: PUSH1 0x05 000003d0: SLOAD 000003d1: PUSH2 0x03da 000003d4: DUP5 000003d5: DUP3 000003d6: PUSH2 0x0d78 000003d9: JUMP 000003da: JUMPDEST 000003db: GT 000003dc: JUMPDEST 000003dd: ISZERO 000003de: ISZERO 000003df: PUSH2 0x03e7 000003e2: JUMPI 000003e3: PUSH1 0x00 000003e5: DUP1 000003e6: REVERT 000003e7: JUMPDEST 000003e8: PUSH1 0x01 000003ea: PUSH1 0xa0 000003ec: PUSH1 0x02 000003ee: EXP 000003ef: SUB 000003f0: DUP11 000003f1: AND 000003f2: ISZERO 000003f3: PUSH2 0x0437 000003f6: JUMPI 000003f7: PUSH1 0x01 000003f9: PUSH1 0xa0 000003fb: PUSH1 0x02 000003fd: EXP 000003fe: SUB 000003ff: DUP11 00000400: AND 00000401: PUSH1 0x00 00000403: SWAP1 00000404: DUP2 00000405: MSTORE 00000406: PUSH1 0x03 00000408: PUSH1 0x20 0000040a: MSTORE 0000040b: PUSH1 0x40 0000040d: SWAP1 0000040e: KECCAK256 0000040f: SLOAD 00000410: PUSH2 0x0419 00000413: SWAP1 00000414: DUP8 00000415: PUSH2 0x0d78 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH1 0x01 0000041c: PUSH1 0xa0 0000041e: PUSH1 0x02 00000420: EXP 00000421: SUB 00000422: DUP12 00000423: AND 00000424: PUSH1 0x00 00000426: SWAP1 00000427: DUP2 00000428: MSTORE 00000429: PUSH1 0x03 0000042b: PUSH1 0x20 0000042d: MSTORE 0000042e: PUSH1 0x40 00000430: SWAP1 00000431: KECCAK256 00000432: SSTORE 00000433: PUSH2 0x0452 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH2 0x0441 0000043b: DUP6 0000043c: DUP8 0000043d: PUSH2 0x0d78 00000440: JUMP 00000441: JUMPDEST 00000442: SWAP5 00000443: POP 00000444: PUSH9 0x010000000000000000 0000044e: DUP6 0000044f: MUL 00000450: SWAP2 00000451: POP 00000452: JUMPDEST 00000453: PUSH1 0x00 00000455: PUSH1 0x05 00000457: SLOAD 00000458: GT 00000459: ISZERO 0000045a: PUSH2 0x04b6 0000045d: JUMPI 0000045e: PUSH2 0x0469 00000461: PUSH1 0x05 00000463: SLOAD 00000464: DUP5 00000465: PUSH2 0x0d78 00000468: JUMP 00000469: JUMPDEST 0000046a: PUSH1 0x05 0000046c: DUP2 0000046d: SWAP1 0000046e: SSTORE 0000046f: PUSH9 0x010000000000000000 00000479: DUP7 0000047a: MUL 0000047b: DUP2 0000047c: ISZERO 0000047d: ISZERO 0000047e: PUSH2 0x0483 00000481: JUMPI 00000482: INVALID 00000483: JUMPDEST 00000484: PUSH1 0x06 00000486: DUP1 00000487: SLOAD 00000488: SWAP3 00000489: SWAP1 0000048a: SWAP2 0000048b: DIV 0000048c: SWAP1 0000048d: SWAP2 0000048e: ADD 0000048f: SWAP1 00000490: SSTORE 00000491: PUSH1 0x05 00000493: SLOAD 00000494: PUSH9 0x010000000000000000 0000049e: DUP7 0000049f: MUL 000004a0: DUP2 000004a1: ISZERO 000004a2: ISZERO 000004a3: PUSH2 0x04a8 000004a6: JUMPI 000004a7: INVALID 000004a8: JUMPDEST 000004a9: DIV 000004aa: DUP4 000004ab: MUL 000004ac: DUP3 000004ad: SUB 000004ae: DUP3 000004af: SUB 000004b0: SWAP2 000004b1: POP 000004b2: PUSH2 0x04bc 000004b5: JUMP 000004b6: JUMPDEST 000004b7: PUSH1 0x05 000004b9: DUP4 000004ba: SWAP1 000004bb: SSTORE 000004bc: JUMPDEST 000004bd: PUSH1 0x01 000004bf: PUSH1 0xa0 000004c1: PUSH1 0x02 000004c3: EXP 000004c4: SUB 000004c5: DUP9 000004c6: AND 000004c7: PUSH1 0x00 000004c9: SWAP1 000004ca: DUP2 000004cb: MSTORE 000004cc: PUSH1 0x02 000004ce: PUSH1 0x20 000004d0: MSTORE 000004d1: PUSH1 0x40 000004d3: SWAP1 000004d4: KECCAK256 000004d5: SLOAD 000004d6: PUSH2 0x04df 000004d9: SWAP1 000004da: DUP5 000004db: PUSH2 0x0d78 000004de: JUMP 000004df: JUMPDEST 000004e0: PUSH1 0x01 000004e2: PUSH1 0xa0 000004e4: PUSH1 0x02 000004e6: EXP 000004e7: SUB 000004e8: DUP1 000004e9: DUP11 000004ea: AND 000004eb: PUSH1 0x00 000004ed: DUP2 000004ee: DUP2 000004ef: MSTORE 000004f0: PUSH1 0x02 000004f2: PUSH1 0x20 000004f4: SWAP1 000004f5: DUP2 000004f6: MSTORE 000004f7: PUSH1 0x40 000004f9: DUP1 000004fa: DUP4 000004fb: KECCAK256 000004fc: SWAP6 000004fd: SWAP1 000004fe: SWAP6 000004ff: SSTORE 00000500: PUSH1 0x06 00000502: SLOAD 00000503: PUSH1 0x04 00000505: SWAP1 00000506: SWAP2 00000507: MSTORE 00000508: SWAP1 00000509: DUP5 0000050a: SWAP1 0000050b: KECCAK256 0000050c: DUP1 0000050d: SLOAD 0000050e: SWAP2 0000050f: DUP9 00000510: MUL 00000511: DUP8 00000512: SWAP1 00000513: SUB 00000514: SWAP2 00000515: DUP3 00000516: ADD 00000517: SWAP1 00000518: SSTORE 00000519: SWAP4 0000051a: POP 0000051b: SWAP1 0000051c: DUP13 0000051d: AND 0000051e: SWAP2 0000051f: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00000540: SWAP1 00000541: DUP15 00000542: SWAP1 00000543: DUP8 00000544: SWAP1 00000545: MLOAD 00000546: SWAP2 00000547: DUP3 00000548: MSTORE 00000549: PUSH1 0x20 0000054b: DUP3 0000054c: ADD 0000054d: MSTORE 0000054e: PUSH1 0x40 00000550: SWAP1 00000551: DUP2 00000552: ADD 00000553: SWAP1 00000554: MLOAD 00000555: DUP1 00000556: SWAP2 00000557: SUB 00000558: SWAP1 00000559: LOG3 0000055a: POP 0000055b: SWAP1 0000055c: SWAP10 0000055d: SWAP9 0000055e: POP 0000055f: POP 00000560: POP 00000561: POP 00000562: POP 00000563: POP 00000564: POP 00000565: POP 00000566: POP 00000567: JUMP 00000568: JUMPDEST 00000569: PUSH1 0x00 0000056b: DUP1 0000056c: SLOAD 0000056d: PUSH1 0x01 0000056f: DUP2 00000570: PUSH1 0x01 00000572: AND 00000573: ISZERO 00000574: PUSH2 0x0100 00000577: MUL 00000578: SUB 00000579: AND 0000057a: PUSH1 0x02 0000057c: SWAP1 0000057d: DIV 0000057e: DUP1 0000057f: PUSH1 0x1f 00000581: ADD 00000582: PUSH1 0x20 00000584: DUP1 00000585: SWAP2 00000586: DIV 00000587: MUL 00000588: PUSH1 0x20 0000058a: ADD 0000058b: PUSH1 0x40 0000058d: MLOAD 0000058e: SWAP1 0000058f: DUP2 00000590: ADD 00000591: PUSH1 0x40 00000593: MSTORE 00000594: DUP1 00000595: SWAP3 00000596: SWAP2 00000597: SWAP1 00000598: DUP2 00000599: DUP2 0000059a: MSTORE 0000059b: PUSH1 0x20 0000059d: ADD 0000059e: DUP3 0000059f: DUP1 000005a0: SLOAD 000005a1: PUSH1 0x01 000005a3: DUP2 000005a4: PUSH1 0x01 000005a6: AND 000005a7: ISZERO 000005a8: PUSH2 0x0100 000005ab: MUL 000005ac: SUB 000005ad: AND 000005ae: PUSH1 0x02 000005b0: SWAP1 000005b1: DIV 000005b2: DUP1 000005b3: ISZERO 000005b4: PUSH2 0x05fe 000005b7: JUMPI 000005b8: DUP1 000005b9: PUSH1 0x1f 000005bb: LT 000005bc: PUSH2 0x05d3 000005bf: JUMPI 000005c0: PUSH2 0x0100 000005c3: DUP1 000005c4: DUP4 000005c5: SLOAD 000005c6: DIV 000005c7: MUL 000005c8: DUP4 000005c9: MSTORE 000005ca: SWAP2 000005cb: PUSH1 0x20 000005cd: ADD 000005ce: SWAP2 000005cf: PUSH2 0x05fe 000005d2: JUMP 000005d3: JUMPDEST 000005d4: DUP3 000005d5: ADD 000005d6: SWAP2 000005d7: SWAP1 000005d8: PUSH1 0x00 000005da: MSTORE 000005db: PUSH1 0x20 000005dd: PUSH1 0x00 000005df: KECCAK256 000005e0: SWAP1 000005e1: JUMPDEST 000005e2: DUP2 000005e3: SLOAD 000005e4: DUP2 000005e5: MSTORE 000005e6: SWAP1 000005e7: PUSH1 0x01 000005e9: ADD 000005ea: SWAP1 000005eb: PUSH1 0x20 000005ed: ADD 000005ee: DUP1 000005ef: DUP4 000005f0: GT 000005f1: PUSH2 0x05e1 000005f4: JUMPI 000005f5: DUP3 000005f6: SWAP1 000005f7: SUB 000005f8: PUSH1 0x1f 000005fa: AND 000005fb: DUP3 000005fc: ADD 000005fd: SWAP2 000005fe: JUMPDEST 000005ff: POP 00000600: POP 00000601: POP 00000602: POP 00000603: POP 00000604: DUP2 00000605: JUMP 00000606: JUMPDEST 00000607: PUSH1 0x00 00000609: DUP1 0000060a: DUP1 0000060b: DUP1 0000060c: PUSH2 0x0616 0000060f: DUP6 00000610: PUSH1 0x0a 00000612: PUSH2 0x0cb7 00000615: JUMP 00000616: JUMPDEST 00000617: SWAP3 00000618: POP 00000619: PUSH2 0x0622 0000061c: DUP6 0000061d: DUP5 0000061e: PUSH2 0x0cce 00000621: JUMP 00000622: JUMPDEST 00000623: SWAP2 00000624: POP 00000625: PUSH2 0x062d 00000628: DUP3 00000629: PUSH2 0x0ce0 0000062c: JUMP 0000062d: JUMPDEST 0000062e: SWAP6 0000062f: SWAP5 00000630: POP 00000631: POP 00000632: POP 00000633: POP 00000634: POP 00000635: JUMP 00000636: JUMPDEST 00000637: PUSH1 0x05 00000639: SLOAD 0000063a: SWAP1 0000063b: JUMP 0000063c: JUMPDEST 0000063d: PUSH1 0x00 0000063f: DUP1 00000640: PUSH1 0x00 00000642: DUP1 00000643: PUSH1 0x05 00000645: SLOAD 00000646: DUP6 00000647: GT 00000648: ISZERO 00000649: ISZERO 0000064a: ISZERO 0000064b: PUSH2 0x0653 0000064e: JUMPI 0000064f: PUSH1 0x00 00000651: DUP1 00000652: REVERT 00000653: JUMPDEST 00000654: PUSH2 0x065c 00000657: DUP6 00000658: PUSH2 0x0d87 0000065b: JUMP 0000065c: JUMPDEST 0000065d: SWAP3 0000065e: POP 0000065f: PUSH2 0x0669 00000662: DUP4 00000663: PUSH1 0x0a 00000665: PUSH2 0x0cb7 00000668: JUMP 00000669: JUMPDEST 0000066a: SWAP2 0000066b: POP 0000066c: PUSH2 0x062d 0000066f: DUP4 00000670: DUP4 00000671: PUSH2 0x0cce 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x12 00000678: DUP2 00000679: JUMP 0000067a: JUMPDEST 0000067b: PUSH1 0x00 0000067d: DUP1 0000067e: PUSH1 0x00 00000680: PUSH2 0x0689 00000683: PUSH1 0x01 00000685: PUSH2 0x079a 00000688: JUMP 00000689: JUMPDEST 0000068a: GT 0000068b: PUSH2 0x0693 0000068e: JUMPI 0000068f: PUSH1 0x00 00000691: DUP1 00000692: REVERT 00000693: JUMPDEST 00000694: CALLER 00000695: SWAP2 00000696: POP 00000697: PUSH2 0x06a0 0000069a: PUSH1 0x00 0000069c: PUSH2 0x079a 0000069f: JUMP 000006a0: JUMPDEST 000006a1: PUSH1 0x01 000006a3: PUSH1 0xa0 000006a5: PUSH1 0x02 000006a7: EXP 000006a8: SUB 000006a9: DUP4 000006aa: AND 000006ab: PUSH1 0x00 000006ad: DUP2 000006ae: DUP2 000006af: MSTORE 000006b0: PUSH1 0x04 000006b2: PUSH1 0x20 000006b4: SWAP1 000006b5: DUP2 000006b6: MSTORE 000006b7: PUSH1 0x40 000006b9: DUP1 000006ba: DUP4 000006bb: KECCAK256 000006bc: DUP1 000006bd: SLOAD 000006be: PUSH9 0x010000000000000000 000006c8: DUP8 000006c9: MUL 000006ca: ADD 000006cb: SWAP1 000006cc: SSTORE 000006cd: PUSH1 0x03 000006cf: SWAP1 000006d0: SWAP2 000006d1: MSTORE 000006d2: DUP1 000006d3: DUP3 000006d4: KECCAK256 000006d5: DUP1 000006d6: SLOAD 000006d7: SWAP3 000006d8: SWAP1 000006d9: SSTORE 000006da: SWAP3 000006db: ADD 000006dc: SWAP3 000006dd: POP 000006de: SWAP1 000006df: DUP3 000006e0: ISZERO 000006e1: PUSH2 0x08fc 000006e4: MUL 000006e5: SWAP1 000006e6: DUP4 000006e7: SWAP1 000006e8: MLOAD 000006e9: PUSH1 0x00 000006eb: PUSH1 0x40 000006ed: MLOAD 000006ee: DUP1 000006ef: DUP4 000006f0: SUB 000006f1: DUP2 000006f2: DUP6 000006f3: DUP9 000006f4: DUP9 000006f5: CALL 000006f6: SWAP4 000006f7: POP 000006f8: POP 000006f9: POP 000006fa: POP 000006fb: ISZERO 000006fc: ISZERO 000006fd: PUSH2 0x0705 00000700: JUMPI 00000701: PUSH1 0x00 00000703: DUP1 00000704: REVERT 00000705: JUMPDEST 00000706: DUP2 00000707: PUSH1 0x01 00000709: PUSH1 0xa0 0000070b: PUSH1 0x02 0000070d: EXP 0000070e: SUB 0000070f: AND 00000710: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000731: DUP3 00000732: PUSH1 0x40 00000734: MLOAD 00000735: SWAP1 00000736: DUP2 00000737: MSTORE 00000738: PUSH1 0x20 0000073a: ADD 0000073b: PUSH1 0x40 0000073d: MLOAD 0000073e: DUP1 0000073f: SWAP2 00000740: SUB 00000741: SWAP1 00000742: LOG2 00000743: POP 00000744: POP 00000745: JUMP 00000746: JUMPDEST 00000747: PUSH1 0x00 00000749: DUP1 0000074a: PUSH1 0x00 0000074c: DUP1 0000074d: PUSH1 0x05 0000074f: SLOAD 00000750: PUSH1 0x00 00000752: EQ 00000753: ISZERO 00000754: PUSH2 0x0764 00000757: JUMPI 00000758: PUSH5 0x14f46b0400 0000075e: SWAP4 0000075f: POP 00000760: PUSH2 0x0794 00000763: JUMP 00000764: JUMPDEST 00000765: PUSH2 0x0775 00000768: PUSH8 0x0de0b6b3a7640000 00000771: PUSH2 0x0d87 00000774: JUMP 00000775: JUMPDEST 00000776: SWAP3 00000777: POP 00000778: PUSH2 0x0782 0000077b: DUP4 0000077c: PUSH1 0x0a 0000077e: PUSH2 0x0cb7 00000781: JUMP 00000782: JUMPDEST 00000783: SWAP2 00000784: POP 00000785: PUSH2 0x078e 00000788: DUP4 00000789: DUP4 0000078a: PUSH2 0x0cce 0000078d: JUMP 0000078e: JUMPDEST 0000078f: SWAP1 00000790: POP 00000791: DUP1 00000792: SWAP4 00000793: POP 00000794: JUMPDEST 00000795: POP 00000796: POP 00000797: POP 00000798: SWAP1 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x00 0000079d: CALLER 0000079e: PUSH2 0x07a7 000007a1: DUP2 000007a2: DUP5 000007a3: PUSH2 0x07d9 000007a6: JUMP 000007a7: JUMPDEST 000007a8: SWAP2 000007a9: POP 000007aa: JUMPDEST 000007ab: POP 000007ac: SWAP2 000007ad: SWAP1 000007ae: POP 000007af: JUMP 000007b0: JUMPDEST 000007b1: PUSH1 0x01 000007b3: PUSH1 0xa0 000007b5: PUSH1 0x02 000007b7: EXP 000007b8: SUB 000007b9: ADDRESS 000007ba: AND 000007bb: BALANCE 000007bc: SWAP1 000007bd: JUMP 000007be: JUMPDEST 000007bf: PUSH1 0x01 000007c1: PUSH1 0xa0 000007c3: PUSH1 0x02 000007c5: EXP 000007c6: SUB 000007c7: AND 000007c8: PUSH1 0x00 000007ca: SWAP1 000007cb: DUP2 000007cc: MSTORE 000007cd: PUSH1 0x02 000007cf: PUSH1 0x20 000007d1: MSTORE 000007d2: PUSH1 0x40 000007d4: SWAP1 000007d5: KECCAK256 000007d6: SLOAD 000007d7: SWAP1 000007d8: JUMP 000007d9: JUMPDEST 000007da: PUSH1 0x01 000007dc: PUSH1 0xa0 000007de: PUSH1 0x02 000007e0: EXP 000007e1: SUB 000007e2: DUP3 000007e3: AND 000007e4: PUSH1 0x00 000007e6: SWAP1 000007e7: DUP2 000007e8: MSTORE 000007e9: PUSH1 0x04 000007eb: PUSH1 0x20 000007ed: SWAP1 000007ee: DUP2 000007ef: MSTORE 000007f0: PUSH1 0x40 000007f2: DUP1 000007f3: DUP4 000007f4: KECCAK256 000007f5: SLOAD 000007f6: PUSH1 0x02 000007f8: SWAP1 000007f9: SWAP3 000007fa: MSTORE 000007fb: DUP3 000007fc: KECCAK256 000007fd: SLOAD 000007fe: PUSH1 0x06 00000800: SLOAD 00000801: PUSH9 0x010000000000000000 0000080b: SWAP2 0000080c: MUL 0000080d: SWAP2 0000080e: SWAP1 0000080f: SWAP2 00000810: SUB 00000811: DIV 00000812: DUP3 00000813: ISZERO 00000814: PUSH2 0x0839 00000817: JUMPI 00000818: PUSH1 0x01 0000081a: PUSH1 0xa0 0000081c: PUSH1 0x02 0000081e: EXP 0000081f: SUB 00000820: DUP5 00000821: AND 00000822: PUSH1 0x00 00000824: SWAP1 00000825: DUP2 00000826: MSTORE 00000827: PUSH1 0x03 00000829: PUSH1 0x20 0000082b: MSTORE 0000082c: PUSH1 0x40 0000082e: SWAP1 0000082f: KECCAK256 00000830: SLOAD 00000831: DUP2 00000832: ADD 00000833: SWAP2 00000834: POP 00000835: PUSH2 0x083d 00000838: JUMP 00000839: JUMPDEST 0000083a: DUP1 0000083b: SWAP2 0000083c: POP 0000083d: JUMPDEST 0000083e: POP 0000083f: SWAP3 00000840: SWAP2 00000841: POP 00000842: POP 00000843: JUMP 00000844: JUMPDEST 00000845: PUSH1 0x00 00000847: DUP1 00000848: PUSH1 0x00 0000084a: DUP1 0000084b: PUSH1 0x05 0000084d: SLOAD 0000084e: PUSH1 0x00 00000850: EQ 00000851: ISZERO 00000852: PUSH2 0x0862 00000855: JUMPI 00000856: PUSH5 0x199c82cc00 0000085c: SWAP4 0000085d: POP 0000085e: PUSH2 0x0794 00000861: JUMP 00000862: JUMPDEST 00000863: PUSH2 0x0873 00000866: PUSH8 0x0de0b6b3a7640000 0000086f: PUSH2 0x0d87 00000872: JUMP 00000873: JUMPDEST 00000874: SWAP3 00000875: POP 00000876: PUSH2 0x0880 00000879: DUP4 0000087a: PUSH1 0x0a 0000087c: PUSH2 0x0cb7 0000087f: JUMP 00000880: JUMPDEST 00000881: SWAP2 00000882: POP 00000883: PUSH2 0x078e 00000886: DUP4 00000887: DUP4 00000888: PUSH2 0x0d78 0000088b: JUMP 0000088c: JUMPDEST 0000088d: PUSH1 0x00 0000088f: CALLER 00000890: PUSH2 0x0898 00000893: DUP2 00000894: PUSH2 0x07be 00000897: JUMP 00000898: JUMPDEST 00000899: SWAP2 0000089a: POP 0000089b: POP 0000089c: SWAP1 0000089d: JUMP 0000089e: JUMPDEST 0000089f: PUSH1 0x01 000008a1: DUP1 000008a2: SLOAD 000008a3: PUSH1 0x01 000008a5: DUP2 000008a6: PUSH1 0x01 000008a8: AND 000008a9: ISZERO 000008aa: PUSH2 0x0100 000008ad: MUL 000008ae: SUB 000008af: AND 000008b0: PUSH1 0x02 000008b2: SWAP1 000008b3: DIV 000008b4: DUP1 000008b5: PUSH1 0x1f 000008b7: ADD 000008b8: PUSH1 0x20 000008ba: DUP1 000008bb: SWAP2 000008bc: DIV 000008bd: MUL 000008be: PUSH1 0x20 000008c0: ADD 000008c1: PUSH1 0x40 000008c3: MLOAD 000008c4: SWAP1 000008c5: DUP2 000008c6: ADD 000008c7: PUSH1 0x40 000008c9: MSTORE 000008ca: DUP1 000008cb: SWAP3 000008cc: SWAP2 000008cd: SWAP1 000008ce: DUP2 000008cf: DUP2 000008d0: MSTORE 000008d1: PUSH1 0x20 000008d3: ADD 000008d4: DUP3 000008d5: DUP1 000008d6: SLOAD 000008d7: PUSH1 0x01 000008d9: DUP2 000008da: PUSH1 0x01 000008dc: AND 000008dd: ISZERO 000008de: PUSH2 0x0100 000008e1: MUL 000008e2: SUB 000008e3: AND 000008e4: PUSH1 0x02 000008e6: SWAP1 000008e7: DIV 000008e8: DUP1 000008e9: ISZERO 000008ea: PUSH2 0x05fe 000008ed: JUMPI 000008ee: DUP1 000008ef: PUSH1 0x1f 000008f1: LT 000008f2: PUSH2 0x05d3 000008f5: JUMPI 000008f6: PUSH2 0x0100 000008f9: DUP1 000008fa: DUP4 000008fb: SLOAD 000008fc: DIV 000008fd: MUL 000008fe: DUP4 000008ff: MSTORE 00000900: SWAP2 00000901: PUSH1 0x20 00000903: ADD 00000904: SWAP2 00000905: PUSH2 0x05fe 00000908: JUMP 00000909: JUMPDEST 0000090a: PUSH1 0x00 0000090c: DUP1 0000090d: PUSH1 0x00 0000090f: PUSH2 0x0916 00000912: PUSH2 0x088c 00000915: JUMP 00000916: JUMPDEST 00000917: GT 00000918: PUSH2 0x0920 0000091b: JUMPI 0000091c: PUSH1 0x00 0000091e: DUP1 0000091f: REVERT 00000920: JUMPDEST 00000921: PUSH1 0x01 00000923: PUSH1 0xa0 00000925: PUSH1 0x02 00000927: EXP 00000928: SUB 00000929: DUP5 0000092a: AND 0000092b: ISZERO 0000092c: ISZERO 0000092d: PUSH2 0x0935 00000930: JUMPI 00000931: PUSH1 0x00 00000933: DUP1 00000934: REVERT 00000935: JUMPDEST 00000936: POP 00000937: CALLER 00000938: PUSH1 0x01 0000093a: PUSH1 0xa0 0000093c: PUSH1 0x02 0000093e: EXP 0000093f: SUB 00000940: DUP2 00000941: AND 00000942: PUSH1 0x00 00000944: SWAP1 00000945: DUP2 00000946: MSTORE 00000947: PUSH1 0x02 00000949: PUSH1 0x20 0000094b: MSTORE 0000094c: PUSH1 0x40 0000094e: SWAP1 0000094f: KECCAK256 00000950: SLOAD 00000951: DUP4 00000952: GT 00000953: ISZERO 00000954: PUSH2 0x095c 00000957: JUMPI 00000958: PUSH1 0x00 0000095a: DUP1 0000095b: REVERT 0000095c: JUMPDEST 0000095d: PUSH1 0x00 0000095f: PUSH2 0x0968 00000962: PUSH1 0x01 00000964: PUSH2 0x079a 00000967: JUMP 00000968: JUMPDEST 00000969: GT 0000096a: ISZERO 0000096b: PUSH2 0x0976 0000096e: JUMPI 0000096f: PUSH2 0x0976 00000972: PUSH2 0x067a 00000975: JUMP 00000976: JUMPDEST 00000977: PUSH1 0x01 00000979: PUSH1 0xa0 0000097b: PUSH1 0x02 0000097d: EXP 0000097e: SUB 0000097f: DUP2 00000980: AND 00000981: PUSH1 0x00 00000983: SWAP1 00000984: DUP2 00000985: MSTORE 00000986: PUSH1 0x02 00000988: PUSH1 0x20 0000098a: MSTORE 0000098b: PUSH1 0x40 0000098d: SWAP1 0000098e: KECCAK256 0000098f: SLOAD 00000990: PUSH2 0x0999 00000993: SWAP1 00000994: DUP5 00000995: PUSH2 0x0cce 00000998: JUMP 00000999: JUMPDEST 0000099a: PUSH1 0x01 0000099c: PUSH1 0xa0 0000099e: PUSH1 0x02 000009a0: EXP 000009a1: SUB 000009a2: DUP1 000009a3: DUP4 000009a4: AND 000009a5: PUSH1 0x00 000009a7: SWAP1 000009a8: DUP2 000009a9: MSTORE 000009aa: PUSH1 0x02 000009ac: PUSH1 0x20 000009ae: MSTORE 000009af: PUSH1 0x40 000009b1: DUP1 000009b2: DUP3 000009b3: KECCAK256 000009b4: SWAP4 000009b5: SWAP1 000009b6: SWAP4 000009b7: SSTORE 000009b8: SWAP1 000009b9: DUP7 000009ba: AND 000009bb: DUP2 000009bc: MSTORE 000009bd: KECCAK256 000009be: SLOAD 000009bf: PUSH2 0x09c8 000009c2: SWAP1 000009c3: DUP5 000009c4: PUSH2 0x0d78 000009c7: JUMP 000009c8: JUMPDEST 000009c9: PUSH1 0x01 000009cb: PUSH1 0xa0 000009cd: PUSH1 0x02 000009cf: EXP 000009d0: SUB 000009d1: DUP6 000009d2: DUP2 000009d3: AND 000009d4: PUSH1 0x00 000009d6: DUP2 000009d7: DUP2 000009d8: MSTORE 000009d9: PUSH1 0x02 000009db: PUSH1 0x20 000009dd: SWAP1 000009de: DUP2 000009df: MSTORE 000009e0: PUSH1 0x40 000009e2: DUP1 000009e3: DUP4 000009e4: KECCAK256 000009e5: SWAP6 000009e6: SWAP1 000009e7: SWAP6 000009e8: SSTORE 000009e9: PUSH1 0x06 000009eb: DUP1 000009ec: SLOAD 000009ed: SWAP5 000009ee: DUP8 000009ef: AND 000009f0: DUP1 000009f1: DUP5 000009f2: MSTORE 000009f3: PUSH1 0x04 000009f5: SWAP1 000009f6: SWAP3 000009f7: MSTORE 000009f8: DUP6 000009f9: DUP4 000009fa: KECCAK256 000009fb: DUP1 000009fc: SLOAD 000009fd: SWAP6 000009fe: DUP11 000009ff: MUL 00000a00: SWAP1 00000a01: SWAP6 00000a02: SUB 00000a03: SWAP1 00000a04: SWAP5 00000a05: SSTORE 00000a06: SWAP3 00000a07: SLOAD 00000a08: DUP3 00000a09: DUP3 00000a0a: MSTORE 00000a0b: SWAP1 00000a0c: DUP5 00000a0d: SWAP1 00000a0e: KECCAK256 00000a0f: DUP1 00000a10: SLOAD 00000a11: SWAP2 00000a12: DUP9 00000a13: MUL 00000a14: SWAP1 00000a15: SWAP2 00000a16: ADD 00000a17: SWAP1 00000a18: SSTORE 00000a19: SWAP2 00000a1a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000a3b: SWAP1 00000a3c: DUP7 00000a3d: SWAP1 00000a3e: MLOAD 00000a3f: SWAP1 00000a40: DUP2 00000a41: MSTORE 00000a42: PUSH1 0x20 00000a44: ADD 00000a45: PUSH1 0x40 00000a47: MLOAD 00000a48: DUP1 00000a49: SWAP2 00000a4a: SUB 00000a4b: SWAP1 00000a4c: LOG3 00000a4d: POP 00000a4e: PUSH1 0x01 00000a50: SWAP4 00000a51: SWAP3 00000a52: POP 00000a53: POP 00000a54: POP 00000a55: JUMP 00000a56: JUMPDEST 00000a57: PUSH1 0x00 00000a59: DUP1 00000a5a: PUSH1 0x00 00000a5c: DUP1 00000a5d: PUSH1 0x00 00000a5f: DUP1 00000a60: PUSH1 0x00 00000a62: PUSH2 0x0a69 00000a65: PUSH2 0x088c 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: GT 00000a6b: PUSH2 0x0a73 00000a6e: JUMPI 00000a6f: PUSH1 0x00 00000a71: DUP1 00000a72: REVERT 00000a73: JUMPDEST 00000a74: CALLER 00000a75: PUSH1 0x01 00000a77: PUSH1 0xa0 00000a79: PUSH1 0x02 00000a7b: EXP 00000a7c: SUB 00000a7d: DUP2 00000a7e: AND 00000a7f: PUSH1 0x00 00000a81: SWAP1 00000a82: DUP2 00000a83: MSTORE 00000a84: PUSH1 0x02 00000a86: PUSH1 0x20 00000a88: MSTORE 00000a89: PUSH1 0x40 00000a8b: SWAP1 00000a8c: KECCAK256 00000a8d: SLOAD 00000a8e: SWAP1 00000a8f: SWAP7 00000a90: POP 00000a91: DUP8 00000a92: GT 00000a93: ISZERO 00000a94: PUSH2 0x0a9c 00000a97: JUMPI 00000a98: PUSH1 0x00 00000a9a: DUP1 00000a9b: REVERT 00000a9c: JUMPDEST 00000a9d: DUP7 00000a9e: SWAP5 00000a9f: POP 00000aa0: PUSH2 0x0aa8 00000aa3: DUP6 00000aa4: PUSH2 0x0d87 00000aa7: JUMP 00000aa8: JUMPDEST 00000aa9: SWAP4 00000aaa: POP 00000aab: PUSH2 0x0ab5 00000aae: DUP5 00000aaf: PUSH1 0x0a 00000ab1: PUSH2 0x0cb7 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: SWAP3 00000ab7: POP 00000ab8: PUSH2 0x0ac1 00000abb: DUP5 00000abc: DUP5 00000abd: PUSH2 0x0cce 00000ac0: JUMP 00000ac1: JUMPDEST 00000ac2: SWAP2 00000ac3: POP 00000ac4: PUSH2 0x0acf 00000ac7: PUSH1 0x05 00000ac9: SLOAD 00000aca: DUP7 00000acb: PUSH2 0x0cce 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH1 0x05 00000ad2: SSTORE 00000ad3: PUSH1 0x01 00000ad5: PUSH1 0xa0 00000ad7: PUSH1 0x02 00000ad9: EXP 00000ada: SUB 00000adb: DUP7 00000adc: AND 00000add: PUSH1 0x00 00000adf: SWAP1 00000ae0: DUP2 00000ae1: MSTORE 00000ae2: PUSH1 0x02 00000ae4: PUSH1 0x20 00000ae6: MSTORE 00000ae7: PUSH1 0x40 00000ae9: SWAP1 00000aea: KECCAK256 00000aeb: SLOAD 00000aec: PUSH2 0x0af5 00000aef: SWAP1 00000af0: DUP7 00000af1: PUSH2 0x0cce 00000af4: JUMP 00000af5: JUMPDEST 00000af6: PUSH1 0x01 00000af8: PUSH1 0xa0 00000afa: PUSH1 0x02 00000afc: EXP 00000afd: SUB 00000afe: DUP8 00000aff: AND 00000b00: PUSH1 0x00 00000b02: SWAP1 00000b03: DUP2 00000b04: MSTORE 00000b05: PUSH1 0x02 00000b07: PUSH1 0x20 00000b09: SWAP1 00000b0a: DUP2 00000b0b: MSTORE 00000b0c: PUSH1 0x40 00000b0e: DUP1 00000b0f: DUP4 00000b10: KECCAK256 00000b11: SWAP4 00000b12: SWAP1 00000b13: SWAP4 00000b14: SSTORE 00000b15: PUSH1 0x06 00000b17: SLOAD 00000b18: PUSH1 0x04 00000b1a: SWAP1 00000b1b: SWAP2 00000b1c: MSTORE 00000b1d: SWAP2 00000b1e: DUP2 00000b1f: KECCAK256 00000b20: DUP1 00000b21: SLOAD 00000b22: SWAP3 00000b23: DUP9 00000b24: MUL 00000b25: PUSH9 0x010000000000000000 00000b2f: DUP7 00000b30: MUL 00000b31: ADD 00000b32: SWAP3 00000b33: DUP4 00000b34: SWAP1 00000b35: SUB 00000b36: SWAP1 00000b37: SSTORE 00000b38: PUSH1 0x05 00000b3a: SLOAD 00000b3b: SWAP2 00000b3c: SWAP3 00000b3d: POP 00000b3e: SWAP1 00000b3f: GT 00000b40: ISZERO 00000b41: PUSH2 0x0b6c 00000b44: JUMPI 00000b45: PUSH2 0x0b68 00000b48: PUSH1 0x06 00000b4a: SLOAD 00000b4b: PUSH1 0x05 00000b4d: SLOAD 00000b4e: PUSH9 0x010000000000000000 00000b58: DUP7 00000b59: MUL 00000b5a: DUP2 00000b5b: ISZERO 00000b5c: ISZERO 00000b5d: PUSH2 0x0b62 00000b60: JUMPI 00000b61: INVALID 00000b62: JUMPDEST 00000b63: DIV 00000b64: PUSH2 0x0d78 00000b67: JUMP 00000b68: JUMPDEST 00000b69: PUSH1 0x06 00000b6b: SSTORE 00000b6c: JUMPDEST 00000b6d: DUP6 00000b6e: PUSH1 0x01 00000b70: PUSH1 0xa0 00000b72: PUSH1 0x02 00000b74: EXP 00000b75: SUB 00000b76: AND 00000b77: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 00000b98: DUP7 00000b99: DUP5 00000b9a: PUSH1 0x40 00000b9c: MLOAD 00000b9d: SWAP2 00000b9e: DUP3 00000b9f: MSTORE 00000ba0: PUSH1 0x20 00000ba2: DUP3 00000ba3: ADD 00000ba4: MSTORE 00000ba5: PUSH1 0x40 00000ba7: SWAP1 00000ba8: DUP2 00000ba9: ADD 00000baa: SWAP1 00000bab: MLOAD 00000bac: DUP1 00000bad: SWAP2 00000bae: SUB 00000baf: SWAP1 00000bb0: LOG2 00000bb1: POP 00000bb2: POP 00000bb3: POP 00000bb4: POP 00000bb5: POP 00000bb6: POP 00000bb7: POP 00000bb8: JUMP 00000bb9: JUMPDEST 00000bba: CALLER 00000bbb: PUSH1 0x01 00000bbd: PUSH1 0xa0 00000bbf: PUSH1 0x02 00000bc1: EXP 00000bc2: SUB 00000bc3: DUP2 00000bc4: AND 00000bc5: PUSH1 0x00 00000bc7: SWAP1 00000bc8: DUP2 00000bc9: MSTORE 00000bca: PUSH1 0x02 00000bcc: PUSH1 0x20 00000bce: MSTORE 00000bcf: PUSH1 0x40 00000bd1: DUP2 00000bd2: KECCAK256 00000bd3: SLOAD 00000bd4: SWAP1 00000bd5: DUP2 00000bd6: GT 00000bd7: ISZERO 00000bd8: PUSH2 0x0be4 00000bdb: JUMPI 00000bdc: PUSH2 0x0be4 00000bdf: DUP2 00000be0: PUSH2 0x0a56 00000be3: JUMP 00000be4: JUMPDEST 00000be5: PUSH2 0x0bec 00000be8: PUSH2 0x067a 00000beb: JUMP 00000bec: JUMPDEST 00000bed: POP 00000bee: POP 00000bef: JUMP 00000bf0: JUMPDEST 00000bf1: PUSH1 0x00 00000bf3: PUSH2 0x07aa 00000bf6: CALLVALUE 00000bf7: DUP4 00000bf8: PUSH2 0x036d 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: PUSH1 0x00 00000bff: DUP1 00000c00: PUSH1 0x00 00000c02: DUP1 00000c03: PUSH2 0x0c0c 00000c06: PUSH1 0x01 00000c08: PUSH2 0x079a 00000c0b: JUMP 00000c0c: JUMPDEST 00000c0d: GT 00000c0e: PUSH2 0x0c16 00000c11: JUMPI 00000c12: PUSH1 0x00 00000c14: DUP1 00000c15: REVERT 00000c16: JUMPDEST 00000c17: PUSH2 0x0c20 00000c1a: PUSH1 0x00 00000c1c: PUSH2 0x079a 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: CALLER 00000c22: PUSH1 0x01 00000c24: PUSH1 0xa0 00000c26: PUSH1 0x02 00000c28: EXP 00000c29: SUB 00000c2a: DUP2 00000c2b: AND 00000c2c: PUSH1 0x00 00000c2e: SWAP1 00000c2f: DUP2 00000c30: MSTORE 00000c31: PUSH1 0x04 00000c33: PUSH1 0x20 00000c35: SWAP1 00000c36: DUP2 00000c37: MSTORE 00000c38: PUSH1 0x40 00000c3a: DUP1 00000c3b: DUP4 00000c3c: KECCAK256 00000c3d: DUP1 00000c3e: SLOAD 00000c3f: PUSH9 0x010000000000000000 00000c49: DUP8 00000c4a: MUL 00000c4b: ADD 00000c4c: SWAP1 00000c4d: SSTORE 00000c4e: PUSH1 0x03 00000c50: SWAP1 00000c51: SWAP2 00000c52: MSTORE 00000c53: DUP2 00000c54: KECCAK256 00000c55: DUP1 00000c56: SLOAD 00000c57: SWAP1 00000c58: DUP3 00000c59: SWAP1 00000c5a: SSTORE 00000c5b: SWAP1 00000c5c: SWAP3 00000c5d: ADD 00000c5e: SWAP5 00000c5f: POP 00000c60: SWAP3 00000c61: POP 00000c62: PUSH2 0x0c6c 00000c65: SWAP1 00000c66: DUP5 00000c67: SWAP1 00000c68: PUSH2 0x036d 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: SWAP1 00000c6e: POP 00000c6f: DUP2 00000c70: PUSH1 0x01 00000c72: PUSH1 0xa0 00000c74: PUSH1 0x02 00000c76: EXP 00000c77: SUB 00000c78: AND 00000c79: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00000c9a: DUP5 00000c9b: DUP4 00000c9c: PUSH1 0x40 00000c9e: MLOAD 00000c9f: SWAP2 00000ca0: DUP3 00000ca1: MSTORE 00000ca2: PUSH1 0x20 00000ca4: DUP3 00000ca5: ADD 00000ca6: MSTORE 00000ca7: PUSH1 0x40 00000ca9: SWAP1 00000caa: DUP2 00000cab: ADD 00000cac: SWAP1 00000cad: MLOAD 00000cae: DUP1 00000caf: SWAP2 00000cb0: SUB 00000cb1: SWAP1 00000cb2: LOG2 00000cb3: POP 00000cb4: POP 00000cb5: POP 00000cb6: JUMP 00000cb7: JUMPDEST 00000cb8: PUSH1 0x00 00000cba: DUP1 00000cbb: DUP3 00000cbc: DUP5 00000cbd: DUP2 00000cbe: ISZERO 00000cbf: ISZERO 00000cc0: PUSH2 0x0cc5 00000cc3: JUMPI 00000cc4: INVALID 00000cc5: JUMPDEST 00000cc6: DIV 00000cc7: SWAP5 00000cc8: SWAP4 00000cc9: POP 00000cca: POP 00000ccb: POP 00000ccc: POP 00000ccd: JUMP 00000cce: JUMPDEST 00000ccf: PUSH1 0x00 00000cd1: DUP3 00000cd2: DUP3 00000cd3: GT 00000cd4: ISZERO 00000cd5: PUSH2 0x0cda 00000cd8: JUMPI 00000cd9: INVALID 00000cda: JUMPDEST 00000cdb: POP 00000cdc: SWAP1 00000cdd: SUB 00000cde: SWAP1 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: PUSH1 0x05 00000ce3: SLOAD 00000ce4: PUSH1 0x00 00000ce6: SWAP1 00000ce7: PUSH13 0x01431e0fae6d7217caa0000000 00000cf5: SWAP1 00000cf6: DUP3 00000cf7: SWAP1 00000cf8: PUSH5 0x02540be400 00000cfe: PUSH2 0x0d65 00000d01: PUSH2 0x0d5f 00000d04: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000 00000d19: DUP9 00000d1a: MUL 00000d1b: PUSH9 0x056bc75e2d63100000 00000d25: PUSH1 0x02 00000d27: DUP7 00000d28: EXP 00000d29: MUL 00000d2a: ADD 00000d2b: PUSH17 0x05e0a1fd2712875988becaad0000000000 00000d3d: DUP6 00000d3e: MUL 00000d3f: ADD 00000d40: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000 00000d5a: ADD 00000d5b: PUSH2 0x0df3 00000d5e: JUMP 00000d5f: JUMPDEST 00000d60: DUP6 00000d61: PUSH2 0x0cce 00000d64: JUMP 00000d65: JUMPDEST 00000d66: DUP2 00000d67: ISZERO 00000d68: ISZERO 00000d69: PUSH2 0x0d6e 00000d6c: JUMPI 00000d6d: INVALID 00000d6e: JUMPDEST 00000d6f: DIV 00000d70: SUB 00000d71: SWAP5 00000d72: SWAP4 00000d73: POP 00000d74: POP 00000d75: POP 00000d76: POP 00000d77: JUMP 00000d78: JUMPDEST 00000d79: PUSH1 0x00 00000d7b: DUP3 00000d7c: DUP3 00000d7d: ADD 00000d7e: DUP4 00000d7f: DUP2 00000d80: LT 00000d81: ISZERO 00000d82: PUSH2 0x0839 00000d85: JUMPI 00000d86: INVALID 00000d87: JUMPDEST 00000d88: PUSH1 0x05 00000d8a: SLOAD 00000d8b: PUSH1 0x00 00000d8d: SWAP1 00000d8e: PUSH8 0x0de0b6b3a7640000 00000d97: DUP4 00000d98: DUP2 00000d99: ADD 00000d9a: SWAP2 00000d9b: DUP2 00000d9c: ADD 00000d9d: SWAP1 00000d9e: DUP4 00000d9f: SWAP1 00000da0: PUSH2 0x0de0 00000da3: PUSH5 0x14f46b0400 00000da9: DUP3 00000daa: DUP6 00000dab: DIV 00000dac: PUSH5 0x02540be400 00000db2: MUL 00000db3: ADD 00000db4: DUP8 00000db5: MUL 00000db6: PUSH1 0x02 00000db8: DUP4 00000db9: PUSH8 0x0de0b6b3a763ffff 00000dc2: NOT 00000dc3: DUP3 00000dc4: DUP10 00000dc5: EXP 00000dc6: DUP12 00000dc7: SWAP1 00000dc8: SUB 00000dc9: ADD 00000dca: DIV 00000dcb: PUSH5 0x02540be400 00000dd1: MUL 00000dd2: DUP2 00000dd3: ISZERO 00000dd4: ISZERO 00000dd5: PUSH2 0x0dda 00000dd8: JUMPI 00000dd9: INVALID 00000dda: JUMPDEST 00000ddb: DIV 00000ddc: PUSH2 0x0cce 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: DUP2 00000de2: ISZERO 00000de3: ISZERO 00000de4: PUSH2 0x0de9 00000de7: JUMPI 00000de8: INVALID 00000de9: JUMPDEST 00000dea: DIV 00000deb: SWAP6 00000dec: SWAP5 00000ded: POP 00000dee: POP 00000def: POP 00000df0: POP 00000df1: POP 00000df2: JUMP 00000df3: JUMPDEST 00000df4: DUP1 00000df5: PUSH1 0x02 00000df7: PUSH1 0x01 00000df9: DUP3 00000dfa: ADD 00000dfb: DIV 00000dfc: JUMPDEST 00000dfd: DUP2 00000dfe: DUP2 00000dff: LT 00000e00: ISZERO 00000e01: PUSH2 0x07aa 00000e04: JUMPI 00000e05: DUP1 00000e06: SWAP2 00000e07: POP 00000e08: PUSH1 0x02 00000e0a: DUP2 00000e0b: DUP3 00000e0c: DUP6 00000e0d: DUP2 00000e0e: ISZERO 00000e0f: ISZERO 00000e10: PUSH2 0x0e15 00000e13: JUMPI 00000e14: INVALID 00000e15: JUMPDEST 00000e16: DIV 00000e17: ADD 00000e18: DUP2 00000e19: ISZERO 00000e1a: ISZERO 00000e1b: PUSH2 0x0e20 00000e1e: JUMPI 00000e1f: INVALID 00000e20: JUMPDEST 00000e21: DIV 00000e22: SWAP1 00000e23: POP 00000e24: PUSH2 0x0dfc 00000e27: JUMP 00000e28: STOP 00000e29: LOG1 00000e2a: PUSH6 0x627a7a723058 00000e31: KECCAK256 00000e32: UNKNOWN(0x0E) 00000e33: JUMP 00000e34: SLT 00000e35: UNKNOWN(0xD9) 00000e36: UNKNOWN(0x0F) 00000e37: SWAP3 00000e38: SWAP3 00000e39: DUP1 00000e3a: ORIGIN 00000e3b: DUP7 00000e3c: UNKNOWN(0xAB) 00000e3d: POP 00000e3e: UNKNOWN(0xE3) 00000e3f: EXTCODESIZE 00000e40: UNKNOWN(0x2A) 00000e41: UNKNOWN(0xA6) 00000e42: UNKNOWN(0xE3) 00000e43: UNKNOWN(0x24) 00000e44: UNKNOWN(0xEB) 00000e45: DUP5 00000e46: ISZERO 00000e47: STATICCALL 00000e48: GT 00000e49: SWAP5 00000e4a: CALLCODE 00000e4b: BASEFEE 00000e4c: UNKNOWN(0xCC) 00000e4d: GASPRICE 00000e4e: MUL 00000e4f: SAR 00000e50: UNKNOWN(0xA5) 00000e51: UNKNOWN(0xDB) 00000e52: STOP 00000e53: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x688abbf7",
"selector": "0x688abbf7",
"calldata_variants": [
"0x688abbf7",
"0x688abbf70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3642,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x63faef7f53388daf626e9722b5f691cc3e30ab2b538f423b87f67ea5fc146f8b
call_targets:
0x5833c959c3532dd5b3b6855d590d70b01d2d9fa6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x63faef7f53388daf626e9722b5f691cc3e30ab2b538f423b87f67ea5fc146f8b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5833c959c3532dd5b3b6855d590d70b01d2d9fa6"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x688abbf7",
"selector": "0x688abbf7",
"calldata_variants": [
"0x688abbf7",
"0x688abbf70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1781,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3658,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 3642,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x63faef7f53388daf626e9722b5f691cc3e30ab2b538f423b87f67ea5fc146f8b
call_targets:
0x5833c959c3532dd5b3b6855d590d70b01d2d9fa6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x63faef7f53388daf626e9722b5f691cc3e30ab2b538f423b87f67ea5fc146f8b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5833c959c3532dd5b3b6855d590d70b01d2d9fa6"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x688abbf7",
"selector": "0x688abbf7",
"calldata_variants": [
"0x688abbf7",
"0x688abbf70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1781,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3658,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 3642,
"type": "tx_origin_used"
}
]
}
|