019b3844-8fa6-7352-bc54-9f08e40a2194
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 |
|---|---|---|---|---|
| 12473 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12474 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 99398 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 99399 | capability.graph | complete | 1 / 3 | 1 week ago |
| 99400 | detector.run | complete | 1 / 3 | 1 week ago |
| 99401 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0111 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 0x018e 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x095ea7b3 00000046: EQ 00000047: PUSH2 0x0218 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x18160ddd 00000051: EQ 00000052: PUSH2 0x0250 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x23b872dd 0000005c: EQ 0000005d: PUSH2 0x0277 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x30cc248e 00000067: EQ 00000068: PUSH2 0x02a1 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x313b7b19 00000072: EQ 00000073: PUSH2 0x02a9 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x313ce567 0000007d: EQ 0000007e: PUSH2 0x02da 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x3ccfd60b 00000088: EQ 00000089: PUSH2 0x0305 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x6b31ee01 00000093: EQ 00000094: PUSH2 0x031a 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x70a08231 0000009e: EQ 0000009f: PUSH2 0x032f 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x7e95385c 000000a9: EQ 000000aa: PUSH2 0x0350 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8da5cb5b 000000b4: EQ 000000b5: PUSH2 0x0371 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x9106d7ba 000000bf: EQ 000000c0: PUSH2 0x0386 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x95d89b41 000000ca: EQ 000000cb: PUSH2 0x039b 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x9b8d3064 000000d5: EQ 000000d6: PUSH2 0x03b0 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xa035b1fe 000000e0: EQ 000000e1: PUSH2 0x03d1 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xa9059cbb 000000eb: EQ 000000ec: PUSH2 0x03e6 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xc600e1dc 000000f6: EQ 000000f7: PUSH2 0x040a 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xd96a094a 00000101: EQ 00000102: PUSH2 0x042b 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xdd62ed3e 0000010c: EQ 0000010d: PUSH2 0x0436 00000110: JUMPI 00000111: JUMPDEST 00000112: PUSH1 0x00 00000114: CALLVALUE 00000115: GT 00000116: ISZERO 00000117: PUSH2 0x018c 0000011a: JUMPI 0000011b: PUSH2 0x0141 0000011e: PUSH1 0x09 00000120: SLOAD 00000121: PUSH2 0x0135 00000124: PUSH1 0x01 00000126: SLOAD 00000127: CALLVALUE 00000128: PUSH2 0x045d 0000012b: SWAP1 0000012c: SWAP2 0000012d: SWAP1 0000012e: PUSH4 0xffffffff 00000133: AND 00000134: JUMP 00000135: JUMPDEST 00000136: SWAP1 00000137: PUSH4 0xffffffff 0000013c: PUSH2 0x0479 0000013f: AND 00000140: JUMP 00000141: JUMPDEST 00000142: PUSH1 0x09 00000144: DUP2 00000145: SWAP1 00000146: SSTORE 00000147: PUSH1 0x40 00000149: DUP1 0000014a: MLOAD 0000014b: CALLVALUE 0000014c: DUP2 0000014d: MSTORE 0000014e: PUSH1 0x20 00000150: DUP2 00000151: ADD 00000152: SWAP3 00000153: SWAP1 00000154: SWAP3 00000155: MSTORE 00000156: DUP1 00000157: MLOAD 00000158: PUSH1 0x01 0000015a: PUSH1 0xa0 0000015c: PUSH1 0x02 0000015e: EXP 0000015f: SUB 00000160: CALLER 00000161: AND 00000162: SWAP3 00000163: PUSH32 0xdcde97043025953bda118fffd86c06bbaa28517d73aa8edd32bf74404426f6ed 00000184: SWAP3 00000185: SWAP1 00000186: DUP3 00000187: SWAP1 00000188: SUB 00000189: ADD 0000018a: SWAP1 0000018b: LOG2 0000018c: JUMPDEST 0000018d: STOP 0000018e: JUMPDEST 0000018f: CALLVALUE 00000190: DUP1 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: POP 0000019c: PUSH2 0x01a3 0000019f: PUSH2 0x048f 000001a2: JUMP 000001a3: JUMPDEST 000001a4: PUSH1 0x40 000001a6: DUP1 000001a7: MLOAD 000001a8: PUSH1 0x20 000001aa: DUP1 000001ab: DUP3 000001ac: MSTORE 000001ad: DUP4 000001ae: MLOAD 000001af: DUP2 000001b0: DUP4 000001b1: ADD 000001b2: MSTORE 000001b3: DUP4 000001b4: MLOAD 000001b5: SWAP2 000001b6: SWAP3 000001b7: DUP4 000001b8: SWAP3 000001b9: SWAP1 000001ba: DUP4 000001bb: ADD 000001bc: SWAP2 000001bd: DUP6 000001be: ADD 000001bf: SWAP1 000001c0: DUP1 000001c1: DUP4 000001c2: DUP4 000001c3: PUSH1 0x00 000001c5: JUMPDEST 000001c6: DUP4 000001c7: DUP2 000001c8: LT 000001c9: ISZERO 000001ca: PUSH2 0x01dd 000001cd: JUMPI 000001ce: DUP2 000001cf: DUP2 000001d0: ADD 000001d1: MLOAD 000001d2: DUP4 000001d3: DUP3 000001d4: ADD 000001d5: MSTORE 000001d6: PUSH1 0x20 000001d8: ADD 000001d9: PUSH2 0x01c5 000001dc: JUMP 000001dd: JUMPDEST 000001de: POP 000001df: POP 000001e0: POP 000001e1: POP 000001e2: SWAP1 000001e3: POP 000001e4: SWAP1 000001e5: DUP2 000001e6: ADD 000001e7: SWAP1 000001e8: PUSH1 0x1f 000001ea: AND 000001eb: DUP1 000001ec: ISZERO 000001ed: PUSH2 0x020a 000001f0: JUMPI 000001f1: DUP1 000001f2: DUP3 000001f3: SUB 000001f4: DUP1 000001f5: MLOAD 000001f6: PUSH1 0x01 000001f8: DUP4 000001f9: PUSH1 0x20 000001fb: SUB 000001fc: PUSH2 0x0100 000001ff: EXP 00000200: SUB 00000201: NOT 00000202: AND 00000203: DUP2 00000204: MSTORE 00000205: PUSH1 0x20 00000207: ADD 00000208: SWAP2 00000209: POP 0000020a: JUMPDEST 0000020b: POP 0000020c: SWAP3 0000020d: POP 0000020e: POP 0000020f: POP 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: SWAP2 00000215: SUB 00000216: SWAP1 00000217: RETURN 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: DUP1 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: POP 00000226: PUSH2 0x023c 00000229: PUSH1 0x01 0000022b: PUSH1 0xa0 0000022d: PUSH1 0x02 0000022f: EXP 00000230: SUB 00000231: PUSH1 0x04 00000233: CALLDATALOAD 00000234: AND 00000235: PUSH1 0x24 00000237: CALLDATALOAD 00000238: PUSH2 0x051d 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH1 0x40 0000023f: DUP1 00000240: MLOAD 00000241: SWAP2 00000242: ISZERO 00000243: ISZERO 00000244: DUP3 00000245: MSTORE 00000246: MLOAD 00000247: SWAP1 00000248: DUP2 00000249: SWAP1 0000024a: SUB 0000024b: PUSH1 0x20 0000024d: ADD 0000024e: SWAP1 0000024f: RETURN 00000250: JUMPDEST 00000251: CALLVALUE 00000252: DUP1 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: POP 0000025e: PUSH2 0x0265 00000261: PUSH2 0x05c2 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH1 0x40 00000268: DUP1 00000269: MLOAD 0000026a: SWAP2 0000026b: DUP3 0000026c: MSTORE 0000026d: MLOAD 0000026e: SWAP1 0000026f: DUP2 00000270: SWAP1 00000271: SUB 00000272: PUSH1 0x20 00000274: ADD 00000275: SWAP1 00000276: RETURN 00000277: JUMPDEST 00000278: CALLVALUE 00000279: DUP1 0000027a: ISZERO 0000027b: PUSH2 0x0283 0000027e: JUMPI 0000027f: PUSH1 0x00 00000281: DUP1 00000282: REVERT 00000283: JUMPDEST 00000284: POP 00000285: PUSH2 0x023c 00000288: PUSH1 0x01 0000028a: PUSH1 0xa0 0000028c: PUSH1 0x02 0000028e: EXP 0000028f: SUB 00000290: PUSH1 0x04 00000292: CALLDATALOAD 00000293: DUP2 00000294: AND 00000295: SWAP1 00000296: PUSH1 0x24 00000298: CALLDATALOAD 00000299: AND 0000029a: PUSH1 0x44 0000029c: CALLDATALOAD 0000029d: PUSH2 0x05c9 000002a0: JUMP 000002a1: JUMPDEST 000002a2: PUSH2 0x023c 000002a5: PUSH2 0x063e 000002a8: JUMP 000002a9: JUMPDEST 000002aa: CALLVALUE 000002ab: DUP1 000002ac: ISZERO 000002ad: PUSH2 0x02b5 000002b0: JUMPI 000002b1: PUSH1 0x00 000002b3: DUP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: POP 000002b7: PUSH2 0x02be 000002ba: PUSH2 0x06bd 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH1 0x40 000002c1: DUP1 000002c2: MLOAD 000002c3: PUSH1 0x01 000002c5: PUSH1 0xa0 000002c7: PUSH1 0x02 000002c9: EXP 000002ca: SUB 000002cb: SWAP1 000002cc: SWAP3 000002cd: AND 000002ce: DUP3 000002cf: MSTORE 000002d0: MLOAD 000002d1: SWAP1 000002d2: DUP2 000002d3: SWAP1 000002d4: SUB 000002d5: PUSH1 0x20 000002d7: ADD 000002d8: SWAP1 000002d9: RETURN 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: DUP1 000002dd: ISZERO 000002de: PUSH2 0x02e6 000002e1: JUMPI 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: POP 000002e8: PUSH2 0x02ef 000002eb: PUSH2 0x06cc 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH1 0x40 000002f2: DUP1 000002f3: MLOAD 000002f4: PUSH1 0xff 000002f6: SWAP1 000002f7: SWAP3 000002f8: AND 000002f9: DUP3 000002fa: MSTORE 000002fb: MLOAD 000002fc: SWAP1 000002fd: DUP2 000002fe: SWAP1 000002ff: SUB 00000300: PUSH1 0x20 00000302: ADD 00000303: SWAP1 00000304: RETURN 00000305: JUMPDEST 00000306: CALLVALUE 00000307: DUP1 00000308: ISZERO 00000309: PUSH2 0x0311 0000030c: JUMPI 0000030d: PUSH1 0x00 0000030f: DUP1 00000310: REVERT 00000311: JUMPDEST 00000312: POP 00000313: PUSH2 0x018c 00000316: PUSH2 0x06d5 00000319: JUMP 0000031a: JUMPDEST 0000031b: CALLVALUE 0000031c: DUP1 0000031d: ISZERO 0000031e: PUSH2 0x0326 00000321: JUMPI 00000322: PUSH1 0x00 00000324: DUP1 00000325: REVERT 00000326: JUMPDEST 00000327: POP 00000328: PUSH2 0x02be 0000032b: PUSH2 0x07ed 0000032e: JUMP 0000032f: JUMPDEST 00000330: CALLVALUE 00000331: DUP1 00000332: ISZERO 00000333: PUSH2 0x033b 00000336: JUMPI 00000337: PUSH1 0x00 00000339: DUP1 0000033a: REVERT 0000033b: JUMPDEST 0000033c: POP 0000033d: PUSH2 0x0265 00000340: PUSH1 0x01 00000342: PUSH1 0xa0 00000344: PUSH1 0x02 00000346: EXP 00000347: SUB 00000348: PUSH1 0x04 0000034a: CALLDATALOAD 0000034b: AND 0000034c: PUSH2 0x07fc 0000034f: JUMP 00000350: JUMPDEST 00000351: CALLVALUE 00000352: DUP1 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: POP 0000035e: PUSH2 0x018c 00000361: PUSH1 0x01 00000363: PUSH1 0xa0 00000365: PUSH1 0x02 00000367: EXP 00000368: SUB 00000369: PUSH1 0x04 0000036b: CALLDATALOAD 0000036c: AND 0000036d: PUSH2 0x0817 00000370: JUMP 00000371: JUMPDEST 00000372: CALLVALUE 00000373: DUP1 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: POP 0000037f: PUSH2 0x02be 00000382: PUSH2 0x08ac 00000385: JUMP 00000386: JUMPDEST 00000387: CALLVALUE 00000388: DUP1 00000389: ISZERO 0000038a: PUSH2 0x0392 0000038d: JUMPI 0000038e: PUSH1 0x00 00000390: DUP1 00000391: REVERT 00000392: JUMPDEST 00000393: POP 00000394: PUSH2 0x0265 00000397: PUSH2 0x08bb 0000039a: JUMP 0000039b: JUMPDEST 0000039c: CALLVALUE 0000039d: DUP1 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: POP 000003a9: PUSH2 0x01a3 000003ac: PUSH2 0x08c1 000003af: JUMP 000003b0: JUMPDEST 000003b1: CALLVALUE 000003b2: DUP1 000003b3: ISZERO 000003b4: PUSH2 0x03bc 000003b7: JUMPI 000003b8: PUSH1 0x00 000003ba: DUP1 000003bb: REVERT 000003bc: JUMPDEST 000003bd: POP 000003be: PUSH2 0x018c 000003c1: PUSH1 0x01 000003c3: PUSH1 0xa0 000003c5: PUSH1 0x02 000003c7: EXP 000003c8: SUB 000003c9: PUSH1 0x04 000003cb: CALLDATALOAD 000003cc: AND 000003cd: PUSH2 0x091c 000003d0: JUMP 000003d1: JUMPDEST 000003d2: CALLVALUE 000003d3: DUP1 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: POP 000003df: PUSH2 0x0265 000003e2: PUSH2 0x09b1 000003e5: JUMP 000003e6: JUMPDEST 000003e7: CALLVALUE 000003e8: DUP1 000003e9: ISZERO 000003ea: PUSH2 0x03f2 000003ed: JUMPI 000003ee: PUSH1 0x00 000003f0: DUP1 000003f1: REVERT 000003f2: JUMPDEST 000003f3: POP 000003f4: PUSH2 0x023c 000003f7: PUSH1 0x01 000003f9: PUSH1 0xa0 000003fb: PUSH1 0x02 000003fd: EXP 000003fe: SUB 000003ff: PUSH1 0x04 00000401: CALLDATALOAD 00000402: AND 00000403: PUSH1 0x24 00000405: CALLDATALOAD 00000406: PUSH2 0x09b7 00000409: JUMP 0000040a: JUMPDEST 0000040b: CALLVALUE 0000040c: DUP1 0000040d: ISZERO 0000040e: PUSH2 0x0416 00000411: JUMPI 00000412: PUSH1 0x00 00000414: DUP1 00000415: REVERT 00000416: JUMPDEST 00000417: POP 00000418: PUSH2 0x0265 0000041b: PUSH1 0x01 0000041d: PUSH1 0xa0 0000041f: PUSH1 0x02 00000421: EXP 00000422: SUB 00000423: PUSH1 0x04 00000425: CALLDATALOAD 00000426: AND 00000427: PUSH2 0x09c4 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH2 0x018c 0000042f: PUSH1 0x04 00000431: CALLDATALOAD 00000432: PUSH2 0x0a1f 00000435: JUMP 00000436: JUMPDEST 00000437: CALLVALUE 00000438: DUP1 00000439: ISZERO 0000043a: PUSH2 0x0442 0000043d: JUMPI 0000043e: PUSH1 0x00 00000440: DUP1 00000441: REVERT 00000442: JUMPDEST 00000443: POP 00000444: PUSH2 0x0265 00000447: PUSH1 0x01 00000449: PUSH1 0xa0 0000044b: PUSH1 0x02 0000044d: EXP 0000044e: SUB 0000044f: PUSH1 0x04 00000451: CALLDATALOAD 00000452: DUP2 00000453: AND 00000454: SWAP1 00000455: PUSH1 0x24 00000457: CALLDATALOAD 00000458: AND 00000459: PUSH2 0x0bef 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0x00 00000460: DUP1 00000461: DUP3 00000462: DUP5 00000463: DUP2 00000464: ISZERO 00000465: ISZERO 00000466: PUSH2 0x046b 00000469: JUMPI 0000046a: INVALID 0000046b: JUMPDEST 0000046c: DIV 0000046d: SWAP1 0000046e: POP 0000046f: DUP1 00000470: SWAP2 00000471: POP 00000472: JUMPDEST 00000473: POP 00000474: SWAP3 00000475: SWAP2 00000476: POP 00000477: POP 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH1 0x00 0000047c: DUP3 0000047d: DUP3 0000047e: ADD 0000047f: DUP4 00000480: DUP2 00000481: LT 00000482: ISZERO 00000483: PUSH2 0x0488 00000486: JUMPI 00000487: INVALID 00000488: JUMPDEST 00000489: SWAP4 0000048a: SWAP3 0000048b: POP 0000048c: POP 0000048d: POP 0000048e: JUMP 0000048f: JUMPDEST 00000490: PUSH1 0x04 00000492: DUP1 00000493: SLOAD 00000494: PUSH1 0x40 00000496: DUP1 00000497: MLOAD 00000498: PUSH1 0x20 0000049a: PUSH1 0x02 0000049c: PUSH1 0x01 0000049e: DUP6 0000049f: AND 000004a0: ISZERO 000004a1: PUSH2 0x0100 000004a4: MUL 000004a5: PUSH1 0x00 000004a7: NOT 000004a8: ADD 000004a9: SWAP1 000004aa: SWAP5 000004ab: AND 000004ac: SWAP4 000004ad: SWAP1 000004ae: SWAP4 000004af: DIV 000004b0: PUSH1 0x1f 000004b2: DUP2 000004b3: ADD 000004b4: DUP5 000004b5: SWAP1 000004b6: DIV 000004b7: DUP5 000004b8: MUL 000004b9: DUP3 000004ba: ADD 000004bb: DUP5 000004bc: ADD 000004bd: SWAP1 000004be: SWAP3 000004bf: MSTORE 000004c0: DUP2 000004c1: DUP2 000004c2: MSTORE 000004c3: SWAP3 000004c4: SWAP2 000004c5: DUP4 000004c6: ADD 000004c7: DUP3 000004c8: DUP3 000004c9: DUP1 000004ca: ISZERO 000004cb: PUSH2 0x0515 000004ce: JUMPI 000004cf: DUP1 000004d0: PUSH1 0x1f 000004d2: LT 000004d3: PUSH2 0x04ea 000004d6: JUMPI 000004d7: PUSH2 0x0100 000004da: DUP1 000004db: DUP4 000004dc: SLOAD 000004dd: DIV 000004de: MUL 000004df: DUP4 000004e0: MSTORE 000004e1: SWAP2 000004e2: PUSH1 0x20 000004e4: ADD 000004e5: SWAP2 000004e6: PUSH2 0x0515 000004e9: JUMP 000004ea: JUMPDEST 000004eb: DUP3 000004ec: ADD 000004ed: SWAP2 000004ee: SWAP1 000004ef: PUSH1 0x00 000004f1: MSTORE 000004f2: PUSH1 0x20 000004f4: PUSH1 0x00 000004f6: KECCAK256 000004f7: SWAP1 000004f8: JUMPDEST 000004f9: DUP2 000004fa: SLOAD 000004fb: DUP2 000004fc: MSTORE 000004fd: SWAP1 000004fe: PUSH1 0x01 00000500: ADD 00000501: SWAP1 00000502: PUSH1 0x20 00000504: ADD 00000505: DUP1 00000506: DUP4 00000507: GT 00000508: PUSH2 0x04f8 0000050b: JUMPI 0000050c: DUP3 0000050d: SWAP1 0000050e: SUB 0000050f: PUSH1 0x1f 00000511: AND 00000512: DUP3 00000513: ADD 00000514: SWAP2 00000515: JUMPDEST 00000516: POP 00000517: POP 00000518: POP 00000519: POP 0000051a: POP 0000051b: DUP2 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH1 0x00 00000520: DUP1 00000521: DUP3 00000522: GT 00000523: DUP1 00000524: ISZERO 00000525: PUSH2 0x0551 00000528: JUMPI 00000529: POP 0000052a: PUSH1 0x01 0000052c: PUSH1 0xa0 0000052e: PUSH1 0x02 00000530: EXP 00000531: SUB 00000532: CALLER 00000533: DUP2 00000534: AND 00000535: PUSH1 0x00 00000537: SWAP1 00000538: DUP2 00000539: MSTORE 0000053a: PUSH1 0x0d 0000053c: PUSH1 0x20 0000053e: SWAP1 0000053f: DUP2 00000540: MSTORE 00000541: PUSH1 0x40 00000543: DUP1 00000544: DUP4 00000545: KECCAK256 00000546: SWAP4 00000547: DUP8 00000548: AND 00000549: DUP4 0000054a: MSTORE 0000054b: SWAP3 0000054c: SWAP1 0000054d: MSTORE 0000054e: KECCAK256 0000054f: SLOAD 00000550: ISZERO 00000551: JUMPDEST 00000552: ISZERO 00000553: ISZERO 00000554: PUSH2 0x055c 00000557: JUMPI 00000558: PUSH1 0x00 0000055a: DUP1 0000055b: REVERT 0000055c: JUMPDEST 0000055d: PUSH1 0x01 0000055f: PUSH1 0xa0 00000561: PUSH1 0x02 00000563: EXP 00000564: SUB 00000565: CALLER 00000566: DUP2 00000567: AND 00000568: PUSH1 0x00 0000056a: DUP2 0000056b: DUP2 0000056c: MSTORE 0000056d: PUSH1 0x0d 0000056f: PUSH1 0x20 00000571: SWAP1 00000572: DUP2 00000573: MSTORE 00000574: PUSH1 0x40 00000576: DUP1 00000577: DUP4 00000578: KECCAK256 00000579: SWAP5 0000057a: DUP9 0000057b: AND 0000057c: DUP1 0000057d: DUP5 0000057e: MSTORE 0000057f: SWAP5 00000580: DUP3 00000581: MSTORE 00000582: SWAP2 00000583: DUP3 00000584: SWAP1 00000585: KECCAK256 00000586: DUP7 00000587: SWAP1 00000588: SSTORE 00000589: DUP2 0000058a: MLOAD 0000058b: DUP7 0000058c: DUP2 0000058d: MSTORE 0000058e: SWAP2 0000058f: MLOAD 00000590: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000005b1: SWAP3 000005b2: DUP2 000005b3: SWAP1 000005b4: SUB 000005b5: SWAP1 000005b6: SWAP2 000005b7: ADD 000005b8: SWAP1 000005b9: LOG3 000005ba: POP 000005bb: PUSH1 0x01 000005bd: SWAP3 000005be: SWAP2 000005bf: POP 000005c0: POP 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH1 0x01 000005c5: SLOAD 000005c6: JUMPDEST 000005c7: SWAP1 000005c8: JUMP 000005c9: JUMPDEST 000005ca: PUSH1 0x01 000005cc: PUSH1 0xa0 000005ce: PUSH1 0x02 000005d0: EXP 000005d1: SUB 000005d2: DUP1 000005d3: DUP5 000005d4: AND 000005d5: PUSH1 0x00 000005d7: SWAP1 000005d8: DUP2 000005d9: MSTORE 000005da: PUSH1 0x0d 000005dc: PUSH1 0x20 000005de: SWAP1 000005df: DUP2 000005e0: MSTORE 000005e1: PUSH1 0x40 000005e3: DUP1 000005e4: DUP4 000005e5: KECCAK256 000005e6: CALLER 000005e7: SWAP1 000005e8: SWAP5 000005e9: AND 000005ea: DUP4 000005eb: MSTORE 000005ec: SWAP3 000005ed: SWAP1 000005ee: MSTORE 000005ef: SWAP1 000005f0: DUP2 000005f1: KECCAK256 000005f2: SLOAD 000005f3: DUP3 000005f4: GT 000005f5: ISZERO 000005f6: PUSH2 0x05fe 000005f9: JUMPI 000005fa: PUSH1 0x00 000005fc: DUP1 000005fd: REVERT 000005fe: JUMPDEST 000005ff: PUSH1 0x01 00000601: PUSH1 0xa0 00000603: PUSH1 0x02 00000605: EXP 00000606: SUB 00000607: DUP1 00000608: DUP6 00000609: AND 0000060a: PUSH1 0x00 0000060c: SWAP1 0000060d: DUP2 0000060e: MSTORE 0000060f: PUSH1 0x0d 00000611: PUSH1 0x20 00000613: SWAP1 00000614: DUP2 00000615: MSTORE 00000616: PUSH1 0x40 00000618: DUP1 00000619: DUP4 0000061a: KECCAK256 0000061b: CALLER 0000061c: SWAP1 0000061d: SWAP5 0000061e: AND 0000061f: DUP4 00000620: MSTORE 00000621: SWAP3 00000622: SWAP1 00000623: MSTORE 00000624: KECCAK256 00000625: DUP1 00000626: SLOAD 00000627: DUP4 00000628: SWAP1 00000629: SUB 0000062a: SWAP1 0000062b: SSTORE 0000062c: PUSH2 0x0636 0000062f: DUP5 00000630: DUP5 00000631: DUP5 00000632: PUSH2 0x0c1a 00000635: JUMP 00000636: JUMPDEST 00000637: SWAP5 00000638: SWAP4 00000639: POP 0000063a: POP 0000063b: POP 0000063c: POP 0000063d: JUMP 0000063e: JUMPDEST 0000063f: PUSH1 0x00 00000641: DUP1 00000642: CALLVALUE 00000643: GT 00000644: ISZERO 00000645: PUSH2 0x06b5 00000648: JUMPI 00000649: PUSH2 0x0663 0000064c: PUSH1 0x09 0000064e: SLOAD 0000064f: PUSH2 0x0135 00000652: PUSH1 0x01 00000654: SLOAD 00000655: CALLVALUE 00000656: PUSH2 0x045d 00000659: SWAP1 0000065a: SWAP2 0000065b: SWAP1 0000065c: PUSH4 0xffffffff 00000661: AND 00000662: JUMP 00000663: JUMPDEST 00000664: PUSH1 0x09 00000666: DUP2 00000667: SWAP1 00000668: SSTORE 00000669: PUSH1 0x40 0000066b: DUP1 0000066c: MLOAD 0000066d: CALLVALUE 0000066e: DUP2 0000066f: MSTORE 00000670: PUSH1 0x20 00000672: DUP2 00000673: ADD 00000674: SWAP3 00000675: SWAP1 00000676: SWAP3 00000677: MSTORE 00000678: DUP1 00000679: MLOAD 0000067a: PUSH1 0x01 0000067c: PUSH1 0xa0 0000067e: PUSH1 0x02 00000680: EXP 00000681: SUB 00000682: CALLER 00000683: AND 00000684: SWAP3 00000685: PUSH32 0xdcde97043025953bda118fffd86c06bbaa28517d73aa8edd32bf74404426f6ed 000006a6: SWAP3 000006a7: SWAP1 000006a8: DUP3 000006a9: SWAP1 000006aa: SUB 000006ab: ADD 000006ac: SWAP1 000006ad: LOG2 000006ae: POP 000006af: PUSH1 0x01 000006b1: PUSH2 0x05c6 000006b4: JUMP 000006b5: JUMPDEST 000006b6: POP 000006b7: PUSH1 0x00 000006b9: PUSH2 0x05c6 000006bc: JUMP 000006bd: JUMPDEST 000006be: PUSH1 0x07 000006c0: SLOAD 000006c1: PUSH1 0x01 000006c3: PUSH1 0xa0 000006c5: PUSH1 0x02 000006c7: EXP 000006c8: SUB 000006c9: AND 000006ca: DUP2 000006cb: JUMP 000006cc: JUMPDEST 000006cd: PUSH1 0x00 000006cf: SLOAD 000006d0: PUSH1 0xff 000006d2: AND 000006d3: DUP2 000006d4: JUMP 000006d5: JUMPDEST 000006d6: PUSH1 0x00 000006d8: PUSH2 0x06e0 000006db: CALLER 000006dc: PUSH2 0x09c4 000006df: JUMP 000006e0: JUMPDEST 000006e1: SWAP1 000006e2: POP 000006e3: PUSH1 0x00 000006e5: DUP2 000006e6: GT 000006e7: PUSH2 0x073a 000006ea: JUMPI 000006eb: PUSH1 0x40 000006ed: DUP1 000006ee: MLOAD 000006ef: PUSH1 0xe5 000006f1: PUSH1 0x02 000006f3: EXP 000006f4: PUSH3 0x461bcd 000006f8: MUL 000006f9: DUP2 000006fa: MSTORE 000006fb: PUSH1 0x20 000006fd: PUSH1 0x04 000006ff: DUP3 00000700: ADD 00000701: MSTORE 00000702: PUSH1 0x11 00000704: PUSH1 0x24 00000706: DUP3 00000707: ADD 00000708: MSTORE 00000709: PUSH32 0x4e6f206361736820617661696c61626c65000000000000000000000000000000 0000072a: PUSH1 0x44 0000072c: DUP3 0000072d: ADD 0000072e: MSTORE 0000072f: SWAP1 00000730: MLOAD 00000731: SWAP1 00000732: DUP2 00000733: SWAP1 00000734: SUB 00000735: PUSH1 0x64 00000737: ADD 00000738: SWAP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: PUSH1 0x40 0000073d: DUP1 0000073e: MLOAD 0000073f: DUP3 00000740: DUP2 00000741: MSTORE 00000742: SWAP1 00000743: MLOAD 00000744: PUSH1 0x01 00000746: PUSH1 0xa0 00000748: PUSH1 0x02 0000074a: EXP 0000074b: SUB 0000074c: CALLER 0000074d: AND 0000074e: SWAP2 0000074f: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00000770: SWAP2 00000771: SWAP1 00000772: DUP2 00000773: SWAP1 00000774: SUB 00000775: PUSH1 0x20 00000777: ADD 00000778: SWAP1 00000779: LOG2 0000077a: PUSH1 0x01 0000077c: PUSH1 0xa0 0000077e: PUSH1 0x02 00000780: EXP 00000781: SUB 00000782: CALLER 00000783: AND 00000784: PUSH1 0x00 00000786: SWAP1 00000787: DUP2 00000788: MSTORE 00000789: PUSH1 0x08 0000078b: PUSH1 0x20 0000078d: MSTORE 0000078e: PUSH1 0x40 00000790: SWAP1 00000791: KECCAK256 00000792: SLOAD 00000793: PUSH2 0x07a2 00000796: SWAP1 00000797: DUP3 00000798: PUSH4 0xffffffff 0000079d: PUSH2 0x0479 000007a0: AND 000007a1: JUMP 000007a2: JUMPDEST 000007a3: PUSH1 0x01 000007a5: PUSH1 0xa0 000007a7: PUSH1 0x02 000007a9: EXP 000007aa: SUB 000007ab: CALLER 000007ac: AND 000007ad: PUSH1 0x00 000007af: DUP2 000007b0: DUP2 000007b1: MSTORE 000007b2: PUSH1 0x08 000007b4: PUSH1 0x20 000007b6: MSTORE 000007b7: PUSH1 0x40 000007b9: DUP1 000007ba: DUP3 000007bb: KECCAK256 000007bc: SWAP4 000007bd: SWAP1 000007be: SWAP4 000007bf: SSTORE 000007c0: SWAP2 000007c1: MLOAD 000007c2: SWAP1 000007c3: SWAP2 000007c4: DUP4 000007c5: ISZERO 000007c6: PUSH2 0x08fc 000007c9: MUL 000007ca: SWAP2 000007cb: DUP5 000007cc: SWAP2 000007cd: DUP2 000007ce: DUP2 000007cf: DUP2 000007d0: DUP6 000007d1: DUP9 000007d2: DUP9 000007d3: CALL 000007d4: SWAP4 000007d5: POP 000007d6: POP 000007d7: POP 000007d8: POP 000007d9: ISZERO 000007da: DUP1 000007db: ISZERO 000007dc: PUSH2 0x07e9 000007df: JUMPI 000007e0: RETURNDATASIZE 000007e1: PUSH1 0x00 000007e3: DUP1 000007e4: RETURNDATACOPY 000007e5: RETURNDATASIZE 000007e6: PUSH1 0x00 000007e8: REVERT 000007e9: JUMPDEST 000007ea: POP 000007eb: POP 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH1 0x0a 000007f0: SLOAD 000007f1: PUSH1 0x01 000007f3: PUSH1 0xa0 000007f5: PUSH1 0x02 000007f7: EXP 000007f8: SUB 000007f9: AND 000007fa: DUP2 000007fb: JUMP 000007fc: JUMPDEST 000007fd: PUSH1 0x01 000007ff: PUSH1 0xa0 00000801: PUSH1 0x02 00000803: EXP 00000804: SUB 00000805: AND 00000806: PUSH1 0x00 00000808: SWAP1 00000809: DUP2 0000080a: MSTORE 0000080b: PUSH1 0x0c 0000080d: PUSH1 0x20 0000080f: MSTORE 00000810: PUSH1 0x40 00000812: SWAP1 00000813: KECCAK256 00000814: SLOAD 00000815: SWAP1 00000816: JUMP 00000817: JUMPDEST 00000818: PUSH1 0x06 0000081a: SLOAD 0000081b: CALLER 0000081c: PUSH1 0x01 0000081e: PUSH1 0xa0 00000820: PUSH1 0x02 00000822: EXP 00000823: SUB 00000824: SWAP1 00000825: DUP2 00000826: AND 00000827: SWAP2 00000828: AND 00000829: EQ 0000082a: PUSH2 0x087d 0000082d: JUMPI 0000082e: PUSH1 0x40 00000830: DUP1 00000831: MLOAD 00000832: PUSH1 0xe5 00000834: PUSH1 0x02 00000836: EXP 00000837: PUSH3 0x461bcd 0000083b: MUL 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x20 00000840: PUSH1 0x04 00000842: DUP3 00000843: ADD 00000844: MSTORE 00000845: PUSH1 0x0a 00000847: PUSH1 0x24 00000849: DUP3 0000084a: ADD 0000084b: MSTORE 0000084c: PUSH32 0x6f6e6c79206f776e657200000000000000000000000000000000000000000000 0000086d: PUSH1 0x44 0000086f: DUP3 00000870: ADD 00000871: MSTORE 00000872: SWAP1 00000873: MLOAD 00000874: SWAP1 00000875: DUP2 00000876: SWAP1 00000877: SUB 00000878: PUSH1 0x64 0000087a: ADD 0000087b: SWAP1 0000087c: REVERT 0000087d: JUMPDEST 0000087e: PUSH1 0x0a 00000880: DUP1 00000881: SLOAD 00000882: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000897: NOT 00000898: AND 00000899: PUSH1 0x01 0000089b: PUSH1 0xa0 0000089d: PUSH1 0x02 0000089f: EXP 000008a0: SUB 000008a1: SWAP3 000008a2: SWAP1 000008a3: SWAP3 000008a4: AND 000008a5: SWAP2 000008a6: SWAP1 000008a7: SWAP2 000008a8: OR 000008a9: SWAP1 000008aa: SSTORE 000008ab: JUMP 000008ac: JUMPDEST 000008ad: PUSH1 0x06 000008af: SLOAD 000008b0: PUSH1 0x01 000008b2: PUSH1 0xa0 000008b4: PUSH1 0x02 000008b6: EXP 000008b7: SUB 000008b8: AND 000008b9: DUP2 000008ba: JUMP 000008bb: JUMPDEST 000008bc: PUSH1 0x02 000008be: SLOAD 000008bf: DUP2 000008c0: JUMP 000008c1: JUMPDEST 000008c2: PUSH1 0x05 000008c4: DUP1 000008c5: SLOAD 000008c6: PUSH1 0x40 000008c8: DUP1 000008c9: MLOAD 000008ca: PUSH1 0x20 000008cc: PUSH1 0x02 000008ce: PUSH1 0x01 000008d0: DUP6 000008d1: AND 000008d2: ISZERO 000008d3: PUSH2 0x0100 000008d6: MUL 000008d7: PUSH1 0x00 000008d9: NOT 000008da: ADD 000008db: SWAP1 000008dc: SWAP5 000008dd: AND 000008de: SWAP4 000008df: SWAP1 000008e0: SWAP4 000008e1: DIV 000008e2: PUSH1 0x1f 000008e4: DUP2 000008e5: ADD 000008e6: DUP5 000008e7: SWAP1 000008e8: DIV 000008e9: DUP5 000008ea: MUL 000008eb: DUP3 000008ec: ADD 000008ed: DUP5 000008ee: ADD 000008ef: SWAP1 000008f0: SWAP3 000008f1: MSTORE 000008f2: DUP2 000008f3: DUP2 000008f4: MSTORE 000008f5: SWAP3 000008f6: SWAP2 000008f7: DUP4 000008f8: ADD 000008f9: DUP3 000008fa: DUP3 000008fb: DUP1 000008fc: ISZERO 000008fd: PUSH2 0x0515 00000900: JUMPI 00000901: DUP1 00000902: PUSH1 0x1f 00000904: LT 00000905: PUSH2 0x04ea 00000908: JUMPI 00000909: PUSH2 0x0100 0000090c: DUP1 0000090d: DUP4 0000090e: SLOAD 0000090f: DIV 00000910: MUL 00000911: DUP4 00000912: MSTORE 00000913: SWAP2 00000914: PUSH1 0x20 00000916: ADD 00000917: SWAP2 00000918: PUSH2 0x0515 0000091b: JUMP 0000091c: JUMPDEST 0000091d: PUSH1 0x06 0000091f: SLOAD 00000920: CALLER 00000921: PUSH1 0x01 00000923: PUSH1 0xa0 00000925: PUSH1 0x02 00000927: EXP 00000928: SUB 00000929: SWAP1 0000092a: DUP2 0000092b: AND 0000092c: SWAP2 0000092d: AND 0000092e: EQ 0000092f: PUSH2 0x0982 00000932: JUMPI 00000933: PUSH1 0x40 00000935: DUP1 00000936: MLOAD 00000937: PUSH1 0xe5 00000939: PUSH1 0x02 0000093b: EXP 0000093c: PUSH3 0x461bcd 00000940: MUL 00000941: DUP2 00000942: MSTORE 00000943: PUSH1 0x20 00000945: PUSH1 0x04 00000947: DUP3 00000948: ADD 00000949: MSTORE 0000094a: PUSH1 0x0a 0000094c: PUSH1 0x24 0000094e: DUP3 0000094f: ADD 00000950: MSTORE 00000951: PUSH32 0x6f6e6c79206f776e657200000000000000000000000000000000000000000000 00000972: PUSH1 0x44 00000974: DUP3 00000975: ADD 00000976: MSTORE 00000977: SWAP1 00000978: MLOAD 00000979: SWAP1 0000097a: DUP2 0000097b: SWAP1 0000097c: SUB 0000097d: PUSH1 0x64 0000097f: ADD 00000980: SWAP1 00000981: REVERT 00000982: JUMPDEST 00000983: PUSH1 0x07 00000985: DUP1 00000986: SLOAD 00000987: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099c: NOT 0000099d: AND 0000099e: PUSH1 0x01 000009a0: PUSH1 0xa0 000009a2: PUSH1 0x02 000009a4: EXP 000009a5: SUB 000009a6: SWAP3 000009a7: SWAP1 000009a8: SWAP3 000009a9: AND 000009aa: SWAP2 000009ab: SWAP1 000009ac: SWAP2 000009ad: OR 000009ae: SWAP1 000009af: SSTORE 000009b0: JUMP 000009b1: JUMPDEST 000009b2: PUSH1 0x03 000009b4: SLOAD 000009b5: DUP2 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH1 0x00 000009ba: PUSH2 0x0488 000009bd: CALLER 000009be: DUP5 000009bf: DUP5 000009c0: PUSH2 0x0c1a 000009c3: JUMP 000009c4: JUMPDEST 000009c5: PUSH1 0x01 000009c7: PUSH1 0xa0 000009c9: PUSH1 0x02 000009cb: EXP 000009cc: SUB 000009cd: DUP2 000009ce: AND 000009cf: PUSH1 0x00 000009d1: SWAP1 000009d2: DUP2 000009d3: MSTORE 000009d4: PUSH1 0x08 000009d6: PUSH1 0x20 000009d8: SWAP1 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x40 000009dd: DUP1 000009de: DUP4 000009df: KECCAK256 000009e0: SLOAD 000009e1: PUSH1 0x0b 000009e3: DUP4 000009e4: MSTORE 000009e5: DUP2 000009e6: DUP5 000009e7: KECCAK256 000009e8: SLOAD 000009e9: PUSH1 0x0c 000009eb: SWAP1 000009ec: SWAP4 000009ed: MSTORE 000009ee: SWAP1 000009ef: DUP4 000009f0: KECCAK256 000009f1: SLOAD 000009f2: PUSH1 0x09 000009f4: SLOAD 000009f5: PUSH2 0x0a19 000009f8: SWAP4 000009f9: PUSH2 0x0a0d 000009fc: SWAP3 000009fd: SWAP1 000009fe: SWAP2 000009ff: PUSH2 0x0135 00000a02: SWAP2 00000a03: PUSH4 0xffffffff 00000a08: PUSH2 0x0de9 00000a0b: AND 00000a0c: JUMP 00000a0d: JUMPDEST 00000a0e: SWAP1 00000a0f: PUSH4 0xffffffff 00000a14: PUSH2 0x0e14 00000a17: AND 00000a18: JUMP 00000a19: JUMPDEST 00000a1a: SWAP3 00000a1b: SWAP2 00000a1c: POP 00000a1d: POP 00000a1e: JUMP 00000a1f: JUMPDEST 00000a20: PUSH1 0x00 00000a22: CALLER 00000a23: DUP1 00000a24: EXTCODESIZE 00000a25: DUP1 00000a26: ISZERO 00000a27: PUSH2 0x0a7a 00000a2a: JUMPI 00000a2b: PUSH1 0x40 00000a2d: DUP1 00000a2e: MLOAD 00000a2f: PUSH1 0xe5 00000a31: PUSH1 0x02 00000a33: EXP 00000a34: PUSH3 0x461bcd 00000a38: MUL 00000a39: DUP2 00000a3a: MSTORE 00000a3b: PUSH1 0x20 00000a3d: PUSH1 0x04 00000a3f: DUP3 00000a40: ADD 00000a41: MSTORE 00000a42: PUSH1 0x11 00000a44: PUSH1 0x24 00000a46: DUP3 00000a47: ADD 00000a48: MSTORE 00000a49: PUSH32 0x736f7272792068756d616e73206f6e6c79000000000000000000000000000000 00000a6a: PUSH1 0x44 00000a6c: DUP3 00000a6d: ADD 00000a6e: MSTORE 00000a6f: SWAP1 00000a70: MLOAD 00000a71: SWAP1 00000a72: DUP2 00000a73: SWAP1 00000a74: SUB 00000a75: PUSH1 0x64 00000a77: ADD 00000a78: SWAP1 00000a79: REVERT 00000a7a: JUMPDEST 00000a7b: PUSH1 0x00 00000a7d: DUP5 00000a7e: GT 00000a7f: PUSH2 0x0a87 00000a82: JUMPI 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: REVERT 00000a87: JUMPDEST 00000a88: PUSH1 0x03 00000a8a: SLOAD 00000a8b: PUSH2 0x0a9b 00000a8e: SWAP1 00000a8f: DUP6 00000a90: SWAP1 00000a91: PUSH4 0xffffffff 00000a96: PUSH2 0x0de9 00000a99: AND 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: SWAP3 00000a9d: POP 00000a9e: CALLVALUE 00000a9f: DUP4 00000aa0: EQ 00000aa1: PUSH2 0x0aa9 00000aa4: JUMPI 00000aa5: PUSH1 0x00 00000aa7: DUP1 00000aa8: REVERT 00000aa9: JUMPDEST 00000aaa: PUSH1 0x01 00000aac: PUSH1 0xa0 00000aae: PUSH1 0x02 00000ab0: EXP 00000ab1: SUB 00000ab2: ADDRESS 00000ab3: AND 00000ab4: PUSH1 0x00 00000ab6: SWAP1 00000ab7: DUP2 00000ab8: MSTORE 00000ab9: PUSH1 0x0c 00000abb: PUSH1 0x20 00000abd: MSTORE 00000abe: PUSH1 0x40 00000ac0: SWAP1 00000ac1: KECCAK256 00000ac2: SLOAD 00000ac3: DUP5 00000ac4: GT 00000ac5: ISZERO 00000ac6: PUSH2 0x0ace 00000ac9: JUMPI 00000aca: PUSH1 0x00 00000acc: DUP1 00000acd: REVERT 00000ace: JUMPDEST 00000acf: PUSH1 0x02 00000ad1: SLOAD 00000ad2: PUSH1 0x01 00000ad4: SLOAD 00000ad5: SUB 00000ad6: DUP5 00000ad7: GT 00000ad8: ISZERO 00000ad9: PUSH2 0x0b2c 00000adc: JUMPI 00000add: PUSH1 0x40 00000adf: DUP1 00000ae0: MLOAD 00000ae1: PUSH1 0xe5 00000ae3: PUSH1 0x02 00000ae5: EXP 00000ae6: PUSH3 0x461bcd 00000aea: MUL 00000aeb: DUP2 00000aec: MSTORE 00000aed: PUSH1 0x20 00000aef: PUSH1 0x04 00000af1: DUP3 00000af2: ADD 00000af3: MSTORE 00000af4: PUSH1 0x08 00000af6: PUSH1 0x24 00000af8: DUP3 00000af9: ADD 00000afa: MSTORE 00000afb: PUSH32 0x536f6c64206f7574000000000000000000000000000000000000000000000000 00000b1c: PUSH1 0x44 00000b1e: DUP3 00000b1f: ADD 00000b20: MSTORE 00000b21: SWAP1 00000b22: MLOAD 00000b23: SWAP1 00000b24: DUP2 00000b25: SWAP1 00000b26: SUB 00000b27: PUSH1 0x64 00000b29: ADD 00000b2a: SWAP1 00000b2b: REVERT 00000b2c: JUMPDEST 00000b2d: PUSH1 0x07 00000b2f: SLOAD 00000b30: PUSH1 0x01 00000b32: PUSH1 0xa0 00000b34: PUSH1 0x02 00000b36: EXP 00000b37: SUB 00000b38: AND 00000b39: PUSH2 0x08fc 00000b3c: PUSH2 0x0b5d 00000b3f: PUSH1 0x64 00000b41: PUSH2 0x0b51 00000b44: DUP8 00000b45: PUSH1 0x50 00000b47: PUSH4 0xffffffff 00000b4c: PUSH2 0x0de9 00000b4f: AND 00000b50: JUMP 00000b51: JUMPDEST 00000b52: SWAP1 00000b53: PUSH4 0xffffffff 00000b58: PUSH2 0x045d 00000b5b: AND 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH1 0x40 00000b60: MLOAD 00000b61: DUP2 00000b62: ISZERO 00000b63: SWAP1 00000b64: SWAP3 00000b65: MUL 00000b66: SWAP2 00000b67: PUSH1 0x00 00000b69: DUP2 00000b6a: DUP2 00000b6b: DUP2 00000b6c: DUP6 00000b6d: DUP9 00000b6e: DUP9 00000b6f: CALL 00000b70: SWAP4 00000b71: POP 00000b72: POP 00000b73: POP 00000b74: POP 00000b75: ISZERO 00000b76: DUP1 00000b77: ISZERO 00000b78: PUSH2 0x0b85 00000b7b: JUMPI 00000b7c: RETURNDATASIZE 00000b7d: PUSH1 0x00 00000b7f: DUP1 00000b80: RETURNDATACOPY 00000b81: RETURNDATASIZE 00000b82: PUSH1 0x00 00000b84: REVERT 00000b85: JUMPDEST 00000b86: POP 00000b87: PUSH2 0x0b91 00000b8a: ADDRESS 00000b8b: CALLER 00000b8c: DUP7 00000b8d: PUSH2 0x0c1a 00000b90: JUMP 00000b91: JUMPDEST 00000b92: POP 00000b93: PUSH1 0x0a 00000b95: SLOAD 00000b96: PUSH1 0x01 00000b98: PUSH1 0xa0 00000b9a: PUSH1 0x02 00000b9c: EXP 00000b9d: SUB 00000b9e: AND 00000b9f: PUSH2 0x08fc 00000ba2: PUSH2 0x0bb7 00000ba5: PUSH1 0x64 00000ba7: PUSH2 0x0b51 00000baa: DUP8 00000bab: PUSH1 0x14 00000bad: PUSH4 0xffffffff 00000bb2: PUSH2 0x0de9 00000bb5: AND 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH1 0x40 00000bba: MLOAD 00000bbb: DUP2 00000bbc: ISZERO 00000bbd: SWAP1 00000bbe: SWAP3 00000bbf: MUL 00000bc0: SWAP2 00000bc1: PUSH1 0x00 00000bc3: DUP2 00000bc4: DUP2 00000bc5: DUP2 00000bc6: DUP6 00000bc7: DUP9 00000bc8: DUP9 00000bc9: CALL 00000bca: SWAP4 00000bcb: POP 00000bcc: POP 00000bcd: POP 00000bce: POP 00000bcf: ISZERO 00000bd0: DUP1 00000bd1: ISZERO 00000bd2: PUSH2 0x0bdf 00000bd5: JUMPI 00000bd6: RETURNDATASIZE 00000bd7: PUSH1 0x00 00000bd9: DUP1 00000bda: RETURNDATACOPY 00000bdb: RETURNDATASIZE 00000bdc: PUSH1 0x00 00000bde: REVERT 00000bdf: JUMPDEST 00000be0: POP 00000be1: POP 00000be2: PUSH1 0x02 00000be4: DUP1 00000be5: SLOAD 00000be6: SWAP1 00000be7: SWAP4 00000be8: ADD 00000be9: SWAP1 00000bea: SWAP3 00000beb: SSTORE 00000bec: POP 00000bed: POP 00000bee: JUMP 00000bef: JUMPDEST 00000bf0: PUSH1 0x01 00000bf2: PUSH1 0xa0 00000bf4: PUSH1 0x02 00000bf6: EXP 00000bf7: SUB 00000bf8: SWAP2 00000bf9: DUP3 00000bfa: AND 00000bfb: PUSH1 0x00 00000bfd: SWAP1 00000bfe: DUP2 00000bff: MSTORE 00000c00: PUSH1 0x0d 00000c02: PUSH1 0x20 00000c04: SWAP1 00000c05: DUP2 00000c06: MSTORE 00000c07: PUSH1 0x40 00000c09: DUP1 00000c0a: DUP4 00000c0b: KECCAK256 00000c0c: SWAP4 00000c0d: SWAP1 00000c0e: SWAP5 00000c0f: AND 00000c10: DUP3 00000c11: MSTORE 00000c12: SWAP2 00000c13: SWAP1 00000c14: SWAP2 00000c15: MSTORE 00000c16: KECCAK256 00000c17: SLOAD 00000c18: SWAP1 00000c19: JUMP 00000c1a: JUMPDEST 00000c1b: PUSH1 0x00 00000c1d: DUP1 00000c1e: DUP1 00000c1f: DUP1 00000c20: PUSH1 0x01 00000c22: PUSH1 0xa0 00000c24: PUSH1 0x02 00000c26: EXP 00000c27: SUB 00000c28: DUP7 00000c29: AND 00000c2a: ISZERO 00000c2b: ISZERO 00000c2c: PUSH2 0x0c7f 00000c2f: JUMPI 00000c30: PUSH1 0x40 00000c32: DUP1 00000c33: MLOAD 00000c34: PUSH1 0xe5 00000c36: PUSH1 0x02 00000c38: EXP 00000c39: PUSH3 0x461bcd 00000c3d: MUL 00000c3e: DUP2 00000c3f: MSTORE 00000c40: PUSH1 0x20 00000c42: PUSH1 0x04 00000c44: DUP3 00000c45: ADD 00000c46: MSTORE 00000c47: PUSH1 0x1f 00000c49: PUSH1 0x24 00000c4b: DUP3 00000c4c: ADD 00000c4d: MSTORE 00000c4e: PUSH32 0x526563656976657220616464726573732063616e6e6f74206265206e756c6c00 00000c6f: PUSH1 0x44 00000c71: DUP3 00000c72: ADD 00000c73: MSTORE 00000c74: SWAP1 00000c75: MLOAD 00000c76: SWAP1 00000c77: DUP2 00000c78: SWAP1 00000c79: SUB 00000c7a: PUSH1 0x64 00000c7c: ADD 00000c7d: SWAP1 00000c7e: REVERT 00000c7f: JUMPDEST 00000c80: PUSH1 0x00 00000c82: DUP6 00000c83: GT 00000c84: DUP1 00000c85: ISZERO 00000c86: PUSH2 0x0ca7 00000c89: JUMPI 00000c8a: POP 00000c8b: PUSH1 0x01 00000c8d: PUSH1 0xa0 00000c8f: PUSH1 0x02 00000c91: EXP 00000c92: SUB 00000c93: DUP8 00000c94: AND 00000c95: PUSH1 0x00 00000c97: SWAP1 00000c98: DUP2 00000c99: MSTORE 00000c9a: PUSH1 0x0c 00000c9c: PUSH1 0x20 00000c9e: MSTORE 00000c9f: PUSH1 0x40 00000ca1: SWAP1 00000ca2: KECCAK256 00000ca3: SLOAD 00000ca4: DUP6 00000ca5: GT 00000ca6: ISZERO 00000ca7: JUMPDEST 00000ca8: ISZERO 00000ca9: ISZERO 00000caa: PUSH2 0x0cb2 00000cad: JUMPI 00000cae: PUSH1 0x00 00000cb0: DUP1 00000cb1: REVERT 00000cb2: JUMPDEST 00000cb3: PUSH1 0x01 00000cb5: PUSH1 0xa0 00000cb7: PUSH1 0x02 00000cb9: EXP 00000cba: SUB 00000cbb: DUP7 00000cbc: AND 00000cbd: PUSH1 0x00 00000cbf: SWAP1 00000cc0: DUP2 00000cc1: MSTORE 00000cc2: PUSH1 0x0c 00000cc4: PUSH1 0x20 00000cc6: MSTORE 00000cc7: PUSH1 0x40 00000cc9: SWAP1 00000cca: KECCAK256 00000ccb: SLOAD 00000ccc: DUP1 00000ccd: DUP7 00000cce: ADD 00000ccf: SWAP4 00000cd0: POP 00000cd1: DUP4 00000cd2: LT 00000cd3: ISZERO 00000cd4: PUSH2 0x0cd9 00000cd7: JUMPI 00000cd8: INVALID 00000cd9: JUMPDEST 00000cda: PUSH1 0x01 00000cdc: PUSH1 0xa0 00000cde: PUSH1 0x02 00000ce0: EXP 00000ce1: SUB 00000ce2: DUP1 00000ce3: DUP9 00000ce4: AND 00000ce5: PUSH1 0x00 00000ce7: SWAP1 00000ce8: DUP2 00000ce9: MSTORE 00000cea: PUSH1 0x0c 00000cec: PUSH1 0x20 00000cee: MSTORE 00000cef: PUSH1 0x40 00000cf1: DUP1 00000cf2: DUP3 00000cf3: KECCAK256 00000cf4: DUP1 00000cf5: SLOAD 00000cf6: DUP10 00000cf7: SWAP1 00000cf8: SUB 00000cf9: SWAP1 00000cfa: DUP2 00000cfb: SWAP1 00000cfc: SSTORE 00000cfd: SWAP3 00000cfe: DUP10 00000cff: AND 00000d00: DUP3 00000d01: MSTORE 00000d02: SWAP1 00000d03: KECCAK256 00000d04: DUP5 00000d05: SWAP1 00000d06: SSTORE 00000d07: PUSH1 0x09 00000d09: SLOAD 00000d0a: SWAP1 00000d0b: SWAP3 00000d0c: POP 00000d0d: PUSH2 0x0d1d 00000d10: SWAP1 00000d11: DUP7 00000d12: SWAP1 00000d13: PUSH4 0xffffffff 00000d18: PUSH2 0x0de9 00000d1b: AND 00000d1c: JUMP 00000d1d: JUMPDEST 00000d1e: PUSH1 0x01 00000d20: PUSH1 0xa0 00000d22: PUSH1 0x02 00000d24: EXP 00000d25: SUB 00000d26: DUP9 00000d27: AND 00000d28: PUSH1 0x00 00000d2a: SWAP1 00000d2b: DUP2 00000d2c: MSTORE 00000d2d: PUSH1 0x0b 00000d2f: PUSH1 0x20 00000d31: MSTORE 00000d32: PUSH1 0x40 00000d34: SWAP1 00000d35: KECCAK256 00000d36: SLOAD 00000d37: SWAP1 00000d38: SWAP2 00000d39: POP 00000d3a: PUSH2 0x0d49 00000d3d: SWAP1 00000d3e: DUP3 00000d3f: PUSH4 0xffffffff 00000d44: PUSH2 0x0479 00000d47: AND 00000d48: JUMP 00000d49: JUMPDEST 00000d4a: PUSH1 0x01 00000d4c: PUSH1 0xa0 00000d4e: PUSH1 0x02 00000d50: EXP 00000d51: SUB 00000d52: DUP1 00000d53: DUP10 00000d54: AND 00000d55: PUSH1 0x00 00000d57: SWAP1 00000d58: DUP2 00000d59: MSTORE 00000d5a: PUSH1 0x0b 00000d5c: PUSH1 0x20 00000d5e: SWAP1 00000d5f: DUP2 00000d60: MSTORE 00000d61: PUSH1 0x40 00000d63: DUP1 00000d64: DUP4 00000d65: KECCAK256 00000d66: SWAP5 00000d67: SWAP1 00000d68: SWAP5 00000d69: SSTORE 00000d6a: SWAP2 00000d6b: DUP10 00000d6c: AND 00000d6d: DUP2 00000d6e: MSTORE 00000d6f: PUSH1 0x08 00000d71: SWAP1 00000d72: SWAP2 00000d73: MSTORE 00000d74: KECCAK256 00000d75: SLOAD 00000d76: PUSH2 0x0d85 00000d79: SWAP1 00000d7a: DUP3 00000d7b: PUSH4 0xffffffff 00000d80: PUSH2 0x0479 00000d83: AND 00000d84: JUMP 00000d85: JUMPDEST 00000d86: PUSH1 0x01 00000d88: PUSH1 0xa0 00000d8a: PUSH1 0x02 00000d8c: EXP 00000d8d: SUB 00000d8e: DUP1 00000d8f: DUP9 00000d90: AND 00000d91: PUSH1 0x00 00000d93: DUP2 00000d94: DUP2 00000d95: MSTORE 00000d96: PUSH1 0x08 00000d98: PUSH1 0x20 00000d9a: SWAP1 00000d9b: DUP2 00000d9c: MSTORE 00000d9d: PUSH1 0x40 00000d9f: SWAP2 00000da0: DUP3 00000da1: SWAP1 00000da2: KECCAK256 00000da3: SWAP5 00000da4: SWAP1 00000da5: SWAP5 00000da6: SSTORE 00000da7: DUP1 00000da8: MLOAD 00000da9: DUP10 00000daa: DUP2 00000dab: MSTORE 00000dac: SWAP1 00000dad: MLOAD 00000dae: SWAP2 00000daf: SWAP4 00000db0: SWAP3 00000db1: DUP12 00000db2: AND 00000db3: SWAP3 00000db4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000dd5: SWAP3 00000dd6: SWAP2 00000dd7: DUP3 00000dd8: SWAP1 00000dd9: SUB 00000dda: ADD 00000ddb: SWAP1 00000ddc: LOG3 00000ddd: POP 00000dde: PUSH1 0x01 00000de0: SWAP7 00000de1: SWAP6 00000de2: POP 00000de3: POP 00000de4: POP 00000de5: POP 00000de6: POP 00000de7: POP 00000de8: JUMP 00000de9: JUMPDEST 00000dea: PUSH1 0x00 00000dec: DUP1 00000ded: DUP4 00000dee: ISZERO 00000def: ISZERO 00000df0: PUSH2 0x0dfc 00000df3: JUMPI 00000df4: PUSH1 0x00 00000df6: SWAP2 00000df7: POP 00000df8: PUSH2 0x0472 00000dfb: JUMP 00000dfc: JUMPDEST 00000dfd: POP 00000dfe: DUP3 00000dff: DUP3 00000e00: MUL 00000e01: DUP3 00000e02: DUP5 00000e03: DUP3 00000e04: DUP2 00000e05: ISZERO 00000e06: ISZERO 00000e07: PUSH2 0x0e0c 00000e0a: JUMPI 00000e0b: INVALID 00000e0c: JUMPDEST 00000e0d: DIV 00000e0e: EQ 00000e0f: PUSH2 0x0488 00000e12: JUMPI 00000e13: INVALID 00000e14: JUMPDEST 00000e15: PUSH1 0x00 00000e17: DUP3 00000e18: DUP3 00000e19: GT 00000e1a: ISZERO 00000e1b: PUSH2 0x0e20 00000e1e: JUMPI 00000e1f: INVALID 00000e20: JUMPDEST 00000e21: POP 00000e22: SWAP1 00000e23: SUB 00000e24: SWAP1 00000e25: JUMP 00000e26: STOP 00000e27: LOG1 00000e28: PUSH6 0x627a7a723058 00000e2f: KECCAK256 00000e30: DUP13 00000e31: UNKNOWN(0xE4) 00000e32: DUP6 00000e33: UNKNOWN(0x4C) 00000e34: ADD 00000e35: UNKNOWN(0xD9) 00000e36: UNKNOWN(0xAE) 00000e37: UNKNOWN(0xB0) 00000e38: UNKNOWN(0x4B) 00000e39: UNKNOWN(0xD8) 00000e3a: CREATE 00000e3b: UNKNOWN(0xE1) 00000e3c: MLOAD 00000e3d: MULMOD 00000e3e: DUP5 00000e3f: MSIZE 00000e40: UNKNOWN(0x24) 00000e41: UNKNOWN(0xC1) 00000e42: PUSH23
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xeea5ada67c657c954c1062dd6e50c97592fd43acfc7c5e9b4bac4d734dcc5322
call_targets:
0xd0955bd45d5eef5bedce84a3471c825288a14b01
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeea5ada67c657c954c1062dd6e50c97592fd43acfc7c5e9b4bac4d734dcc5322",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd0955bd45d5eef5bedce84a3471c825288a14b01"
],
"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": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30cc248e",
"selector": "0x30cc248e",
"calldata_variants": [
"0x30cc248e",
"0x30cc248e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313b7b19",
"selector": "0x313b7b19",
"calldata_variants": [
"0x313b7b19",
"0x313b7b190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2003,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2927,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3017,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xeea5ada67c657c954c1062dd6e50c97592fd43acfc7c5e9b4bac4d734dcc5322
call_targets:
0xd0955bd45d5eef5bedce84a3471c825288a14b01
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeea5ada67c657c954c1062dd6e50c97592fd43acfc7c5e9b4bac4d734dcc5322",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd0955bd45d5eef5bedce84a3471c825288a14b01"
],
"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": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30cc248e",
"selector": "0x30cc248e",
"calldata_variants": [
"0x30cc248e",
"0x30cc248e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313b7b19",
"selector": "0x313b7b19",
"calldata_variants": [
"0x313b7b19",
"0x313b7b190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2003,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2927,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3017,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x17fd1de56390943e943b51ef0d273d17775a2669dff43d7c2cffef8a9278496b
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x17fd1de56390943e943b51ef0d273d17775a2669dff43d7c2cffef8a9278496b",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30cc248e",
"selector": "0x30cc248e",
"calldata_variants": [
"0x30cc248e",
"0x30cc248e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313b7b19",
"selector": "0x313b7b19",
"calldata_variants": [
"0x313b7b19",
"0x313b7b190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|