019b477e-b610-7104-bc1c-9661942f232a
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 |
|---|---|---|---|---|
| 23051 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23052 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66810 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66811 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66812 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66813 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x00fe 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8815eb39 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc4590d3f 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc4590d3f 0000002f: EQ 00000030: PUSH2 0x0402 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xcce987d4 0000003a: EQ 0000003b: PUSH2 0x0432 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd950f365 00000045: EQ 00000046: PUSH2 0x0447 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfa5d5429 00000050: EQ 00000051: PUSH2 0x047a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfdc5d522 0000005b: EQ 0000005c: PUSH2 0x048f 0000005f: JUMPI 00000060: PUSH2 0x00fe 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x8815eb39 0000006b: EQ 0000006c: PUSH2 0x0339 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8da5cb5b 00000076: EQ 00000077: PUSH2 0x0365 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa6f9dae1 00000081: EQ 00000082: PUSH2 0x0396 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc1075329 0000008c: EQ 0000008d: PUSH2 0x03c9 00000090: JUMPI 00000091: PUSH2 0x00fe 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x338246e2 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x338246e2 000000a7: EQ 000000a8: PUSH2 0x02be 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x428eecf0 000000b2: EQ 000000b3: PUSH2 0x02e5 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x46fcff4c 000000bd: EQ 000000be: PUSH2 0x02fa 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x81fd3f0b 000000c8: EQ 000000c9: PUSH2 0x030f 000000cc: JUMPI 000000cd: PUSH2 0x00fe 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x1952e39c 000000d8: EQ 000000d9: PUSH2 0x01a0 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x22f3e2d4 000000e3: EQ 000000e4: PUSH2 0x0236 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x2750fc78 000000ee: EQ 000000ef: PUSH2 0x025f 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x32dee40b 000000f9: EQ 000000fa: PUSH2 0x028b 000000fd: JUMPI 000000fe: JUMPDEST 000000ff: CALLDATASIZE 00000100: ISZERO 00000101: PUSH2 0x0151 00000104: JUMPI 00000105: PUSH1 0x40 00000107: DUP1 00000108: MLOAD 00000109: PUSH3 0x461bcd 0000010d: PUSH1 0xe5 0000010f: SHL 00000110: DUP2 00000111: MSTORE 00000112: PUSH1 0x20 00000114: PUSH1 0x04 00000116: DUP3 00000117: ADD 00000118: MSTORE 00000119: PUSH1 0x1c 0000011b: PUSH1 0x24 0000011d: DUP3 0000011e: ADD 0000011f: MSTORE 00000120: PUSH32 0x696e76616c696420706f6f6c2066756e6374696f6e2063616c6c656400000000 00000141: PUSH1 0x44 00000143: DUP3 00000144: ADD 00000145: MSTORE 00000146: SWAP1 00000147: MLOAD 00000148: SWAP1 00000149: DUP2 0000014a: SWAP1 0000014b: SUB 0000014c: PUSH1 0x64 0000014e: ADD 0000014f: SWAP1 00000150: REVERT 00000151: JUMPDEST 00000152: PUSH1 0x01 00000154: SLOAD 00000155: PUSH1 0x01 00000157: PUSH1 0x01 00000159: PUSH1 0xa0 0000015b: SHL 0000015c: SUB 0000015d: AND 0000015e: CALLER 0000015f: EQ 00000160: PUSH2 0x019e 00000163: JUMPI 00000164: PUSH1 0x40 00000166: DUP1 00000167: MLOAD 00000168: CALLER 00000169: DUP2 0000016a: MSTORE 0000016b: CALLVALUE 0000016c: PUSH1 0x20 0000016e: DUP3 0000016f: ADD 00000170: MSTORE 00000171: DUP2 00000172: MLOAD 00000173: PUSH32 0x5741979df5f3e491501da74d3b0a83dd2496ab1f34929865b3e190a8ad75859a 00000194: SWAP3 00000195: SWAP2 00000196: DUP2 00000197: SWAP1 00000198: SUB 00000199: SWAP1 0000019a: SWAP2 0000019b: ADD 0000019c: SWAP1 0000019d: LOG1 0000019e: JUMPDEST 0000019f: STOP 000001a0: JUMPDEST 000001a1: CALLVALUE 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH2 0x019e 000001b1: PUSH1 0x04 000001b3: DUP1 000001b4: CALLDATASIZE 000001b5: SUB 000001b6: PUSH1 0x80 000001b8: DUP2 000001b9: LT 000001ba: ISZERO 000001bb: PUSH2 0x01c3 000001be: JUMPI 000001bf: PUSH1 0x00 000001c1: DUP1 000001c2: REVERT 000001c3: JUMPDEST 000001c4: PUSH1 0x01 000001c6: PUSH1 0x01 000001c8: PUSH1 0xa0 000001ca: SHL 000001cb: SUB 000001cc: DUP3 000001cd: CALLDATALOAD 000001ce: DUP2 000001cf: AND 000001d0: SWAP3 000001d1: PUSH1 0x20 000001d3: DUP2 000001d4: ADD 000001d5: CALLDATALOAD 000001d6: SWAP1 000001d7: SWAP2 000001d8: AND 000001d9: SWAP2 000001da: DUP2 000001db: ADD 000001dc: SWAP1 000001dd: PUSH1 0x60 000001df: DUP2 000001e0: ADD 000001e1: PUSH1 0x40 000001e3: DUP3 000001e4: ADD 000001e5: CALLDATALOAD 000001e6: PUSH5 0x0100000000 000001ec: DUP2 000001ed: GT 000001ee: ISZERO 000001ef: PUSH2 0x01f7 000001f2: JUMPI 000001f3: PUSH1 0x00 000001f5: DUP1 000001f6: REVERT 000001f7: JUMPDEST 000001f8: DUP3 000001f9: ADD 000001fa: DUP4 000001fb: PUSH1 0x20 000001fd: DUP3 000001fe: ADD 000001ff: GT 00000200: ISZERO 00000201: PUSH2 0x0209 00000204: JUMPI 00000205: PUSH1 0x00 00000207: DUP1 00000208: REVERT 00000209: JUMPDEST 0000020a: DUP1 0000020b: CALLDATALOAD 0000020c: SWAP1 0000020d: PUSH1 0x20 0000020f: ADD 00000210: SWAP2 00000211: DUP5 00000212: PUSH1 0x01 00000214: DUP4 00000215: MUL 00000216: DUP5 00000217: ADD 00000218: GT 00000219: PUSH5 0x0100000000 0000021f: DUP4 00000220: GT 00000221: OR 00000222: ISZERO 00000223: PUSH2 0x022b 00000226: JUMPI 00000227: PUSH1 0x00 00000229: DUP1 0000022a: REVERT 0000022b: JUMPDEST 0000022c: SWAP2 0000022d: SWAP4 0000022e: POP 0000022f: SWAP2 00000230: POP 00000231: CALLDATALOAD 00000232: PUSH2 0x0525 00000235: JUMP 00000236: JUMPDEST 00000237: CALLVALUE 00000238: DUP1 00000239: ISZERO 0000023a: PUSH2 0x0242 0000023d: JUMPI 0000023e: PUSH1 0x00 00000240: DUP1 00000241: REVERT 00000242: JUMPDEST 00000243: POP 00000244: PUSH2 0x024b 00000247: PUSH2 0x0630 0000024a: JUMP 0000024b: JUMPDEST 0000024c: PUSH1 0x40 0000024e: DUP1 0000024f: MLOAD 00000250: SWAP2 00000251: ISZERO 00000252: ISZERO 00000253: DUP3 00000254: MSTORE 00000255: MLOAD 00000256: SWAP1 00000257: DUP2 00000258: SWAP1 00000259: SUB 0000025a: PUSH1 0x20 0000025c: ADD 0000025d: SWAP1 0000025e: RETURN 0000025f: JUMPDEST 00000260: CALLVALUE 00000261: DUP1 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: POP 0000026d: PUSH2 0x019e 00000270: PUSH1 0x04 00000272: DUP1 00000273: CALLDATASIZE 00000274: SUB 00000275: PUSH1 0x20 00000277: DUP2 00000278: LT 00000279: ISZERO 0000027a: PUSH2 0x0282 0000027d: JUMPI 0000027e: PUSH1 0x00 00000280: DUP1 00000281: REVERT 00000282: JUMPDEST 00000283: POP 00000284: CALLDATALOAD 00000285: ISZERO 00000286: ISZERO 00000287: PUSH2 0x0640 0000028a: JUMP 0000028b: JUMPDEST 0000028c: CALLVALUE 0000028d: DUP1 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: POP 00000299: PUSH2 0x024b 0000029c: PUSH1 0x04 0000029e: DUP1 0000029f: CALLDATASIZE 000002a0: SUB 000002a1: PUSH1 0x20 000002a3: DUP2 000002a4: LT 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: CALLDATALOAD 000002b1: PUSH1 0x01 000002b3: PUSH1 0x01 000002b5: PUSH1 0xa0 000002b7: SHL 000002b8: SUB 000002b9: AND 000002ba: PUSH2 0x0701 000002bd: JUMP 000002be: JUMPDEST 000002bf: CALLVALUE 000002c0: DUP1 000002c1: ISZERO 000002c2: PUSH2 0x02ca 000002c5: JUMPI 000002c6: PUSH1 0x00 000002c8: DUP1 000002c9: REVERT 000002ca: JUMPDEST 000002cb: POP 000002cc: PUSH2 0x02d3 000002cf: PUSH2 0x0766 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH1 0x40 000002d6: DUP1 000002d7: MLOAD 000002d8: SWAP2 000002d9: DUP3 000002da: MSTORE 000002db: MLOAD 000002dc: SWAP1 000002dd: DUP2 000002de: SWAP1 000002df: SUB 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: SWAP1 000002e4: RETURN 000002e5: JUMPDEST 000002e6: CALLVALUE 000002e7: DUP1 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: POP 000002f3: PUSH2 0x02d3 000002f6: PUSH2 0x076c 000002f9: JUMP 000002fa: JUMPDEST 000002fb: CALLVALUE 000002fc: DUP1 000002fd: ISZERO 000002fe: PUSH2 0x0306 00000301: JUMPI 00000302: PUSH1 0x00 00000304: DUP1 00000305: REVERT 00000306: JUMPDEST 00000307: POP 00000308: PUSH2 0x02d3 0000030b: PUSH2 0x0772 0000030e: JUMP 0000030f: JUMPDEST 00000310: CALLVALUE 00000311: DUP1 00000312: ISZERO 00000313: PUSH2 0x031b 00000316: JUMPI 00000317: PUSH1 0x00 00000319: DUP1 0000031a: REVERT 0000031b: JUMPDEST 0000031c: POP 0000031d: PUSH2 0x024b 00000320: PUSH1 0x04 00000322: DUP1 00000323: CALLDATASIZE 00000324: SUB 00000325: PUSH1 0x20 00000327: DUP2 00000328: LT 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: CALLDATALOAD 00000335: PUSH2 0x0777 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: DUP1 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: PUSH2 0x034e 0000034a: PUSH2 0x08c9 0000034d: JUMP 0000034e: JUMPDEST 0000034f: PUSH1 0x40 00000351: DUP1 00000352: MLOAD 00000353: PUSH2 0xffff 00000356: SWAP1 00000357: SWAP3 00000358: AND 00000359: DUP3 0000035a: MSTORE 0000035b: MLOAD 0000035c: SWAP1 0000035d: DUP2 0000035e: SWAP1 0000035f: SUB 00000360: PUSH1 0x20 00000362: ADD 00000363: SWAP1 00000364: RETURN 00000365: JUMPDEST 00000366: CALLVALUE 00000367: DUP1 00000368: ISZERO 00000369: PUSH2 0x0371 0000036c: JUMPI 0000036d: PUSH1 0x00 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: POP 00000373: PUSH2 0x037a 00000376: PUSH2 0x08da 00000379: JUMP 0000037a: JUMPDEST 0000037b: PUSH1 0x40 0000037d: DUP1 0000037e: MLOAD 0000037f: PUSH1 0x01 00000381: PUSH1 0x01 00000383: PUSH1 0xa0 00000385: SHL 00000386: SUB 00000387: SWAP1 00000388: SWAP3 00000389: AND 0000038a: DUP3 0000038b: MSTORE 0000038c: MLOAD 0000038d: SWAP1 0000038e: DUP2 0000038f: SWAP1 00000390: SUB 00000391: PUSH1 0x20 00000393: ADD 00000394: SWAP1 00000395: RETURN 00000396: JUMPDEST 00000397: CALLVALUE 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: POP 000003a4: PUSH2 0x019e 000003a7: PUSH1 0x04 000003a9: DUP1 000003aa: CALLDATASIZE 000003ab: SUB 000003ac: PUSH1 0x20 000003ae: DUP2 000003af: LT 000003b0: ISZERO 000003b1: PUSH2 0x03b9 000003b4: JUMPI 000003b5: PUSH1 0x00 000003b7: DUP1 000003b8: REVERT 000003b9: JUMPDEST 000003ba: POP 000003bb: CALLDATALOAD 000003bc: PUSH1 0x01 000003be: PUSH1 0x01 000003c0: PUSH1 0xa0 000003c2: SHL 000003c3: SUB 000003c4: AND 000003c5: PUSH2 0x08e9 000003c8: JUMP 000003c9: JUMPDEST 000003ca: CALLVALUE 000003cb: DUP1 000003cc: ISZERO 000003cd: PUSH2 0x03d5 000003d0: JUMPI 000003d1: PUSH1 0x00 000003d3: DUP1 000003d4: REVERT 000003d5: JUMPDEST 000003d6: POP 000003d7: PUSH2 0x024b 000003da: PUSH1 0x04 000003dc: DUP1 000003dd: CALLDATASIZE 000003de: SUB 000003df: PUSH1 0x40 000003e1: DUP2 000003e2: LT 000003e3: ISZERO 000003e4: PUSH2 0x03ec 000003e7: JUMPI 000003e8: PUSH1 0x00 000003ea: DUP1 000003eb: REVERT 000003ec: JUMPDEST 000003ed: POP 000003ee: PUSH1 0x01 000003f0: PUSH1 0x01 000003f2: PUSH1 0xa0 000003f4: SHL 000003f5: SUB 000003f6: DUP2 000003f7: CALLDATALOAD 000003f8: AND 000003f9: SWAP1 000003fa: PUSH1 0x20 000003fc: ADD 000003fd: CALLDATALOAD 000003fe: PUSH2 0x0992 00000401: JUMP 00000402: JUMPDEST 00000403: CALLVALUE 00000404: DUP1 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: POP 00000410: PUSH2 0x019e 00000413: PUSH1 0x04 00000415: DUP1 00000416: CALLDATASIZE 00000417: SUB 00000418: PUSH1 0x40 0000041a: DUP2 0000041b: LT 0000041c: ISZERO 0000041d: PUSH2 0x0425 00000420: JUMPI 00000421: PUSH1 0x00 00000423: DUP1 00000424: REVERT 00000425: JUMPDEST 00000426: POP 00000427: DUP1 00000428: CALLDATALOAD 00000429: SWAP1 0000042a: PUSH1 0x20 0000042c: ADD 0000042d: CALLDATALOAD 0000042e: PUSH2 0x0a16 00000431: JUMP 00000432: JUMPDEST 00000433: CALLVALUE 00000434: DUP1 00000435: ISZERO 00000436: PUSH2 0x043e 00000439: JUMPI 0000043a: PUSH1 0x00 0000043c: DUP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: POP 00000440: PUSH2 0x02d3 00000443: PUSH2 0x0b5e 00000446: JUMP 00000447: JUMPDEST 00000448: CALLVALUE 00000449: DUP1 0000044a: ISZERO 0000044b: PUSH2 0x0453 0000044e: JUMPI 0000044f: PUSH1 0x00 00000451: DUP1 00000452: REVERT 00000453: JUMPDEST 00000454: POP 00000455: PUSH2 0x019e 00000458: PUSH1 0x04 0000045a: DUP1 0000045b: CALLDATASIZE 0000045c: SUB 0000045d: PUSH1 0x20 0000045f: DUP2 00000460: LT 00000461: ISZERO 00000462: PUSH2 0x046a 00000465: JUMPI 00000466: PUSH1 0x00 00000468: DUP1 00000469: REVERT 0000046a: JUMPDEST 0000046b: POP 0000046c: CALLDATALOAD 0000046d: PUSH1 0x01 0000046f: PUSH1 0x01 00000471: PUSH1 0xa0 00000473: SHL 00000474: SUB 00000475: AND 00000476: PUSH2 0x0b64 00000479: JUMP 0000047a: JUMPDEST 0000047b: CALLVALUE 0000047c: DUP1 0000047d: ISZERO 0000047e: PUSH2 0x0486 00000481: JUMPI 00000482: PUSH1 0x00 00000484: DUP1 00000485: REVERT 00000486: JUMPDEST 00000487: POP 00000488: PUSH2 0x037a 0000048b: PUSH2 0x0d2b 0000048e: JUMP 0000048f: JUMPDEST 00000490: CALLVALUE 00000491: DUP1 00000492: ISZERO 00000493: PUSH2 0x049b 00000496: JUMPI 00000497: PUSH1 0x00 00000499: DUP1 0000049a: REVERT 0000049b: JUMPDEST 0000049c: POP 0000049d: PUSH2 0x019e 000004a0: PUSH1 0x04 000004a2: DUP1 000004a3: CALLDATASIZE 000004a4: SUB 000004a5: PUSH1 0x80 000004a7: DUP2 000004a8: LT 000004a9: ISZERO 000004aa: PUSH2 0x04b2 000004ad: JUMPI 000004ae: PUSH1 0x00 000004b0: DUP1 000004b1: REVERT 000004b2: JUMPDEST 000004b3: PUSH1 0x01 000004b5: PUSH1 0x01 000004b7: PUSH1 0xa0 000004b9: SHL 000004ba: SUB 000004bb: DUP3 000004bc: CALLDATALOAD 000004bd: DUP2 000004be: AND 000004bf: SWAP3 000004c0: PUSH1 0x20 000004c2: DUP2 000004c3: ADD 000004c4: CALLDATALOAD 000004c5: SWAP1 000004c6: SWAP2 000004c7: AND 000004c8: SWAP2 000004c9: DUP2 000004ca: ADD 000004cb: SWAP1 000004cc: PUSH1 0x60 000004ce: DUP2 000004cf: ADD 000004d0: PUSH1 0x40 000004d2: DUP3 000004d3: ADD 000004d4: CALLDATALOAD 000004d5: PUSH5 0x0100000000 000004db: DUP2 000004dc: GT 000004dd: ISZERO 000004de: PUSH2 0x04e6 000004e1: JUMPI 000004e2: PUSH1 0x00 000004e4: DUP1 000004e5: REVERT 000004e6: JUMPDEST 000004e7: DUP3 000004e8: ADD 000004e9: DUP4 000004ea: PUSH1 0x20 000004ec: DUP3 000004ed: ADD 000004ee: GT 000004ef: ISZERO 000004f0: PUSH2 0x04f8 000004f3: JUMPI 000004f4: PUSH1 0x00 000004f6: DUP1 000004f7: REVERT 000004f8: JUMPDEST 000004f9: DUP1 000004fa: CALLDATALOAD 000004fb: SWAP1 000004fc: PUSH1 0x20 000004fe: ADD 000004ff: SWAP2 00000500: DUP5 00000501: PUSH1 0x01 00000503: DUP4 00000504: MUL 00000505: DUP5 00000506: ADD 00000507: GT 00000508: PUSH5 0x0100000000 0000050e: DUP4 0000050f: GT 00000510: OR 00000511: ISZERO 00000512: PUSH2 0x051a 00000515: JUMPI 00000516: PUSH1 0x00 00000518: DUP1 00000519: REVERT 0000051a: JUMPDEST 0000051b: SWAP2 0000051c: SWAP4 0000051d: POP 0000051e: SWAP2 0000051f: POP 00000520: CALLDATALOAD 00000521: PUSH2 0x0d3a 00000524: JUMP 00000525: JUMPDEST 00000526: PUSH1 0x00 00000528: SLOAD 00000529: PUSH1 0x01 0000052b: PUSH1 0x01 0000052d: PUSH1 0xa0 0000052f: SHL 00000530: SUB 00000531: AND 00000532: CALLER 00000533: EQ 00000534: PUSH2 0x0572 00000537: JUMPI 00000538: PUSH1 0x40 0000053a: DUP1 0000053b: MLOAD 0000053c: PUSH3 0x461bcd 00000540: PUSH1 0xe5 00000542: SHL 00000543: DUP2 00000544: MSTORE 00000545: PUSH1 0x20 00000547: PUSH1 0x04 00000549: DUP3 0000054a: ADD 0000054b: MSTORE 0000054c: PUSH1 0x1c 0000054e: PUSH1 0x24 00000550: DUP3 00000551: ADD 00000552: MSTORE 00000553: PUSH1 0x00 00000555: DUP1 00000556: MLOAD 00000557: PUSH1 0x20 00000559: PUSH2 0x0e27 0000055c: DUP4 0000055d: CODECOPY 0000055e: DUP2 0000055f: MLOAD 00000560: SWAP2 00000561: MSTORE 00000562: PUSH1 0x44 00000564: DUP3 00000565: ADD 00000566: MSTORE 00000567: SWAP1 00000568: MLOAD 00000569: SWAP1 0000056a: DUP2 0000056b: SWAP1 0000056c: SUB 0000056d: PUSH1 0x64 0000056f: ADD 00000570: SWAP1 00000571: REVERT 00000572: JUMPDEST 00000573: PUSH1 0x01 00000575: SLOAD 00000576: PUSH1 0x40 00000578: MLOAD 00000579: PUSH4 0xa80e7acb 0000057e: PUSH1 0xe0 00000580: SHL 00000581: DUP2 00000582: MSTORE 00000583: ADDRESS 00000584: PUSH1 0x04 00000586: DUP3 00000587: ADD 00000588: DUP2 00000589: DUP2 0000058a: MSTORE 0000058b: PUSH1 0x01 0000058d: PUSH1 0x01 0000058f: PUSH1 0xa0 00000591: SHL 00000592: SUB 00000593: DUP10 00000594: DUP2 00000595: AND 00000596: PUSH1 0x24 00000598: DUP6 00000599: ADD 0000059a: MSTORE 0000059b: DUP9 0000059c: DUP2 0000059d: AND 0000059e: PUSH1 0x44 000005a0: DUP6 000005a1: ADD 000005a2: MSTORE 000005a3: PUSH1 0x84 000005a5: DUP5 000005a6: ADD 000005a7: DUP7 000005a8: SWAP1 000005a9: MSTORE 000005aa: PUSH1 0xa0 000005ac: PUSH1 0x64 000005ae: DUP6 000005af: ADD 000005b0: SWAP1 000005b1: DUP2 000005b2: MSTORE 000005b3: PUSH1 0xa4 000005b5: DUP6 000005b6: ADD 000005b7: DUP9 000005b8: SWAP1 000005b9: MSTORE 000005ba: SWAP5 000005bb: AND 000005bc: SWAP4 000005bd: PUSH4 0xa80e7acb 000005c2: SWAP4 000005c3: DUP11 000005c4: SWAP3 000005c5: DUP11 000005c6: SWAP3 000005c7: DUP11 000005c8: SWAP3 000005c9: DUP11 000005ca: SWAP3 000005cb: DUP11 000005cc: SWAP3 000005cd: SWAP1 000005ce: SWAP2 000005cf: PUSH1 0xc4 000005d1: ADD 000005d2: DUP6 000005d3: DUP6 000005d4: DUP1 000005d5: DUP3 000005d6: DUP5 000005d7: CALLDATACOPY 000005d8: PUSH1 0x00 000005da: DUP2 000005db: DUP5 000005dc: ADD 000005dd: MSTORE 000005de: PUSH1 0x1f 000005e0: NOT 000005e1: PUSH1 0x1f 000005e3: DUP3 000005e4: ADD 000005e5: AND 000005e6: SWAP1 000005e7: POP 000005e8: DUP1 000005e9: DUP4 000005ea: ADD 000005eb: SWAP3 000005ec: POP 000005ed: POP 000005ee: POP 000005ef: SWAP8 000005f0: POP 000005f1: POP 000005f2: POP 000005f3: POP 000005f4: POP 000005f5: POP 000005f6: POP 000005f7: POP 000005f8: PUSH1 0x00 000005fa: PUSH1 0x40 000005fc: MLOAD 000005fd: DUP1 000005fe: DUP4 000005ff: SUB 00000600: DUP2 00000601: PUSH1 0x00 00000603: DUP8 00000604: DUP1 00000605: EXTCODESIZE 00000606: ISZERO 00000607: DUP1 00000608: ISZERO 00000609: PUSH2 0x0611 0000060c: JUMPI 0000060d: PUSH1 0x00 0000060f: DUP1 00000610: REVERT 00000611: JUMPDEST 00000612: POP 00000613: GAS 00000614: CALL 00000615: ISZERO 00000616: DUP1 00000617: ISZERO 00000618: PUSH2 0x0625 0000061b: JUMPI 0000061c: RETURNDATASIZE 0000061d: PUSH1 0x00 0000061f: DUP1 00000620: RETURNDATACOPY 00000621: RETURNDATASIZE 00000622: PUSH1 0x00 00000624: REVERT 00000625: JUMPDEST 00000626: POP 00000627: POP 00000628: POP 00000629: POP 0000062a: POP 0000062b: POP 0000062c: POP 0000062d: POP 0000062e: POP 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH1 0x00 00000633: SLOAD 00000634: PUSH1 0x01 00000636: PUSH1 0xa0 00000638: SHL 00000639: SWAP1 0000063a: DIV 0000063b: PUSH1 0xff 0000063d: AND 0000063e: DUP2 0000063f: JUMP 00000640: JUMPDEST 00000641: PUSH1 0x00 00000643: SLOAD 00000644: PUSH1 0x01 00000646: PUSH1 0x01 00000648: PUSH1 0xa0 0000064a: SHL 0000064b: SUB 0000064c: AND 0000064d: CALLER 0000064e: EQ 0000064f: PUSH2 0x068d 00000652: JUMPI 00000653: PUSH1 0x40 00000655: DUP1 00000656: MLOAD 00000657: PUSH3 0x461bcd 0000065b: PUSH1 0xe5 0000065d: SHL 0000065e: DUP2 0000065f: MSTORE 00000660: PUSH1 0x20 00000662: PUSH1 0x04 00000664: DUP3 00000665: ADD 00000666: MSTORE 00000667: PUSH1 0x1c 00000669: PUSH1 0x24 0000066b: DUP3 0000066c: ADD 0000066d: MSTORE 0000066e: PUSH1 0x00 00000670: DUP1 00000671: MLOAD 00000672: PUSH1 0x20 00000674: PUSH2 0x0e27 00000677: DUP4 00000678: CODECOPY 00000679: DUP2 0000067a: MLOAD 0000067b: SWAP2 0000067c: MSTORE 0000067d: PUSH1 0x44 0000067f: DUP3 00000680: ADD 00000681: MSTORE 00000682: SWAP1 00000683: MLOAD 00000684: SWAP1 00000685: DUP2 00000686: SWAP1 00000687: SUB 00000688: PUSH1 0x64 0000068a: ADD 0000068b: SWAP1 0000068c: REVERT 0000068d: JUMPDEST 0000068e: PUSH1 0x00 00000690: PUSH1 0x14 00000692: SWAP1 00000693: SLOAD 00000694: SWAP1 00000695: PUSH2 0x0100 00000698: EXP 00000699: SWAP1 0000069a: DIV 0000069b: PUSH1 0xff 0000069d: AND 0000069e: ISZERO 0000069f: ISZERO 000006a0: DUP2 000006a1: ISZERO 000006a2: ISZERO 000006a3: EQ 000006a4: ISZERO 000006a5: PUSH2 0x06ad 000006a8: JUMPI 000006a9: PUSH2 0x06fe 000006ac: JUMP 000006ad: JUMPDEST 000006ae: PUSH1 0x00 000006b0: DUP1 000006b1: SLOAD 000006b2: DUP3 000006b3: ISZERO 000006b4: ISZERO 000006b5: PUSH1 0x01 000006b7: PUSH1 0xa0 000006b9: SHL 000006ba: DUP2 000006bb: MUL 000006bc: PUSH1 0xff 000006be: PUSH1 0xa0 000006c0: SHL 000006c1: NOT 000006c2: SWAP1 000006c3: SWAP3 000006c4: AND 000006c5: SWAP2 000006c6: SWAP1 000006c7: SWAP2 000006c8: OR 000006c9: SWAP1 000006ca: SWAP2 000006cb: SSTORE 000006cc: PUSH1 0x40 000006ce: DUP1 000006cf: MLOAD 000006d0: SWAP2 000006d1: DUP3 000006d2: MSTORE 000006d3: MLOAD 000006d4: PUSH32 0x93eaa614ad05cba2561ada88d825206f767e87209f81f491c9b6091abeb5f857 000006f5: SWAP2 000006f6: DUP2 000006f7: SWAP1 000006f8: SUB 000006f9: PUSH1 0x20 000006fb: ADD 000006fc: SWAP1 000006fd: LOG1 000006fe: JUMPDEST 000006ff: POP 00000700: JUMP 00000701: JUMPDEST 00000702: PUSH1 0x00 00000704: DUP1 00000705: SLOAD 00000706: PUSH1 0x01 00000708: PUSH1 0x01 0000070a: PUSH1 0xa0 0000070c: SHL 0000070d: SUB 0000070e: AND 0000070f: CALLER 00000710: EQ 00000711: PUSH2 0x074f 00000714: JUMPI 00000715: PUSH1 0x40 00000717: DUP1 00000718: MLOAD 00000719: PUSH3 0x461bcd 0000071d: PUSH1 0xe5 0000071f: SHL 00000720: DUP2 00000721: MSTORE 00000722: PUSH1 0x20 00000724: PUSH1 0x04 00000726: DUP3 00000727: ADD 00000728: MSTORE 00000729: PUSH1 0x1c 0000072b: PUSH1 0x24 0000072d: DUP3 0000072e: ADD 0000072f: MSTORE 00000730: PUSH1 0x00 00000732: DUP1 00000733: MLOAD 00000734: PUSH1 0x20 00000736: PUSH2 0x0e27 00000739: DUP4 0000073a: CODECOPY 0000073b: DUP2 0000073c: MLOAD 0000073d: SWAP2 0000073e: MSTORE 0000073f: PUSH1 0x44 00000741: DUP3 00000742: ADD 00000743: MSTORE 00000744: SWAP1 00000745: MLOAD 00000746: SWAP1 00000747: DUP2 00000748: SWAP1 00000749: SUB 0000074a: PUSH1 0x64 0000074c: ADD 0000074d: SWAP1 0000074e: REVERT 0000074f: JUMPDEST 00000750: PUSH2 0x0760 00000753: DUP3 00000754: PUSH2 0x075b 00000757: PUSH2 0x0772 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH2 0x0992 0000075f: JUMP 00000760: JUMPDEST 00000761: SWAP3 00000762: SWAP2 00000763: POP 00000764: POP 00000765: JUMP 00000766: JUMPDEST 00000767: PUSH1 0x02 00000769: SLOAD 0000076a: DUP2 0000076b: JUMP 0000076c: JUMPDEST 0000076d: PUSH1 0x04 0000076f: SLOAD 00000770: DUP2 00000771: JUMP 00000772: JUMPDEST 00000773: ADDRESS 00000774: BALANCE 00000775: SWAP1 00000776: JUMP 00000777: JUMPDEST 00000778: PUSH1 0x00 0000077a: DUP1 0000077b: SLOAD 0000077c: PUSH1 0x01 0000077e: PUSH1 0xa0 00000780: SHL 00000781: SWAP1 00000782: DIV 00000783: PUSH1 0xff 00000785: AND 00000786: PUSH2 0x07d6 00000789: JUMPI 0000078a: PUSH1 0x40 0000078c: DUP1 0000078d: MLOAD 0000078e: PUSH3 0x461bcd 00000792: PUSH1 0xe5 00000794: SHL 00000795: DUP2 00000796: MSTORE 00000797: PUSH1 0x20 00000799: PUSH1 0x04 0000079b: DUP3 0000079c: ADD 0000079d: MSTORE 0000079e: PUSH1 0x13 000007a0: PUSH1 0x24 000007a2: DUP3 000007a3: ADD 000007a4: MSTORE 000007a5: PUSH32 0x636f6e74726163742069732073746f7070656400000000000000000000000000 000007c6: PUSH1 0x44 000007c8: DUP3 000007c9: ADD 000007ca: MSTORE 000007cb: SWAP1 000007cc: MLOAD 000007cd: SWAP1 000007ce: DUP2 000007cf: SWAP1 000007d0: SUB 000007d1: PUSH1 0x64 000007d3: ADD 000007d4: SWAP1 000007d5: REVERT 000007d6: JUMPDEST 000007d7: PUSH1 0x01 000007d9: SLOAD 000007da: PUSH1 0x01 000007dc: PUSH1 0x01 000007de: PUSH1 0xa0 000007e0: SHL 000007e1: SUB 000007e2: AND 000007e3: CALLER 000007e4: EQ 000007e5: PUSH2 0x081f 000007e8: JUMPI 000007e9: PUSH1 0x40 000007eb: MLOAD 000007ec: PUSH3 0x461bcd 000007f0: PUSH1 0xe5 000007f2: SHL 000007f3: DUP2 000007f4: MSTORE 000007f5: PUSH1 0x04 000007f7: ADD 000007f8: DUP1 000007f9: DUP1 000007fa: PUSH1 0x20 000007fc: ADD 000007fd: DUP3 000007fe: DUP2 000007ff: SUB 00000800: DUP3 00000801: MSTORE 00000802: PUSH1 0x25 00000804: DUP2 00000805: MSTORE 00000806: PUSH1 0x20 00000808: ADD 00000809: DUP1 0000080a: PUSH2 0x0e47 0000080d: PUSH1 0x25 0000080f: SWAP2 00000810: CODECOPY 00000811: PUSH1 0x40 00000813: ADD 00000814: SWAP2 00000815: POP 00000816: POP 00000817: PUSH1 0x40 00000819: MLOAD 0000081a: DUP1 0000081b: SWAP2 0000081c: SUB 0000081d: SWAP1 0000081e: REVERT 0000081f: JUMPDEST 00000820: DUP2 00000821: PUSH1 0x02 00000823: SLOAD 00000824: DUP2 00000825: LT 00000826: ISZERO 00000827: DUP1 00000828: ISZERO 00000829: PUSH2 0x0834 0000082c: JUMPI 0000082d: POP 0000082e: PUSH1 0x03 00000830: SLOAD 00000831: DUP2 00000832: GT 00000833: ISZERO 00000834: JUMPDEST 00000835: PUSH2 0x0885 00000838: JUMPI 00000839: PUSH1 0x40 0000083b: DUP1 0000083c: MLOAD 0000083d: PUSH3 0x461bcd 00000841: PUSH1 0xe5 00000843: SHL 00000844: DUP2 00000845: MSTORE 00000846: PUSH1 0x20 00000848: PUSH1 0x04 0000084a: DUP3 0000084b: ADD 0000084c: MSTORE 0000084d: PUSH1 0x1a 0000084f: PUSH1 0x24 00000851: DUP3 00000852: ADD 00000853: MSTORE 00000854: PUSH32 0x616d6f756e74206f7574736964652073776170206c696d697473000000000000 00000875: PUSH1 0x44 00000877: DUP3 00000878: ADD 00000879: MSTORE 0000087a: SWAP1 0000087b: MLOAD 0000087c: SWAP1 0000087d: DUP2 0000087e: SWAP1 0000087f: SUB 00000880: PUSH1 0x64 00000882: ADD 00000883: SWAP1 00000884: REVERT 00000885: JUMPDEST 00000886: PUSH1 0x01 00000888: SLOAD 00000889: PUSH1 0x40 0000088b: MLOAD 0000088c: PUSH1 0x01 0000088e: PUSH1 0x01 00000890: PUSH1 0xa0 00000892: SHL 00000893: SUB 00000894: SWAP1 00000895: SWAP2 00000896: AND 00000897: SWAP1 00000898: DUP5 00000899: ISZERO 0000089a: PUSH2 0x08fc 0000089d: MUL 0000089e: SWAP1 0000089f: DUP6 000008a0: SWAP1 000008a1: PUSH1 0x00 000008a3: DUP2 000008a4: DUP2 000008a5: DUP2 000008a6: DUP6 000008a7: DUP9 000008a8: DUP9 000008a9: CALL 000008aa: SWAP4 000008ab: POP 000008ac: POP 000008ad: POP 000008ae: POP 000008af: ISZERO 000008b0: DUP1 000008b1: ISZERO 000008b2: PUSH2 0x08bf 000008b5: JUMPI 000008b6: RETURNDATASIZE 000008b7: PUSH1 0x00 000008b9: DUP1 000008ba: RETURNDATACOPY 000008bb: RETURNDATASIZE 000008bc: PUSH1 0x00 000008be: REVERT 000008bf: JUMPDEST 000008c0: POP 000008c1: PUSH1 0x01 000008c3: SWAP4 000008c4: SWAP3 000008c5: POP 000008c6: POP 000008c7: POP 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH1 0x00 000008cc: SLOAD 000008cd: PUSH1 0x01 000008cf: PUSH1 0xb8 000008d1: SHL 000008d2: SWAP1 000008d3: DIV 000008d4: PUSH2 0xffff 000008d7: AND 000008d8: DUP2 000008d9: JUMP 000008da: JUMPDEST 000008db: PUSH1 0x00 000008dd: SLOAD 000008de: PUSH1 0x01 000008e0: PUSH1 0x01 000008e2: PUSH1 0xa0 000008e4: SHL 000008e5: SUB 000008e6: AND 000008e7: DUP2 000008e8: JUMP 000008e9: JUMPDEST 000008ea: PUSH1 0x00 000008ec: SLOAD 000008ed: PUSH1 0x01 000008ef: PUSH1 0x01 000008f1: PUSH1 0xa0 000008f3: SHL 000008f4: SUB 000008f5: AND 000008f6: CALLER 000008f7: EQ 000008f8: PUSH2 0x0936 000008fb: JUMPI 000008fc: PUSH1 0x40 000008fe: DUP1 000008ff: MLOAD 00000900: PUSH3 0x461bcd 00000904: PUSH1 0xe5 00000906: SHL 00000907: DUP2 00000908: MSTORE 00000909: PUSH1 0x20 0000090b: PUSH1 0x04 0000090d: DUP3 0000090e: ADD 0000090f: MSTORE 00000910: PUSH1 0x1c 00000912: PUSH1 0x24 00000914: DUP3 00000915: ADD 00000916: MSTORE 00000917: PUSH1 0x00 00000919: DUP1 0000091a: MLOAD 0000091b: PUSH1 0x20 0000091d: PUSH2 0x0e27 00000920: DUP4 00000921: CODECOPY 00000922: DUP2 00000923: MLOAD 00000924: SWAP2 00000925: MSTORE 00000926: PUSH1 0x44 00000928: DUP3 00000929: ADD 0000092a: MSTORE 0000092b: SWAP1 0000092c: MLOAD 0000092d: SWAP1 0000092e: DUP2 0000092f: SWAP1 00000930: SUB 00000931: PUSH1 0x64 00000933: ADD 00000934: SWAP1 00000935: REVERT 00000936: JUMPDEST 00000937: PUSH1 0x00 00000939: DUP1 0000093a: SLOAD 0000093b: PUSH1 0x01 0000093d: PUSH1 0x01 0000093f: PUSH1 0xa0 00000941: SHL 00000942: SUB 00000943: NOT 00000944: AND 00000945: PUSH1 0x01 00000947: PUSH1 0x01 00000949: PUSH1 0xa0 0000094b: SHL 0000094c: SUB 0000094d: DUP4 0000094e: AND 0000094f: SWAP1 00000950: DUP2 00000951: OR 00000952: SWAP1 00000953: SWAP2 00000954: SSTORE 00000955: PUSH1 0x40 00000957: DUP1 00000958: MLOAD 00000959: CALLER 0000095a: DUP2 0000095b: MSTORE 0000095c: PUSH1 0x20 0000095e: DUP2 0000095f: ADD 00000960: SWAP3 00000961: SWAP1 00000962: SWAP3 00000963: MSTORE 00000964: DUP1 00000965: MLOAD 00000966: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c 00000987: SWAP3 00000988: DUP2 00000989: SWAP1 0000098a: SUB 0000098b: SWAP1 0000098c: SWAP2 0000098d: ADD 0000098e: SWAP1 0000098f: LOG1 00000990: POP 00000991: JUMP 00000992: JUMPDEST 00000993: PUSH1 0x00 00000995: DUP1 00000996: SLOAD 00000997: PUSH1 0x01 00000999: PUSH1 0x01 0000099b: PUSH1 0xa0 0000099d: SHL 0000099e: SUB 0000099f: AND 000009a0: CALLER 000009a1: EQ 000009a2: PUSH2 0x09e0 000009a5: JUMPI 000009a6: PUSH1 0x40 000009a8: DUP1 000009a9: MLOAD 000009aa: PUSH3 0x461bcd 000009ae: PUSH1 0xe5 000009b0: SHL 000009b1: DUP2 000009b2: MSTORE 000009b3: PUSH1 0x20 000009b5: PUSH1 0x04 000009b7: DUP3 000009b8: ADD 000009b9: MSTORE 000009ba: PUSH1 0x1c 000009bc: PUSH1 0x24 000009be: DUP3 000009bf: ADD 000009c0: MSTORE 000009c1: PUSH1 0x00 000009c3: DUP1 000009c4: MLOAD 000009c5: PUSH1 0x20 000009c7: PUSH2 0x0e27 000009ca: DUP4 000009cb: CODECOPY 000009cc: DUP2 000009cd: MLOAD 000009ce: SWAP2 000009cf: MSTORE 000009d0: PUSH1 0x44 000009d2: DUP3 000009d3: ADD 000009d4: MSTORE 000009d5: SWAP1 000009d6: MLOAD 000009d7: SWAP1 000009d8: DUP2 000009d9: SWAP1 000009da: SUB 000009db: PUSH1 0x64 000009dd: ADD 000009de: SWAP1 000009df: REVERT 000009e0: JUMPDEST 000009e1: PUSH1 0x40 000009e3: MLOAD 000009e4: PUSH1 0x01 000009e6: PUSH1 0x01 000009e8: PUSH1 0xa0 000009ea: SHL 000009eb: SUB 000009ec: DUP5 000009ed: AND 000009ee: SWAP1 000009ef: DUP4 000009f0: ISZERO 000009f1: PUSH2 0x08fc 000009f4: MUL 000009f5: SWAP1 000009f6: DUP5 000009f7: SWAP1 000009f8: PUSH1 0x00 000009fa: DUP2 000009fb: DUP2 000009fc: DUP2 000009fd: DUP6 000009fe: DUP9 000009ff: DUP9 00000a00: CALL 00000a01: SWAP4 00000a02: POP 00000a03: POP 00000a04: POP 00000a05: POP 00000a06: ISZERO 00000a07: DUP1 00000a08: ISZERO 00000a09: PUSH2 0x08bf 00000a0c: JUMPI 00000a0d: RETURNDATASIZE 00000a0e: PUSH1 0x00 00000a10: DUP1 00000a11: RETURNDATACOPY 00000a12: RETURNDATASIZE 00000a13: PUSH1 0x00 00000a15: REVERT 00000a16: JUMPDEST 00000a17: PUSH1 0x00 00000a19: SLOAD 00000a1a: PUSH1 0x01 00000a1c: PUSH1 0x01 00000a1e: PUSH1 0xa0 00000a20: SHL 00000a21: SUB 00000a22: AND 00000a23: CALLER 00000a24: EQ 00000a25: PUSH2 0x0a63 00000a28: JUMPI 00000a29: PUSH1 0x40 00000a2b: DUP1 00000a2c: MLOAD 00000a2d: PUSH3 0x461bcd 00000a31: PUSH1 0xe5 00000a33: SHL 00000a34: DUP2 00000a35: MSTORE 00000a36: PUSH1 0x20 00000a38: PUSH1 0x04 00000a3a: DUP3 00000a3b: ADD 00000a3c: MSTORE 00000a3d: PUSH1 0x1c 00000a3f: PUSH1 0x24 00000a41: DUP3 00000a42: ADD 00000a43: MSTORE 00000a44: PUSH1 0x00 00000a46: DUP1 00000a47: MLOAD 00000a48: PUSH1 0x20 00000a4a: PUSH2 0x0e27 00000a4d: DUP4 00000a4e: CODECOPY 00000a4f: DUP2 00000a50: MLOAD 00000a51: SWAP2 00000a52: MSTORE 00000a53: PUSH1 0x44 00000a55: DUP3 00000a56: ADD 00000a57: MSTORE 00000a58: SWAP1 00000a59: MLOAD 00000a5a: SWAP1 00000a5b: DUP2 00000a5c: SWAP1 00000a5d: SUB 00000a5e: PUSH1 0x64 00000a60: ADD 00000a61: SWAP1 00000a62: REVERT 00000a63: JUMPDEST 00000a64: DUP2 00000a65: DUP2 00000a66: DUP1 00000a67: DUP3 00000a68: GT 00000a69: ISZERO 00000a6a: PUSH2 0x0aba 00000a6d: JUMPI 00000a6e: PUSH1 0x40 00000a70: DUP1 00000a71: MLOAD 00000a72: PUSH3 0x461bcd 00000a76: PUSH1 0xe5 00000a78: SHL 00000a79: DUP2 00000a7a: MSTORE 00000a7b: PUSH1 0x20 00000a7d: PUSH1 0x04 00000a7f: DUP3 00000a80: ADD 00000a81: MSTORE 00000a82: PUSH1 0x18 00000a84: PUSH1 0x24 00000a86: DUP3 00000a87: ADD 00000a88: MSTORE 00000a89: PUSH32 0x6d696e206c696d6974206f766572206d6178206c696d69740000000000000000 00000aaa: PUSH1 0x44 00000aac: DUP3 00000aad: ADD 00000aae: MSTORE 00000aaf: SWAP1 00000ab0: MLOAD 00000ab1: SWAP1 00000ab2: DUP2 00000ab3: SWAP1 00000ab4: SUB 00000ab5: PUSH1 0x64 00000ab7: ADD 00000ab8: SWAP1 00000ab9: REVERT 00000aba: JUMPDEST 00000abb: PUSH1 0x01 00000abd: PUSH1 0xf0 00000abf: SHL 00000ac0: DUP2 00000ac1: GT 00000ac2: ISZERO 00000ac3: PUSH2 0x0b13 00000ac6: JUMPI 00000ac7: PUSH1 0x40 00000ac9: DUP1 00000aca: MLOAD 00000acb: PUSH3 0x461bcd 00000acf: PUSH1 0xe5 00000ad1: SHL 00000ad2: DUP2 00000ad3: MSTORE 00000ad4: PUSH1 0x20 00000ad6: PUSH1 0x04 00000ad8: DUP3 00000ad9: ADD 00000ada: MSTORE 00000adb: PUSH1 0x12 00000add: PUSH1 0x24 00000adf: DUP3 00000ae0: ADD 00000ae1: MSTORE 00000ae2: PUSH32 0x6d6178416d6f756e7420746f6f20686967680000000000000000000000000000 00000b03: PUSH1 0x44 00000b05: DUP3 00000b06: ADD 00000b07: MSTORE 00000b08: SWAP1 00000b09: MLOAD 00000b0a: SWAP1 00000b0b: DUP2 00000b0c: SWAP1 00000b0d: SUB 00000b0e: PUSH1 0x64 00000b10: ADD 00000b11: SWAP1 00000b12: REVERT 00000b13: JUMPDEST 00000b14: PUSH1 0x02 00000b16: DUP5 00000b17: SWAP1 00000b18: SSTORE 00000b19: PUSH1 0x03 00000b1b: DUP4 00000b1c: SWAP1 00000b1d: SSTORE 00000b1e: PUSH1 0x40 00000b20: DUP1 00000b21: MLOAD 00000b22: DUP6 00000b23: DUP2 00000b24: MSTORE 00000b25: PUSH1 0x20 00000b27: DUP2 00000b28: ADD 00000b29: DUP6 00000b2a: SWAP1 00000b2b: MSTORE 00000b2c: DUP2 00000b2d: MLOAD 00000b2e: PUSH32 0xab1a2e99a7a60d154f951a42eca140d755f93d41ccfca4b6f7d5e521b64bee86 00000b4f: SWAP3 00000b50: SWAP2 00000b51: DUP2 00000b52: SWAP1 00000b53: SUB 00000b54: SWAP1 00000b55: SWAP2 00000b56: ADD 00000b57: SWAP1 00000b58: LOG1 00000b59: POP 00000b5a: POP 00000b5b: POP 00000b5c: POP 00000b5d: JUMP 00000b5e: JUMPDEST 00000b5f: PUSH1 0x03 00000b61: SLOAD 00000b62: DUP2 00000b63: JUMP 00000b64: JUMPDEST 00000b65: PUSH1 0x00 00000b67: SLOAD 00000b68: PUSH1 0x01 00000b6a: PUSH1 0x01 00000b6c: PUSH1 0xa0 00000b6e: SHL 00000b6f: SUB 00000b70: AND 00000b71: CALLER 00000b72: EQ 00000b73: PUSH2 0x0bb1 00000b76: JUMPI 00000b77: PUSH1 0x40 00000b79: DUP1 00000b7a: MLOAD 00000b7b: PUSH3 0x461bcd 00000b7f: PUSH1 0xe5 00000b81: SHL 00000b82: DUP2 00000b83: MSTORE 00000b84: PUSH1 0x20 00000b86: PUSH1 0x04 00000b88: DUP3 00000b89: ADD 00000b8a: MSTORE 00000b8b: PUSH1 0x1c 00000b8d: PUSH1 0x24 00000b8f: DUP3 00000b90: ADD 00000b91: MSTORE 00000b92: PUSH1 0x00 00000b94: DUP1 00000b95: MLOAD 00000b96: PUSH1 0x20 00000b98: PUSH2 0x0e27 00000b9b: DUP4 00000b9c: CODECOPY 00000b9d: DUP2 00000b9e: MLOAD 00000b9f: SWAP2 00000ba0: MSTORE 00000ba1: PUSH1 0x44 00000ba3: DUP3 00000ba4: ADD 00000ba5: MSTORE 00000ba6: SWAP1 00000ba7: MLOAD 00000ba8: SWAP1 00000ba9: DUP2 00000baa: SWAP1 00000bab: SUB 00000bac: PUSH1 0x64 00000bae: ADD 00000baf: SWAP1 00000bb0: REVERT 00000bb1: JUMPDEST 00000bb2: PUSH1 0x00 00000bb4: SLOAD 00000bb5: DUP2 00000bb6: SWAP1 00000bb7: PUSH1 0x01 00000bb9: PUSH1 0xb8 00000bbb: SHL 00000bbc: SWAP1 00000bbd: DIV 00000bbe: PUSH2 0xffff 00000bc1: AND 00000bc2: PUSH1 0x01 00000bc4: PUSH1 0x01 00000bc6: PUSH1 0xa0 00000bc8: SHL 00000bc9: SUB 00000bca: DUP3 00000bcb: AND 00000bcc: PUSH2 0x0c1c 00000bcf: JUMPI 00000bd0: PUSH1 0x40 00000bd2: DUP1 00000bd3: MLOAD 00000bd4: PUSH3 0x461bcd 00000bd8: PUSH1 0xe5 00000bda: SHL 00000bdb: DUP2 00000bdc: MSTORE 00000bdd: PUSH1 0x20 00000bdf: PUSH1 0x04 00000be1: DUP3 00000be2: ADD 00000be3: MSTORE 00000be4: PUSH1 0x1b 00000be6: PUSH1 0x24 00000be8: DUP3 00000be9: ADD 00000bea: MSTORE 00000beb: PUSH32 0x6e756c6c20737761707320636f6e747261637420616464726573730000000000 00000c0c: PUSH1 0x44 00000c0e: DUP3 00000c0f: ADD 00000c10: MSTORE 00000c11: SWAP1 00000c12: MLOAD 00000c13: SWAP1 00000c14: DUP2 00000c15: SWAP1 00000c16: SUB 00000c17: PUSH1 0x64 00000c19: ADD 00000c1a: SWAP1 00000c1b: REVERT 00000c1c: JUMPDEST 00000c1d: DUP1 00000c1e: PUSH2 0xffff 00000c21: AND 00000c22: DUP3 00000c23: PUSH1 0x01 00000c25: PUSH1 0x01 00000c27: PUSH1 0xa0 00000c29: SHL 00000c2a: SUB 00000c2b: AND 00000c2c: PUSH4 0x8815eb39 00000c31: PUSH1 0x40 00000c33: MLOAD 00000c34: DUP2 00000c35: PUSH4 0xffffffff 00000c3a: AND 00000c3b: PUSH1 0xe0 00000c3d: SHL 00000c3e: DUP2 00000c3f: MSTORE 00000c40: PUSH1 0x04 00000c42: ADD 00000c43: PUSH1 0x20 00000c45: PUSH1 0x40 00000c47: MLOAD 00000c48: DUP1 00000c49: DUP4 00000c4a: SUB 00000c4b: DUP2 00000c4c: DUP7 00000c4d: DUP1 00000c4e: EXTCODESIZE 00000c4f: ISZERO 00000c50: DUP1 00000c51: ISZERO 00000c52: PUSH2 0x0c5a 00000c55: JUMPI 00000c56: PUSH1 0x00 00000c58: DUP1 00000c59: REVERT 00000c5a: JUMPDEST 00000c5b: POP 00000c5c: GAS 00000c5d: STATICCALL 00000c5e: ISZERO 00000c5f: DUP1 00000c60: ISZERO 00000c61: PUSH2 0x0c6e 00000c64: JUMPI 00000c65: RETURNDATASIZE 00000c66: PUSH1 0x00 00000c68: DUP1 00000c69: RETURNDATACOPY 00000c6a: RETURNDATASIZE 00000c6b: PUSH1 0x00 00000c6d: REVERT 00000c6e: JUMPDEST 00000c6f: POP 00000c70: POP 00000c71: POP 00000c72: POP 00000c73: PUSH1 0x40 00000c75: MLOAD 00000c76: RETURNDATASIZE 00000c77: PUSH1 0x20 00000c79: DUP2 00000c7a: LT 00000c7b: ISZERO 00000c7c: PUSH2 0x0c84 00000c7f: JUMPI 00000c80: PUSH1 0x00 00000c82: DUP1 00000c83: REVERT 00000c84: JUMPDEST 00000c85: POP 00000c86: MLOAD 00000c87: PUSH2 0xffff 00000c8a: AND 00000c8b: EQ 00000c8c: PUSH2 0x0cc6 00000c8f: JUMPI 00000c90: PUSH1 0x40 00000c92: MLOAD 00000c93: PUSH3 0x461bcd 00000c97: PUSH1 0xe5 00000c99: SHL 00000c9a: DUP2 00000c9b: MSTORE 00000c9c: PUSH1 0x04 00000c9e: ADD 00000c9f: DUP1 00000ca0: DUP1 00000ca1: PUSH1 0x20 00000ca3: ADD 00000ca4: DUP3 00000ca5: DUP2 00000ca6: SUB 00000ca7: DUP3 00000ca8: MSTORE 00000ca9: PUSH1 0x2b 00000cab: DUP2 00000cac: MSTORE 00000cad: PUSH1 0x20 00000caf: ADD 00000cb0: DUP1 00000cb1: PUSH2 0x0e6c 00000cb4: PUSH1 0x2b 00000cb6: SWAP2 00000cb7: CODECOPY 00000cb8: PUSH1 0x40 00000cba: ADD 00000cbb: SWAP2 00000cbc: POP 00000cbd: POP 00000cbe: PUSH1 0x40 00000cc0: MLOAD 00000cc1: DUP1 00000cc2: SWAP2 00000cc3: SUB 00000cc4: SWAP1 00000cc5: REVERT 00000cc6: JUMPDEST 00000cc7: PUSH1 0x01 00000cc9: DUP1 00000cca: SLOAD 00000ccb: PUSH1 0x01 00000ccd: PUSH1 0x01 00000ccf: PUSH1 0xa0 00000cd1: SHL 00000cd2: SUB 00000cd3: DUP6 00000cd4: DUP2 00000cd5: AND 00000cd6: PUSH1 0x01 00000cd8: PUSH1 0x01 00000cda: PUSH1 0xa0 00000cdc: SHL 00000cdd: SUB 00000cde: NOT 00000cdf: DUP4 00000ce0: AND 00000ce1: DUP2 00000ce2: OR 00000ce3: SWAP1 00000ce4: SWAP4 00000ce5: SSTORE 00000ce6: PUSH1 0x40 00000ce8: DUP1 00000ce9: MLOAD 00000cea: SWAP2 00000ceb: SWAP1 00000cec: SWAP3 00000ced: AND 00000cee: DUP1 00000cef: DUP3 00000cf0: MSTORE 00000cf1: PUSH1 0x20 00000cf3: DUP3 00000cf4: ADD 00000cf5: SWAP4 00000cf6: SWAP1 00000cf7: SWAP4 00000cf8: MSTORE 00000cf9: DUP2 00000cfa: MLOAD 00000cfb: PUSH32 0x1da46151351b5d8e3ef8081319c4e364056c3fe3038a275a6b4638ab203b3f31 00000d1c: SWAP3 00000d1d: SWAP2 00000d1e: DUP2 00000d1f: SWAP1 00000d20: SUB 00000d21: SWAP1 00000d22: SWAP2 00000d23: ADD 00000d24: SWAP1 00000d25: LOG1 00000d26: POP 00000d27: POP 00000d28: POP 00000d29: POP 00000d2a: JUMP 00000d2b: JUMPDEST 00000d2c: PUSH1 0x01 00000d2e: SLOAD 00000d2f: PUSH1 0x01 00000d31: PUSH1 0x01 00000d33: PUSH1 0xa0 00000d35: SHL 00000d36: SUB 00000d37: AND 00000d38: DUP2 00000d39: JUMP 00000d3a: JUMPDEST 00000d3b: PUSH1 0x00 00000d3d: SLOAD 00000d3e: PUSH1 0x01 00000d40: PUSH1 0x01 00000d42: PUSH1 0xa0 00000d44: SHL 00000d45: SUB 00000d46: AND 00000d47: CALLER 00000d48: EQ 00000d49: PUSH2 0x0d87 00000d4c: JUMPI 00000d4d: PUSH1 0x40 00000d4f: DUP1 00000d50: MLOAD 00000d51: PUSH3 0x461bcd 00000d55: PUSH1 0xe5 00000d57: SHL 00000d58: DUP2 00000d59: MSTORE 00000d5a: PUSH1 0x20 00000d5c: PUSH1 0x04 00000d5e: DUP3 00000d5f: ADD 00000d60: MSTORE 00000d61: PUSH1 0x1c 00000d63: PUSH1 0x24 00000d65: DUP3 00000d66: ADD 00000d67: MSTORE 00000d68: PUSH1 0x00 00000d6a: DUP1 00000d6b: MLOAD 00000d6c: PUSH1 0x20 00000d6e: PUSH2 0x0e27 00000d71: DUP4 00000d72: CODECOPY 00000d73: DUP2 00000d74: MLOAD 00000d75: SWAP2 00000d76: MSTORE 00000d77: PUSH1 0x44 00000d79: DUP3 00000d7a: ADD 00000d7b: MSTORE 00000d7c: SWAP1 00000d7d: MLOAD 00000d7e: SWAP1 00000d7f: DUP2 00000d80: SWAP1 00000d81: SUB 00000d82: PUSH1 0x64 00000d84: ADD 00000d85: SWAP1 00000d86: REVERT 00000d87: JUMPDEST 00000d88: PUSH1 0x01 00000d8a: SLOAD 00000d8b: PUSH1 0x40 00000d8d: MLOAD 00000d8e: PUSH4 0x9a3c6e29 00000d93: PUSH1 0xe0 00000d95: SHL 00000d96: DUP2 00000d97: MSTORE 00000d98: ADDRESS 00000d99: PUSH1 0x04 00000d9b: DUP3 00000d9c: ADD 00000d9d: DUP2 00000d9e: DUP2 00000d9f: MSTORE 00000da0: PUSH1 0x01 00000da2: PUSH1 0x01 00000da4: PUSH1 0xa0 00000da6: SHL 00000da7: SUB 00000da8: DUP10 00000da9: DUP2 00000daa: AND 00000dab: PUSH1 0x24 00000dad: DUP6 00000dae: ADD 00000daf: MSTORE 00000db0: DUP9 00000db1: DUP2 00000db2: AND 00000db3: PUSH1 0x44 00000db5: DUP6 00000db6: ADD 00000db7: MSTORE 00000db8: PUSH1 0x84 00000dba: DUP5 00000dbb: ADD 00000dbc: DUP7 00000dbd: SWAP1 00000dbe: MSTORE 00000dbf: PUSH1 0xa0 00000dc1: PUSH1 0x64 00000dc3: DUP6 00000dc4: ADD 00000dc5: SWAP1 00000dc6: DUP2 00000dc7: MSTORE 00000dc8: PUSH1 0xa4 00000dca: DUP6 00000dcb: ADD 00000dcc: DUP9 00000dcd: SWAP1 00000dce: MSTORE 00000dcf: SWAP5 00000dd0: AND 00000dd1: SWAP4 00000dd2: PUSH4 0x9a3c6e29 00000dd7: SWAP4 00000dd8: DUP11 00000dd9: SWAP3 00000dda: DUP11 00000ddb: SWAP3 00000ddc: DUP11 00000ddd: SWAP3 00000dde: DUP11 00000ddf: SWAP3 00000de0: DUP11 00000de1: SWAP3 00000de2: SWAP1 00000de3: SWAP2 00000de4: PUSH1 0xc4 00000de6: ADD 00000de7: DUP6 00000de8: DUP6 00000de9: DUP1 00000dea: DUP3 00000deb: DUP5 00000dec: CALLDATACOPY 00000ded: PUSH1 0x00 00000def: DUP2 00000df0: DUP5 00000df1: ADD 00000df2: MSTORE 00000df3: PUSH1 0x1f 00000df5: NOT 00000df6: PUSH1 0x1f 00000df8: DUP3 00000df9: ADD 00000dfa: AND 00000dfb: SWAP1 00000dfc: POP 00000dfd: DUP1 00000dfe: DUP4 00000dff: ADD 00000e00: SWAP3 00000e01: POP 00000e02: POP 00000e03: POP 00000e04: SWAP8 00000e05: POP 00000e06: POP 00000e07: POP 00000e08: POP 00000e09: POP 00000e0a: POP 00000e0b: POP 00000e0c: POP 00000e0d: PUSH1 0x00 00000e0f: PUSH1 0x40 00000e11: MLOAD 00000e12: DUP1 00000e13: DUP4 00000e14: SUB 00000e15: DUP2 00000e16: PUSH1 0x00 00000e18: DUP8 00000e19: DUP1 00000e1a: EXTCODESIZE 00000e1b: ISZERO 00000e1c: DUP1 00000e1d: ISZERO 00000e1e: PUSH2 0x0611 00000e21: JUMPI 00000e22: PUSH1 0x00 00000e24: DUP1 00000e25: REVERT 00000e26: INVALID 00000e27: PUSH16 0x6e6c7920746865206f776e6572206361 00000e38: PUSH15 0x2063616c6c2074686973000000006f 00000e48: PUSH15 0x6c792074686520737761707320636f 00000e58: PUSH15 0x74726163742063616e2063616c6c20 00000e68: PUSH21 0x686973706f6f6c206173736574207479706520646f 00000e7e: PUSH6 0x736e2774206d 00000e85: PUSH2 0x7463 00000e88: PUSH9 0x207377617020636f6e 00000e92: PUSH21 0x72616374a265627a7a72305820c546a6654738fe57 00000ea8: PUSH22 0xdae9cde08db938fb7f1470f3de04e343398c3ba774b8 00000ebf: KECCAK256 00000ec0: PUSH5 0x736f6c6343 00000ec6: STOP 00000ec7: SDIV 00000ec8: EXP 00000ec9: STOP 00000eca: ORIGIN
| 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": "0xc4590d3f",
"selector": "0xc4590d3f",
"calldata_variants": [
"0xc4590d3f",
"0xc4590d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcce987d4",
"selector": "0xcce987d4",
"calldata_variants": [
"0xcce987d4",
"0xcce987d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd950f365",
"selector": "0xd950f365",
"calldata_variants": [
"0xd950f365",
"0xd950f3650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa5d5429",
"selector": "0xfa5d5429",
"calldata_variants": [
"0xfa5d5429",
"0xfa5d54290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdc5d522",
"selector": "0xfdc5d522",
"calldata_variants": [
"0xfdc5d522",
"0xfdc5d5220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8815eb39",
"selector": "0x8815eb39",
"calldata_variants": [
"0x8815eb39",
"0x8815eb390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3786,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x7e438c807355e9cb09f594ae17b56240233b886c5b7392e530b119852b14e7a7
call_targets:
0xaa1ac1c849df066704f76b190af24724f6fa247c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7e438c807355e9cb09f594ae17b56240233b886c5b7392e530b119852b14e7a7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaa1ac1c849df066704f76b190af24724f6fa247c"
],
"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": "0xc4590d3f",
"selector": "0xc4590d3f",
"calldata_variants": [
"0xc4590d3f",
"0xc4590d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcce987d4",
"selector": "0xcce987d4",
"calldata_variants": [
"0xcce987d4",
"0xcce987d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd950f365",
"selector": "0xd950f365",
"calldata_variants": [
"0xd950f365",
"0xd950f3650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa5d5429",
"selector": "0xfa5d5429",
"calldata_variants": [
"0xfa5d5429",
"0xfa5d54290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdc5d522",
"selector": "0xfdc5d522",
"calldata_variants": [
"0xfdc5d522",
"0xfdc5d5220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8815eb39",
"selector": "0x8815eb39",
"calldata_variants": [
"0x8815eb39",
"0x8815eb390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1556,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2217,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2560,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 3786,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x7e438c807355e9cb09f594ae17b56240233b886c5b7392e530b119852b14e7a7
call_targets:
0xaa1ac1c849df066704f76b190af24724f6fa247c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7e438c807355e9cb09f594ae17b56240233b886c5b7392e530b119852b14e7a7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaa1ac1c849df066704f76b190af24724f6fa247c"
],
"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": "0xc4590d3f",
"selector": "0xc4590d3f",
"calldata_variants": [
"0xc4590d3f",
"0xc4590d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcce987d4",
"selector": "0xcce987d4",
"calldata_variants": [
"0xcce987d4",
"0xcce987d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd950f365",
"selector": "0xd950f365",
"calldata_variants": [
"0xd950f365",
"0xd950f3650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa5d5429",
"selector": "0xfa5d5429",
"calldata_variants": [
"0xfa5d5429",
"0xfa5d54290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdc5d522",
"selector": "0xfdc5d522",
"calldata_variants": [
"0xfdc5d522",
"0xfdc5d5220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8815eb39",
"selector": "0x8815eb39",
"calldata_variants": [
"0x8815eb39",
"0x8815eb390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1556,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2217,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2560,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 3786,
"type": "tx_origin_used"
}
]
}
|