019b477e-da3b-7268-98de-6a827dac26df
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 |
|---|---|---|---|---|
| 29439 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29440 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108129 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108130 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108131 | detector.run | complete | 1 / 3 | 1 week ago |
| 108132 | 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 0x00a6 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x8da5cb5b 00000018: GT 00000019: PUSH2 0x0063 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x8da5cb5b 00000023: EQ 00000024: PUSH2 0x017e 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x956a45a6 0000002e: EQ 0000002f: PUSH2 0x01a8 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xced2453e 00000039: EQ 0000003a: PUSH2 0x01e4 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xd0e30db0 00000044: EQ 00000045: PUSH2 0x020e 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xe06e60a4 0000004f: EQ 00000050: PUSH2 0x0218 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xfc5ff072 0000005a: EQ 0000005b: PUSH2 0x022e 0000005e: JUMPI 0000005f: PUSH2 0x00a6 00000062: JUMP 00000063: JUMPDEST 00000064: DUP1 00000065: PUSH4 0x15d0dfd2 0000006a: EQ 0000006b: PUSH2 0x00aa 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0x2552317c 00000075: EQ 00000076: PUSH2 0x00d4 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0x316484c5 00000080: EQ 00000081: PUSH2 0x00fe 00000084: JUMPI 00000085: DUP1 00000086: PUSH4 0x3ccfd60b 0000008b: EQ 0000008c: PUSH2 0x0114 0000008f: JUMPI 00000090: DUP1 00000091: PUSH4 0x6de55686 00000096: EQ 00000097: PUSH2 0x012a 0000009a: JUMPI 0000009b: DUP1 0000009c: PUSH4 0x84f84921 000000a1: EQ 000000a2: PUSH2 0x0154 000000a5: JUMPI 000000a6: JUMPDEST 000000a7: PUSH0 000000a8: DUP1 000000a9: REVERT 000000aa: JUMPDEST 000000ab: CALLVALUE 000000ac: DUP1 000000ad: ISZERO 000000ae: PUSH2 0x00b5 000000b1: JUMPI 000000b2: PUSH0 000000b3: DUP1 000000b4: REVERT 000000b5: JUMPDEST 000000b6: POP 000000b7: PUSH2 0x00be 000000ba: PUSH2 0x0244 000000bd: JUMP 000000be: JUMPDEST 000000bf: PUSH1 0x40 000000c1: MLOAD 000000c2: PUSH2 0x00cb 000000c5: SWAP2 000000c6: SWAP1 000000c7: PUSH2 0x0b4d 000000ca: JUMP 000000cb: JUMPDEST 000000cc: PUSH1 0x40 000000ce: MLOAD 000000cf: DUP1 000000d0: SWAP2 000000d1: SUB 000000d2: SWAP1 000000d3: RETURN 000000d4: JUMPDEST 000000d5: CALLVALUE 000000d6: DUP1 000000d7: ISZERO 000000d8: PUSH2 0x00df 000000db: JUMPI 000000dc: PUSH0 000000dd: DUP1 000000de: REVERT 000000df: JUMPDEST 000000e0: POP 000000e1: PUSH2 0x00e8 000000e4: PUSH2 0x0257 000000e7: JUMP 000000e8: JUMPDEST 000000e9: PUSH1 0x40 000000eb: MLOAD 000000ec: PUSH2 0x00f5 000000ef: SWAP2 000000f0: SWAP1 000000f1: PUSH2 0x0b7e 000000f4: JUMP 000000f5: JUMPDEST 000000f6: PUSH1 0x40 000000f8: MLOAD 000000f9: DUP1 000000fa: SWAP2 000000fb: SUB 000000fc: SWAP1 000000fd: RETURN 000000fe: JUMPDEST 000000ff: CALLVALUE 00000100: DUP1 00000101: ISZERO 00000102: PUSH2 0x0109 00000105: JUMPI 00000106: PUSH0 00000107: DUP1 00000108: REVERT 00000109: JUMPDEST 0000010a: POP 0000010b: PUSH2 0x0112 0000010e: PUSH2 0x025d 00000111: JUMP 00000112: JUMPDEST 00000113: STOP 00000114: JUMPDEST 00000115: CALLVALUE 00000116: DUP1 00000117: ISZERO 00000118: PUSH2 0x011f 0000011b: JUMPI 0000011c: PUSH0 0000011d: DUP1 0000011e: REVERT 0000011f: JUMPDEST 00000120: POP 00000121: PUSH2 0x0128 00000124: PUSH2 0x039a 00000127: JUMP 00000128: JUMPDEST 00000129: STOP 0000012a: JUMPDEST 0000012b: CALLVALUE 0000012c: DUP1 0000012d: ISZERO 0000012e: PUSH2 0x0135 00000131: JUMPI 00000132: PUSH0 00000133: DUP1 00000134: REVERT 00000135: JUMPDEST 00000136: POP 00000137: PUSH2 0x013e 0000013a: PUSH2 0x06c2 0000013d: JUMP 0000013e: JUMPDEST 0000013f: PUSH1 0x40 00000141: MLOAD 00000142: PUSH2 0x014b 00000145: SWAP2 00000146: SWAP1 00000147: PUSH2 0x0bd6 0000014a: JUMP 0000014b: JUMPDEST 0000014c: PUSH1 0x40 0000014e: MLOAD 0000014f: DUP1 00000150: SWAP2 00000151: SUB 00000152: SWAP1 00000153: RETURN 00000154: JUMPDEST 00000155: CALLVALUE 00000156: DUP1 00000157: ISZERO 00000158: PUSH2 0x015f 0000015b: JUMPI 0000015c: PUSH0 0000015d: DUP1 0000015e: REVERT 0000015f: JUMPDEST 00000160: POP 00000161: PUSH2 0x0168 00000164: PUSH2 0x06e7 00000167: JUMP 00000168: JUMPDEST 00000169: PUSH1 0x40 0000016b: MLOAD 0000016c: PUSH2 0x0175 0000016f: SWAP2 00000170: SWAP1 00000171: PUSH2 0x0b4d 00000174: JUMP 00000175: JUMPDEST 00000176: PUSH1 0x40 00000178: MLOAD 00000179: DUP1 0000017a: SWAP2 0000017b: SUB 0000017c: SWAP1 0000017d: RETURN 0000017e: JUMPDEST 0000017f: CALLVALUE 00000180: DUP1 00000181: ISZERO 00000182: PUSH2 0x0189 00000185: JUMPI 00000186: PUSH0 00000187: DUP1 00000188: REVERT 00000189: JUMPDEST 0000018a: POP 0000018b: PUSH2 0x0192 0000018e: PUSH2 0x06fa 00000191: JUMP 00000192: JUMPDEST 00000193: PUSH1 0x40 00000195: MLOAD 00000196: PUSH2 0x019f 00000199: SWAP2 0000019a: SWAP1 0000019b: PUSH2 0x0bd6 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: DUP1 000001a4: SWAP2 000001a5: SUB 000001a6: SWAP1 000001a7: RETURN 000001a8: JUMPDEST 000001a9: CALLVALUE 000001aa: DUP1 000001ab: ISZERO 000001ac: PUSH2 0x01b3 000001af: JUMPI 000001b0: PUSH0 000001b1: DUP1 000001b2: REVERT 000001b3: JUMPDEST 000001b4: POP 000001b5: PUSH2 0x01ce 000001b8: PUSH1 0x04 000001ba: DUP1 000001bb: CALLDATASIZE 000001bc: SUB 000001bd: DUP2 000001be: ADD 000001bf: SWAP1 000001c0: PUSH2 0x01c9 000001c3: SWAP2 000001c4: SWAP1 000001c5: PUSH2 0x0c1d 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH2 0x071d 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH1 0x40 000001d1: MLOAD 000001d2: PUSH2 0x01db 000001d5: SWAP2 000001d6: SWAP1 000001d7: PUSH2 0x0ca3 000001da: JUMP 000001db: JUMPDEST 000001dc: PUSH1 0x40 000001de: MLOAD 000001df: DUP1 000001e0: SWAP2 000001e1: SUB 000001e2: SWAP1 000001e3: RETURN 000001e4: JUMPDEST 000001e5: CALLVALUE 000001e6: DUP1 000001e7: ISZERO 000001e8: PUSH2 0x01ef 000001eb: JUMPI 000001ec: PUSH0 000001ed: DUP1 000001ee: REVERT 000001ef: JUMPDEST 000001f0: POP 000001f1: PUSH2 0x01f8 000001f4: PUSH2 0x0751 000001f7: JUMP 000001f8: JUMPDEST 000001f9: PUSH1 0x40 000001fb: MLOAD 000001fc: PUSH2 0x0205 000001ff: SWAP2 00000200: SWAP1 00000201: PUSH2 0x0b4d 00000204: JUMP 00000205: JUMPDEST 00000206: PUSH1 0x40 00000208: MLOAD 00000209: DUP1 0000020a: SWAP2 0000020b: SUB 0000020c: SWAP1 0000020d: RETURN 0000020e: JUMPDEST 0000020f: PUSH2 0x0216 00000212: PUSH2 0x0850 00000215: JUMP 00000216: JUMPDEST 00000217: STOP 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: DUP1 0000021b: ISZERO 0000021c: PUSH2 0x0223 0000021f: JUMPI 00000220: PUSH0 00000221: DUP1 00000222: REVERT 00000223: JUMPDEST 00000224: POP 00000225: PUSH2 0x022c 00000228: PUSH2 0x0894 0000022b: JUMP 0000022c: JUMPDEST 0000022d: STOP 0000022e: JUMPDEST 0000022f: CALLVALUE 00000230: DUP1 00000231: ISZERO 00000232: PUSH2 0x0239 00000235: JUMPI 00000236: PUSH0 00000237: DUP1 00000238: REVERT 00000239: JUMPDEST 0000023a: POP 0000023b: PUSH2 0x0242 0000023e: PUSH2 0x0993 00000241: JUMP 00000242: JUMPDEST 00000243: STOP 00000244: JUMPDEST 00000245: PUSH1 0x01 00000247: PUSH1 0x15 00000249: SWAP1 0000024a: SLOAD 0000024b: SWAP1 0000024c: PUSH2 0x0100 0000024f: EXP 00000250: SWAP1 00000251: DIV 00000252: PUSH1 0xff 00000254: AND 00000255: DUP2 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH1 0x02 0000025a: SLOAD 0000025b: DUP2 0000025c: JUMP 0000025d: JUMPDEST 0000025e: PUSH0 0000025f: DUP1 00000260: SLOAD 00000261: SWAP1 00000262: PUSH2 0x0100 00000265: EXP 00000266: SWAP1 00000267: DIV 00000268: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027d: AND 0000027e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000293: AND 00000294: CALLER 00000295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002aa: AND 000002ab: EQ 000002ac: DUP1 000002ad: PUSH2 0x0302 000002b0: JUMPI 000002b1: POP 000002b2: PUSH1 0x01 000002b4: PUSH0 000002b5: SWAP1 000002b6: SLOAD 000002b7: SWAP1 000002b8: PUSH2 0x0100 000002bb: EXP 000002bc: SWAP1 000002bd: DIV 000002be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d3: AND 000002d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e9: AND 000002ea: CALLER 000002eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000300: AND 00000301: EQ 00000302: JUMPDEST 00000303: PUSH2 0x0341 00000306: JUMPI 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000032b: DUP2 0000032c: MSTORE 0000032d: PUSH1 0x04 0000032f: ADD 00000330: PUSH2 0x0338 00000333: SWAP1 00000334: PUSH2 0x0d16 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH1 0x40 0000033b: MLOAD 0000033c: DUP1 0000033d: SWAP2 0000033e: SUB 0000033f: SWAP1 00000340: REVERT 00000341: JUMPDEST 00000342: PUSH1 0x01 00000344: PUSH1 0x14 00000346: SWAP1 00000347: SLOAD 00000348: SWAP1 00000349: PUSH2 0x0100 0000034c: EXP 0000034d: SWAP1 0000034e: DIV 0000034f: PUSH1 0xff 00000351: AND 00000352: ISZERO 00000353: PUSH2 0x0391 00000356: JUMPI 00000357: PUSH1 0x40 00000359: MLOAD 0000035a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000037b: DUP2 0000037c: MSTORE 0000037d: PUSH1 0x04 0000037f: ADD 00000380: PUSH2 0x0388 00000383: SWAP1 00000384: PUSH2 0x0d7e 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH1 0x40 0000038b: MLOAD 0000038c: DUP1 0000038d: SWAP2 0000038e: SUB 0000038f: SWAP1 00000390: REVERT 00000391: JUMPDEST 00000392: NUMBER 00000393: PUSH1 0x02 00000395: DUP2 00000396: SWAP1 00000397: SSTORE 00000398: POP 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH0 0000039c: DUP1 0000039d: SLOAD 0000039e: SWAP1 0000039f: PUSH2 0x0100 000003a2: EXP 000003a3: SWAP1 000003a4: DIV 000003a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ba: AND 000003bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d0: AND 000003d1: CALLER 000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e7: AND 000003e8: EQ 000003e9: DUP1 000003ea: PUSH2 0x043f 000003ed: JUMPI 000003ee: POP 000003ef: PUSH1 0x01 000003f1: PUSH0 000003f2: SWAP1 000003f3: SLOAD 000003f4: SWAP1 000003f5: PUSH2 0x0100 000003f8: EXP 000003f9: SWAP1 000003fa: DIV 000003fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000410: AND 00000411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000426: AND 00000427: CALLER 00000428: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043d: AND 0000043e: EQ 0000043f: JUMPDEST 00000440: PUSH2 0x047e 00000443: JUMPI 00000444: PUSH1 0x40 00000446: MLOAD 00000447: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000468: DUP2 00000469: MSTORE 0000046a: PUSH1 0x04 0000046c: ADD 0000046d: PUSH2 0x0475 00000470: SWAP1 00000471: PUSH2 0x0d16 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH1 0x40 00000478: MLOAD 00000479: DUP1 0000047a: SWAP2 0000047b: SUB 0000047c: SWAP1 0000047d: REVERT 0000047e: JUMPDEST 0000047f: PUSH0 00000480: DUP1 00000481: SLOAD 00000482: SWAP1 00000483: PUSH2 0x0100 00000486: EXP 00000487: SWAP1 00000488: DIV 00000489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049e: AND 0000049f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b4: AND 000004b5: CALLER 000004b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cb: AND 000004cc: EQ 000004cd: PUSH2 0x05b6 000004d0: JUMPI 000004d1: PUSH1 0x01 000004d3: PUSH1 0x14 000004d5: SWAP1 000004d6: SLOAD 000004d7: SWAP1 000004d8: PUSH2 0x0100 000004db: EXP 000004dc: SWAP1 000004dd: DIV 000004de: PUSH1 0xff 000004e0: AND 000004e1: PUSH2 0x051f 000004e4: JUMPI 000004e5: PUSH1 0x40 000004e7: MLOAD 000004e8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000509: DUP2 0000050a: MSTORE 0000050b: PUSH1 0x04 0000050d: ADD 0000050e: PUSH2 0x0516 00000511: SWAP1 00000512: PUSH2 0x0de6 00000515: JUMP 00000516: JUMPDEST 00000517: PUSH1 0x40 00000519: MLOAD 0000051a: DUP1 0000051b: SWAP2 0000051c: SUB 0000051d: SWAP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: PUSH2 0x0527 00000523: PUSH2 0x0751 00000526: JUMP 00000527: JUMPDEST 00000528: PUSH2 0x0566 0000052b: JUMPI 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000550: DUP2 00000551: MSTORE 00000552: PUSH1 0x04 00000554: ADD 00000555: PUSH2 0x055d 00000558: SWAP1 00000559: PUSH2 0x0e74 0000055c: JUMP 0000055d: JUMPDEST 0000055e: PUSH1 0x40 00000560: MLOAD 00000561: DUP1 00000562: SWAP2 00000563: SUB 00000564: SWAP1 00000565: REVERT 00000566: JUMPDEST 00000567: PUSH1 0x01 00000569: PUSH1 0x15 0000056b: SWAP1 0000056c: SLOAD 0000056d: SWAP1 0000056e: PUSH2 0x0100 00000571: EXP 00000572: SWAP1 00000573: DIV 00000574: PUSH1 0xff 00000576: AND 00000577: PUSH2 0x05b5 0000057a: JUMPI 0000057b: PUSH1 0x40 0000057d: MLOAD 0000057e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000059f: DUP2 000005a0: MSTORE 000005a1: PUSH1 0x04 000005a3: ADD 000005a4: PUSH2 0x05ac 000005a7: SWAP1 000005a8: PUSH2 0x0edc 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH1 0x40 000005af: MLOAD 000005b0: DUP1 000005b1: SWAP2 000005b2: SUB 000005b3: SWAP1 000005b4: REVERT 000005b5: JUMPDEST 000005b6: JUMPDEST 000005b7: PUSH0 000005b8: SELFBALANCE 000005b9: GT 000005ba: PUSH2 0x05f8 000005bd: JUMPI 000005be: PUSH1 0x40 000005c0: MLOAD 000005c1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005e2: DUP2 000005e3: MSTORE 000005e4: PUSH1 0x04 000005e6: ADD 000005e7: PUSH2 0x05ef 000005ea: SWAP1 000005eb: PUSH2 0x0f44 000005ee: JUMP 000005ef: JUMPDEST 000005f0: PUSH1 0x40 000005f2: MLOAD 000005f3: DUP1 000005f4: SWAP2 000005f5: SUB 000005f6: SWAP1 000005f7: REVERT 000005f8: JUMPDEST 000005f9: PUSH0 000005fa: SELFBALANCE 000005fb: SWAP1 000005fc: POP 000005fd: PUSH0 000005fe: CALLER 000005ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000614: AND 00000615: DUP3 00000616: PUSH1 0x40 00000618: MLOAD 00000619: PUSH2 0x0621 0000061c: SWAP1 0000061d: PUSH2 0x0f8f 00000620: JUMP 00000621: JUMPDEST 00000622: PUSH0 00000623: PUSH1 0x40 00000625: MLOAD 00000626: DUP1 00000627: DUP4 00000628: SUB 00000629: DUP2 0000062a: DUP6 0000062b: DUP8 0000062c: GAS 0000062d: CALL 0000062e: SWAP3 0000062f: POP 00000630: POP 00000631: POP 00000632: RETURNDATASIZE 00000633: DUP1 00000634: PUSH0 00000635: DUP2 00000636: EQ 00000637: PUSH2 0x065b 0000063a: JUMPI 0000063b: PUSH1 0x40 0000063d: MLOAD 0000063e: SWAP2 0000063f: POP 00000640: PUSH1 0x1f 00000642: NOT 00000643: PUSH1 0x3f 00000645: RETURNDATASIZE 00000646: ADD 00000647: AND 00000648: DUP3 00000649: ADD 0000064a: PUSH1 0x40 0000064c: MSTORE 0000064d: RETURNDATASIZE 0000064e: DUP3 0000064f: MSTORE 00000650: RETURNDATASIZE 00000651: PUSH0 00000652: PUSH1 0x20 00000654: DUP5 00000655: ADD 00000656: RETURNDATACOPY 00000657: PUSH2 0x0660 0000065a: JUMP 0000065b: JUMPDEST 0000065c: PUSH1 0x60 0000065e: SWAP2 0000065f: POP 00000660: JUMPDEST 00000661: POP 00000662: POP 00000663: SWAP1 00000664: POP 00000665: DUP1 00000666: PUSH2 0x06a4 00000669: JUMPI 0000066a: PUSH1 0x40 0000066c: MLOAD 0000066d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000068e: DUP2 0000068f: MSTORE 00000690: PUSH1 0x04 00000692: ADD 00000693: PUSH2 0x069b 00000696: SWAP1 00000697: PUSH2 0x0fed 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: DUP1 000006a0: SWAP2 000006a1: SUB 000006a2: SWAP1 000006a3: REVERT 000006a4: JUMPDEST 000006a5: PUSH0 000006a6: PUSH1 0x01 000006a8: PUSH1 0x14 000006aa: PUSH2 0x0100 000006ad: EXP 000006ae: DUP2 000006af: SLOAD 000006b0: DUP2 000006b1: PUSH1 0xff 000006b3: MUL 000006b4: NOT 000006b5: AND 000006b6: SWAP1 000006b7: DUP4 000006b8: ISZERO 000006b9: ISZERO 000006ba: MUL 000006bb: OR 000006bc: SWAP1 000006bd: SSTORE 000006be: POP 000006bf: POP 000006c0: POP 000006c1: JUMP 000006c2: JUMPDEST 000006c3: PUSH1 0x01 000006c5: PUSH0 000006c6: SWAP1 000006c7: SLOAD 000006c8: SWAP1 000006c9: PUSH2 0x0100 000006cc: EXP 000006cd: SWAP1 000006ce: DIV 000006cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e4: AND 000006e5: DUP2 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH1 0x01 000006ea: PUSH1 0x14 000006ec: SWAP1 000006ed: SLOAD 000006ee: SWAP1 000006ef: PUSH2 0x0100 000006f2: EXP 000006f3: SWAP1 000006f4: DIV 000006f5: PUSH1 0xff 000006f7: AND 000006f8: DUP2 000006f9: JUMP 000006fa: JUMPDEST 000006fb: PUSH0 000006fc: DUP1 000006fd: SLOAD 000006fe: SWAP1 000006ff: PUSH2 0x0100 00000702: EXP 00000703: SWAP1 00000704: DIV 00000705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000071a: AND 0000071b: DUP2 0000071c: JUMP 0000071d: JUMPDEST 0000071e: PUSH1 0x03 00000720: DUP2 00000721: PUSH1 0x03 00000723: DUP2 00000724: LT 00000725: PUSH2 0x072c 00000728: JUMPI 00000729: PUSH0 0000072a: DUP1 0000072b: REVERT 0000072c: JUMPDEST 0000072d: ADD 0000072e: PUSH0 0000072f: SWAP2 00000730: POP 00000731: SLOAD 00000732: SWAP1 00000733: PUSH2 0x0100 00000736: EXP 00000737: SWAP1 00000738: DIV 00000739: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000074e: AND 0000074f: DUP2 00000750: JUMP 00000751: JUMPDEST 00000752: PUSH0 00000753: DUP1 00000754: PUSH0 00000755: SWAP1 00000756: POP 00000757: JUMPDEST 00000758: PUSH1 0x03 0000075a: DUP2 0000075b: LT 0000075c: ISZERO 0000075d: PUSH2 0x0847 00000760: JUMPI 00000761: PUSH0 00000762: PUSH1 0x03 00000764: DUP3 00000765: PUSH1 0x03 00000767: DUP2 00000768: LT 00000769: PUSH2 0x0775 0000076c: JUMPI 0000076d: PUSH2 0x0774 00000770: PUSH2 0x100b 00000773: JUMP 00000774: JUMPDEST 00000775: JUMPDEST 00000776: ADD 00000777: PUSH0 00000778: SWAP1 00000779: SLOAD 0000077a: SWAP1 0000077b: PUSH2 0x0100 0000077e: EXP 0000077f: SWAP1 00000780: DIV 00000781: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000796: AND 00000797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ac: AND 000007ad: PUSH4 0x70a08231 000007b2: PUSH0 000007b3: DUP1 000007b4: SLOAD 000007b5: SWAP1 000007b6: PUSH2 0x0100 000007b9: EXP 000007ba: SWAP1 000007bb: DIV 000007bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d1: AND 000007d2: PUSH1 0x40 000007d4: MLOAD 000007d5: DUP3 000007d6: PUSH4 0xffffffff 000007db: AND 000007dc: PUSH1 0xe0 000007de: SHL 000007df: DUP2 000007e0: MSTORE 000007e1: PUSH1 0x04 000007e3: ADD 000007e4: PUSH2 0x07ed 000007e7: SWAP2 000007e8: SWAP1 000007e9: PUSH2 0x0bd6 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH1 0x20 000007f0: PUSH1 0x40 000007f2: MLOAD 000007f3: DUP1 000007f4: DUP4 000007f5: SUB 000007f6: DUP2 000007f7: DUP7 000007f8: GAS 000007f9: STATICCALL 000007fa: ISZERO 000007fb: DUP1 000007fc: ISZERO 000007fd: PUSH2 0x0808 00000800: JUMPI 00000801: RETURNDATASIZE 00000802: PUSH0 00000803: DUP1 00000804: RETURNDATACOPY 00000805: RETURNDATASIZE 00000806: PUSH0 00000807: REVERT 00000808: JUMPDEST 00000809: POP 0000080a: POP 0000080b: POP 0000080c: POP 0000080d: PUSH1 0x40 0000080f: MLOAD 00000810: RETURNDATASIZE 00000811: PUSH1 0x1f 00000813: NOT 00000814: PUSH1 0x1f 00000816: DUP3 00000817: ADD 00000818: AND 00000819: DUP3 0000081a: ADD 0000081b: DUP1 0000081c: PUSH1 0x40 0000081e: MSTORE 0000081f: POP 00000820: DUP2 00000821: ADD 00000822: SWAP1 00000823: PUSH2 0x082c 00000826: SWAP2 00000827: SWAP1 00000828: PUSH2 0x104c 0000082b: JUMP 0000082c: JUMPDEST 0000082d: SUB 0000082e: PUSH2 0x083a 00000831: JUMPI 00000832: PUSH0 00000833: SWAP2 00000834: POP 00000835: POP 00000836: PUSH2 0x084d 00000839: JUMP 0000083a: JUMPDEST 0000083b: DUP1 0000083c: DUP1 0000083d: PUSH1 0x01 0000083f: ADD 00000840: SWAP2 00000841: POP 00000842: POP 00000843: PUSH2 0x0757 00000846: JUMP 00000847: JUMPDEST 00000848: POP 00000849: PUSH1 0x01 0000084b: SWAP1 0000084c: POP 0000084d: JUMPDEST 0000084e: SWAP1 0000084f: JUMP 00000850: JUMPDEST 00000851: PUSH0 00000852: CALLVALUE 00000853: GT 00000854: PUSH2 0x0892 00000857: JUMPI 00000858: PUSH1 0x40 0000085a: MLOAD 0000085b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000087c: DUP2 0000087d: MSTORE 0000087e: PUSH1 0x04 00000880: ADD 00000881: PUSH2 0x0889 00000884: SWAP1 00000885: PUSH2 0x10c1 00000888: JUMP 00000889: JUMPDEST 0000088a: PUSH1 0x40 0000088c: MLOAD 0000088d: DUP1 0000088e: SWAP2 0000088f: SUB 00000890: SWAP1 00000891: REVERT 00000892: JUMPDEST 00000893: JUMP 00000894: JUMPDEST 00000895: PUSH0 00000896: DUP1 00000897: SLOAD 00000898: SWAP1 00000899: PUSH2 0x0100 0000089c: EXP 0000089d: SWAP1 0000089e: DIV 0000089f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b4: AND 000008b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ca: AND 000008cb: CALLER 000008cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e1: AND 000008e2: EQ 000008e3: PUSH2 0x0921 000008e6: JUMPI 000008e7: PUSH1 0x40 000008e9: MLOAD 000008ea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000090b: DUP2 0000090c: MSTORE 0000090d: PUSH1 0x04 0000090f: ADD 00000910: PUSH2 0x0918 00000913: SWAP1 00000914: PUSH2 0x114f 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH1 0x40 0000091b: MLOAD 0000091c: DUP1 0000091d: SWAP2 0000091e: SUB 0000091f: SWAP1 00000920: REVERT 00000921: JUMPDEST 00000922: PUSH0 00000923: DUP1 00000924: SLOAD 00000925: SWAP1 00000926: PUSH2 0x0100 00000929: EXP 0000092a: SWAP1 0000092b: DIV 0000092c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000941: AND 00000942: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000957: AND 00000958: CALLER 00000959: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096e: AND 0000096f: EQ 00000970: PUSH2 0x0977 00000973: JUMPI 00000974: PUSH0 00000975: DUP1 00000976: REVERT 00000977: JUMPDEST 00000978: PUSH1 0x01 0000097a: DUP1 0000097b: PUSH1 0x15 0000097d: PUSH2 0x0100 00000980: EXP 00000981: DUP2 00000982: SLOAD 00000983: DUP2 00000984: PUSH1 0xff 00000986: MUL 00000987: NOT 00000988: AND 00000989: SWAP1 0000098a: DUP4 0000098b: ISZERO 0000098c: ISZERO 0000098d: MUL 0000098e: OR 0000098f: SWAP1 00000990: SSTORE 00000991: POP 00000992: JUMP 00000993: JUMPDEST 00000994: PUSH0 00000995: DUP1 00000996: SLOAD 00000997: SWAP1 00000998: PUSH2 0x0100 0000099b: EXP 0000099c: SWAP1 0000099d: DIV 0000099e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b3: AND 000009b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c9: AND 000009ca: CALLER 000009cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e0: AND 000009e1: EQ 000009e2: DUP1 000009e3: PUSH2 0x0a38 000009e6: JUMPI 000009e7: POP 000009e8: PUSH1 0x01 000009ea: PUSH0 000009eb: SWAP1 000009ec: SLOAD 000009ed: SWAP1 000009ee: PUSH2 0x0100 000009f1: EXP 000009f2: SWAP1 000009f3: DIV 000009f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a09: AND 00000a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1f: AND 00000a20: CALLER 00000a21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a36: AND 00000a37: EQ 00000a38: JUMPDEST 00000a39: PUSH2 0x0a77 00000a3c: JUMPI 00000a3d: PUSH1 0x40 00000a3f: MLOAD 00000a40: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a61: DUP2 00000a62: MSTORE 00000a63: PUSH1 0x04 00000a65: ADD 00000a66: PUSH2 0x0a6e 00000a69: SWAP1 00000a6a: PUSH2 0x0d16 00000a6d: JUMP 00000a6e: JUMPDEST 00000a6f: PUSH1 0x40 00000a71: MLOAD 00000a72: DUP1 00000a73: SWAP2 00000a74: SUB 00000a75: SWAP1 00000a76: REVERT 00000a77: JUMPDEST 00000a78: PUSH1 0x01 00000a7a: PUSH1 0x14 00000a7c: SWAP1 00000a7d: SLOAD 00000a7e: SWAP1 00000a7f: PUSH2 0x0100 00000a82: EXP 00000a83: SWAP1 00000a84: DIV 00000a85: PUSH1 0xff 00000a87: AND 00000a88: ISZERO 00000a89: PUSH2 0x0ac7 00000a8c: JUMPI 00000a8d: PUSH1 0x40 00000a8f: MLOAD 00000a90: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ab1: DUP2 00000ab2: MSTORE 00000ab3: PUSH1 0x04 00000ab5: ADD 00000ab6: PUSH2 0x0abe 00000ab9: SWAP1 00000aba: PUSH2 0x0d7e 00000abd: JUMP 00000abe: JUMPDEST 00000abf: PUSH1 0x40 00000ac1: MLOAD 00000ac2: DUP1 00000ac3: SWAP2 00000ac4: SUB 00000ac5: SWAP1 00000ac6: REVERT 00000ac7: JUMPDEST 00000ac8: PUSH1 0x01 00000aca: PUSH1 0x02 00000acc: SLOAD 00000acd: PUSH2 0x0ad6 00000ad0: SWAP2 00000ad1: SWAP1 00000ad2: PUSH2 0x119a 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: NUMBER 00000ad8: EQ 00000ad9: PUSH2 0x0b17 00000adc: JUMPI 00000add: PUSH1 0x40 00000adf: MLOAD 00000ae0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b01: DUP2 00000b02: MSTORE 00000b03: PUSH1 0x04 00000b05: ADD 00000b06: PUSH2 0x0b0e 00000b09: SWAP1 00000b0a: PUSH2 0x123d 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: PUSH1 0x40 00000b11: MLOAD 00000b12: DUP1 00000b13: SWAP2 00000b14: SUB 00000b15: SWAP1 00000b16: REVERT 00000b17: JUMPDEST 00000b18: PUSH1 0x01 00000b1a: DUP1 00000b1b: PUSH1 0x14 00000b1d: PUSH2 0x0100 00000b20: EXP 00000b21: DUP2 00000b22: SLOAD 00000b23: DUP2 00000b24: PUSH1 0xff 00000b26: MUL 00000b27: NOT 00000b28: AND 00000b29: SWAP1 00000b2a: DUP4 00000b2b: ISZERO 00000b2c: ISZERO 00000b2d: MUL 00000b2e: OR 00000b2f: SWAP1 00000b30: SSTORE 00000b31: POP 00000b32: JUMP 00000b33: JUMPDEST 00000b34: PUSH0 00000b35: DUP2 00000b36: ISZERO 00000b37: ISZERO 00000b38: SWAP1 00000b39: POP 00000b3a: SWAP2 00000b3b: SWAP1 00000b3c: POP 00000b3d: JUMP 00000b3e: JUMPDEST 00000b3f: PUSH2 0x0b47 00000b42: DUP2 00000b43: PUSH2 0x0b33 00000b46: JUMP 00000b47: JUMPDEST 00000b48: DUP3 00000b49: MSTORE 00000b4a: POP 00000b4b: POP 00000b4c: JUMP 00000b4d: JUMPDEST 00000b4e: PUSH0 00000b4f: PUSH1 0x20 00000b51: DUP3 00000b52: ADD 00000b53: SWAP1 00000b54: POP 00000b55: PUSH2 0x0b60 00000b58: PUSH0 00000b59: DUP4 00000b5a: ADD 00000b5b: DUP5 00000b5c: PUSH2 0x0b3e 00000b5f: JUMP 00000b60: JUMPDEST 00000b61: SWAP3 00000b62: SWAP2 00000b63: POP 00000b64: POP 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH0 00000b68: DUP2 00000b69: SWAP1 00000b6a: POP 00000b6b: SWAP2 00000b6c: SWAP1 00000b6d: POP 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: PUSH2 0x0b78 00000b73: DUP2 00000b74: PUSH2 0x0b66 00000b77: JUMP 00000b78: JUMPDEST 00000b79: DUP3 00000b7a: MSTORE 00000b7b: POP 00000b7c: POP 00000b7d: JUMP 00000b7e: JUMPDEST 00000b7f: PUSH0 00000b80: PUSH1 0x20 00000b82: DUP3 00000b83: ADD 00000b84: SWAP1 00000b85: POP 00000b86: PUSH2 0x0b91 00000b89: PUSH0 00000b8a: DUP4 00000b8b: ADD 00000b8c: DUP5 00000b8d: PUSH2 0x0b6f 00000b90: JUMP 00000b91: JUMPDEST 00000b92: SWAP3 00000b93: SWAP2 00000b94: POP 00000b95: POP 00000b96: JUMP 00000b97: JUMPDEST 00000b98: PUSH0 00000b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bae: DUP3 00000baf: AND 00000bb0: SWAP1 00000bb1: POP 00000bb2: SWAP2 00000bb3: SWAP1 00000bb4: POP 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: PUSH0 00000bb8: PUSH2 0x0bc0 00000bbb: DUP3 00000bbc: PUSH2 0x0b97 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: SWAP1 00000bc2: POP 00000bc3: SWAP2 00000bc4: SWAP1 00000bc5: POP 00000bc6: JUMP 00000bc7: JUMPDEST 00000bc8: PUSH2 0x0bd0 00000bcb: DUP2 00000bcc: PUSH2 0x0bb6 00000bcf: JUMP 00000bd0: JUMPDEST 00000bd1: DUP3 00000bd2: MSTORE 00000bd3: POP 00000bd4: POP 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: PUSH0 00000bd8: PUSH1 0x20 00000bda: DUP3 00000bdb: ADD 00000bdc: SWAP1 00000bdd: POP 00000bde: PUSH2 0x0be9 00000be1: PUSH0 00000be2: DUP4 00000be3: ADD 00000be4: DUP5 00000be5: PUSH2 0x0bc7 00000be8: JUMP 00000be9: JUMPDEST 00000bea: SWAP3 00000beb: SWAP2 00000bec: POP 00000bed: POP 00000bee: JUMP 00000bef: JUMPDEST 00000bf0: PUSH0 00000bf1: DUP1 00000bf2: REVERT 00000bf3: JUMPDEST 00000bf4: PUSH2 0x0bfc 00000bf7: DUP2 00000bf8: PUSH2 0x0b66 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: DUP2 00000bfe: EQ 00000bff: PUSH2 0x0c06 00000c02: JUMPI 00000c03: PUSH0 00000c04: DUP1 00000c05: REVERT 00000c06: JUMPDEST 00000c07: POP 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH0 00000c0b: DUP2 00000c0c: CALLDATALOAD 00000c0d: SWAP1 00000c0e: POP 00000c0f: PUSH2 0x0c17 00000c12: DUP2 00000c13: PUSH2 0x0bf3 00000c16: JUMP 00000c17: JUMPDEST 00000c18: SWAP3 00000c19: SWAP2 00000c1a: POP 00000c1b: POP 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: PUSH0 00000c1f: PUSH1 0x20 00000c21: DUP3 00000c22: DUP5 00000c23: SUB 00000c24: SLT 00000c25: ISZERO 00000c26: PUSH2 0x0c32 00000c29: JUMPI 00000c2a: PUSH2 0x0c31 00000c2d: PUSH2 0x0bef 00000c30: JUMP 00000c31: JUMPDEST 00000c32: JUMPDEST 00000c33: PUSH0 00000c34: PUSH2 0x0c3f 00000c37: DUP5 00000c38: DUP3 00000c39: DUP6 00000c3a: ADD 00000c3b: PUSH2 0x0c09 00000c3e: JUMP 00000c3f: JUMPDEST 00000c40: SWAP2 00000c41: POP 00000c42: POP 00000c43: SWAP3 00000c44: SWAP2 00000c45: POP 00000c46: POP 00000c47: JUMP 00000c48: JUMPDEST 00000c49: PUSH0 00000c4a: DUP2 00000c4b: SWAP1 00000c4c: POP 00000c4d: SWAP2 00000c4e: SWAP1 00000c4f: POP 00000c50: JUMP 00000c51: JUMPDEST 00000c52: PUSH0 00000c53: PUSH2 0x0c6b 00000c56: PUSH2 0x0c66 00000c59: PUSH2 0x0c61 00000c5c: DUP5 00000c5d: PUSH2 0x0b97 00000c60: JUMP 00000c61: JUMPDEST 00000c62: PUSH2 0x0c48 00000c65: JUMP 00000c66: JUMPDEST 00000c67: PUSH2 0x0b97 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: SWAP1 00000c6d: POP 00000c6e: SWAP2 00000c6f: SWAP1 00000c70: POP 00000c71: JUMP 00000c72: JUMPDEST 00000c73: PUSH0 00000c74: PUSH2 0x0c7c 00000c77: DUP3 00000c78: PUSH2 0x0c51 00000c7b: JUMP 00000c7c: JUMPDEST 00000c7d: SWAP1 00000c7e: POP 00000c7f: SWAP2 00000c80: SWAP1 00000c81: POP 00000c82: JUMP 00000c83: JUMPDEST 00000c84: PUSH0 00000c85: PUSH2 0x0c8d 00000c88: DUP3 00000c89: PUSH2 0x0c72 00000c8c: JUMP 00000c8d: JUMPDEST 00000c8e: SWAP1 00000c8f: POP 00000c90: SWAP2 00000c91: SWAP1 00000c92: POP 00000c93: JUMP 00000c94: JUMPDEST 00000c95: PUSH2 0x0c9d 00000c98: DUP2 00000c99: PUSH2 0x0c83 00000c9c: JUMP 00000c9d: JUMPDEST 00000c9e: DUP3 00000c9f: MSTORE 00000ca0: POP 00000ca1: POP 00000ca2: JUMP 00000ca3: JUMPDEST 00000ca4: PUSH0 00000ca5: PUSH1 0x20 00000ca7: DUP3 00000ca8: ADD 00000ca9: SWAP1 00000caa: POP 00000cab: PUSH2 0x0cb6 00000cae: PUSH0 00000caf: DUP4 00000cb0: ADD 00000cb1: DUP5 00000cb2: PUSH2 0x0c94 00000cb5: JUMP 00000cb6: JUMPDEST 00000cb7: SWAP3 00000cb8: SWAP2 00000cb9: POP 00000cba: POP 00000cbb: JUMP 00000cbc: JUMPDEST 00000cbd: PUSH0 00000cbe: DUP3 00000cbf: DUP3 00000cc0: MSTORE 00000cc1: PUSH1 0x20 00000cc3: DUP3 00000cc4: ADD 00000cc5: SWAP1 00000cc6: POP 00000cc7: SWAP3 00000cc8: SWAP2 00000cc9: POP 00000cca: POP 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: PUSH32 0x4e6f7420617574686f72697a6564000000000000000000000000000000000000 00000cee: PUSH0 00000cef: DUP3 00000cf0: ADD 00000cf1: MSTORE 00000cf2: POP 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: PUSH0 00000cf6: PUSH2 0x0d00 00000cf9: PUSH1 0x0e 00000cfb: DUP4 00000cfc: PUSH2 0x0cbc 00000cff: JUMP 00000d00: JUMPDEST 00000d01: SWAP2 00000d02: POP 00000d03: PUSH2 0x0d0b 00000d06: DUP3 00000d07: PUSH2 0x0ccc 00000d0a: JUMP 00000d0b: JUMPDEST 00000d0c: PUSH1 0x20 00000d0e: DUP3 00000d0f: ADD 00000d10: SWAP1 00000d11: POP 00000d12: SWAP2 00000d13: SWAP1 00000d14: POP 00000d15: JUMP 00000d16: JUMPDEST 00000d17: PUSH0 00000d18: PUSH1 0x20 00000d1a: DUP3 00000d1b: ADD 00000d1c: SWAP1 00000d1d: POP 00000d1e: DUP2 00000d1f: DUP2 00000d20: SUB 00000d21: PUSH0 00000d22: DUP4 00000d23: ADD 00000d24: MSTORE 00000d25: PUSH2 0x0d2d 00000d28: DUP2 00000d29: PUSH2 0x0cf4 00000d2c: JUMP 00000d2d: JUMPDEST 00000d2e: SWAP1 00000d2f: POP 00000d30: SWAP2 00000d31: SWAP1 00000d32: POP 00000d33: JUMP 00000d34: JUMPDEST 00000d35: PUSH32 0x436f6e646974696f6e20616c7265616479206d65740000000000000000000000 00000d56: PUSH0 00000d57: DUP3 00000d58: ADD 00000d59: MSTORE 00000d5a: POP 00000d5b: JUMP 00000d5c: JUMPDEST 00000d5d: PUSH0 00000d5e: PUSH2 0x0d68 00000d61: PUSH1 0x15 00000d63: DUP4 00000d64: PUSH2 0x0cbc 00000d67: JUMP 00000d68: JUMPDEST 00000d69: SWAP2 00000d6a: POP 00000d6b: PUSH2 0x0d73 00000d6e: DUP3 00000d6f: PUSH2 0x0d34 00000d72: JUMP 00000d73: JUMPDEST 00000d74: PUSH1 0x20 00000d76: DUP3 00000d77: ADD 00000d78: SWAP1 00000d79: POP 00000d7a: SWAP2 00000d7b: SWAP1 00000d7c: POP 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: PUSH0 00000d80: PUSH1 0x20 00000d82: DUP3 00000d83: ADD 00000d84: SWAP1 00000d85: POP 00000d86: DUP2 00000d87: DUP2 00000d88: SUB 00000d89: PUSH0 00000d8a: DUP4 00000d8b: ADD 00000d8c: MSTORE 00000d8d: PUSH2 0x0d95 00000d90: DUP2 00000d91: PUSH2 0x0d5c 00000d94: JUMP 00000d95: JUMPDEST 00000d96: SWAP1 00000d97: POP 00000d98: SWAP2 00000d99: SWAP1 00000d9a: POP 00000d9b: JUMP 00000d9c: JUMPDEST 00000d9d: PUSH32 0x436f6e646974696f6e73206e6f74206d65740000000000000000000000000000 00000dbe: PUSH0 00000dbf: DUP3 00000dc0: ADD 00000dc1: MSTORE 00000dc2: POP 00000dc3: JUMP 00000dc4: JUMPDEST 00000dc5: PUSH0 00000dc6: PUSH2 0x0dd0 00000dc9: PUSH1 0x12 00000dcb: DUP4 00000dcc: PUSH2 0x0cbc 00000dcf: JUMP 00000dd0: JUMPDEST 00000dd1: SWAP2 00000dd2: POP 00000dd3: PUSH2 0x0ddb 00000dd6: DUP3 00000dd7: PUSH2 0x0d9c 00000dda: JUMP 00000ddb: JUMPDEST 00000ddc: PUSH1 0x20 00000dde: DUP3 00000ddf: ADD 00000de0: SWAP1 00000de1: POP 00000de2: SWAP2 00000de3: SWAP1 00000de4: POP 00000de5: JUMP 00000de6: JUMPDEST 00000de7: PUSH0 00000de8: PUSH1 0x20 00000dea: DUP3 00000deb: ADD 00000dec: SWAP1 00000ded: POP 00000dee: DUP2 00000def: DUP2 00000df0: SUB 00000df1: PUSH0 00000df2: DUP4 00000df3: ADD 00000df4: MSTORE 00000df5: PUSH2 0x0dfd 00000df8: DUP2 00000df9: PUSH2 0x0dc4 00000dfc: JUMP 00000dfd: JUMPDEST 00000dfe: SWAP1 00000dff: POP 00000e00: SWAP2 00000e01: SWAP1 00000e02: POP 00000e03: JUMP 00000e04: JUMPDEST 00000e05: PUSH32 0x4f776e6572277320746f6b656e2062616c616e63657320646f206e6f74207361 00000e26: PUSH0 00000e27: DUP3 00000e28: ADD 00000e29: MSTORE 00000e2a: PUSH32 0x74697366792074686520726571756972656d656e740000000000000000000000 00000e4b: PUSH1 0x20 00000e4d: DUP3 00000e4e: ADD 00000e4f: MSTORE 00000e50: POP 00000e51: JUMP 00000e52: JUMPDEST 00000e53: PUSH0 00000e54: PUSH2 0x0e5e 00000e57: PUSH1 0x35 00000e59: DUP4 00000e5a: PUSH2 0x0cbc 00000e5d: JUMP 00000e5e: JUMPDEST 00000e5f: SWAP2 00000e60: POP 00000e61: PUSH2 0x0e69 00000e64: DUP3 00000e65: PUSH2 0x0e04 00000e68: JUMP 00000e69: JUMPDEST 00000e6a: PUSH1 0x40 00000e6c: DUP3 00000e6d: ADD 00000e6e: SWAP1 00000e6f: POP 00000e70: SWAP2 00000e71: SWAP1 00000e72: POP 00000e73: JUMP 00000e74: JUMPDEST 00000e75: PUSH0 00000e76: PUSH1 0x20 00000e78: DUP3 00000e79: ADD 00000e7a: SWAP1 00000e7b: POP 00000e7c: DUP2 00000e7d: DUP2 00000e7e: SUB 00000e7f: PUSH0 00000e80: DUP4 00000e81: ADD 00000e82: MSTORE 00000e83: PUSH2 0x0e8b 00000e86: DUP2 00000e87: PUSH2 0x0e52 00000e8a: JUMP 00000e8b: JUMPDEST 00000e8c: SWAP1 00000e8d: POP 00000e8e: SWAP2 00000e8f: SWAP1 00000e90: POP 00000e91: JUMP 00000e92: JUMPDEST 00000e93: PUSH32 0x4e6520676f746f76000000000000000000000000000000000000000000000000 00000eb4: PUSH0 00000eb5: DUP3 00000eb6: ADD 00000eb7: MSTORE 00000eb8: POP 00000eb9: JUMP 00000eba: JUMPDEST 00000ebb: PUSH0 00000ebc: PUSH2 0x0ec6 00000ebf: PUSH1 0x08 00000ec1: DUP4 00000ec2: PUSH2 0x0cbc 00000ec5: JUMP 00000ec6: JUMPDEST 00000ec7: SWAP2 00000ec8: POP 00000ec9: PUSH2 0x0ed1 00000ecc: DUP3 00000ecd: PUSH2 0x0e92 00000ed0: JUMP 00000ed1: JUMPDEST 00000ed2: PUSH1 0x20 00000ed4: DUP3 00000ed5: ADD 00000ed6: SWAP1 00000ed7: POP 00000ed8: SWAP2 00000ed9: SWAP1 00000eda: POP 00000edb: JUMP 00000edc: JUMPDEST 00000edd: PUSH0 00000ede: PUSH1 0x20 00000ee0: DUP3 00000ee1: ADD 00000ee2: SWAP1 00000ee3: POP 00000ee4: DUP2 00000ee5: DUP2 00000ee6: SUB 00000ee7: PUSH0 00000ee8: DUP4 00000ee9: ADD 00000eea: MSTORE 00000eeb: PUSH2 0x0ef3 00000eee: DUP2 00000eef: PUSH2 0x0eba 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: SWAP1 00000ef5: POP 00000ef6: SWAP2 00000ef7: SWAP1 00000ef8: POP 00000ef9: JUMP 00000efa: JUMPDEST 00000efb: PUSH32 0x4e6f2066756e647320746f207769746864726177000000000000000000000000 00000f1c: PUSH0 00000f1d: DUP3 00000f1e: ADD 00000f1f: MSTORE 00000f20: POP 00000f21: JUMP 00000f22: JUMPDEST 00000f23: PUSH0 00000f24: PUSH2 0x0f2e 00000f27: PUSH1 0x14 00000f29: DUP4 00000f2a: PUSH2 0x0cbc 00000f2d: JUMP 00000f2e: JUMPDEST 00000f2f: SWAP2 00000f30: POP 00000f31: PUSH2 0x0f39 00000f34: DUP3 00000f35: PUSH2 0x0efa 00000f38: JUMP 00000f39: JUMPDEST 00000f3a: PUSH1 0x20 00000f3c: DUP3 00000f3d: ADD 00000f3e: SWAP1 00000f3f: POP 00000f40: SWAP2 00000f41: SWAP1 00000f42: POP 00000f43: JUMP 00000f44: JUMPDEST 00000f45: PUSH0 00000f46: PUSH1 0x20 00000f48: DUP3 00000f49: ADD 00000f4a: SWAP1 00000f4b: POP 00000f4c: DUP2 00000f4d: DUP2 00000f4e: SUB 00000f4f: PUSH0 00000f50: DUP4 00000f51: ADD 00000f52: MSTORE 00000f53: PUSH2 0x0f5b 00000f56: DUP2 00000f57: PUSH2 0x0f22 00000f5a: JUMP 00000f5b: JUMPDEST 00000f5c: SWAP1 00000f5d: POP 00000f5e: SWAP2 00000f5f: SWAP1 00000f60: POP 00000f61: JUMP 00000f62: JUMPDEST 00000f63: PUSH0 00000f64: DUP2 00000f65: SWAP1 00000f66: POP 00000f67: SWAP3 00000f68: SWAP2 00000f69: POP 00000f6a: POP 00000f6b: JUMP 00000f6c: JUMPDEST 00000f6d: POP 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: PUSH0 00000f71: PUSH2 0x0f7a 00000f74: PUSH0 00000f75: DUP4 00000f76: PUSH2 0x0f62 00000f79: JUMP 00000f7a: JUMPDEST 00000f7b: SWAP2 00000f7c: POP 00000f7d: PUSH2 0x0f85 00000f80: DUP3 00000f81: PUSH2 0x0f6c 00000f84: JUMP 00000f85: JUMPDEST 00000f86: PUSH0 00000f87: DUP3 00000f88: ADD 00000f89: SWAP1 00000f8a: POP 00000f8b: SWAP2 00000f8c: SWAP1 00000f8d: POP 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: PUSH0 00000f91: PUSH2 0x0f99 00000f94: DUP3 00000f95: PUSH2 0x0f6f 00000f98: JUMP 00000f99: JUMPDEST 00000f9a: SWAP2 00000f9b: POP 00000f9c: DUP2 00000f9d: SWAP1 00000f9e: POP 00000f9f: SWAP2 00000fa0: SWAP1 00000fa1: POP 00000fa2: JUMP 00000fa3: JUMPDEST 00000fa4: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000 00000fc5: PUSH0 00000fc6: DUP3 00000fc7: ADD 00000fc8: MSTORE 00000fc9: POP 00000fca: JUMP 00000fcb: JUMPDEST 00000fcc: PUSH0 00000fcd: PUSH2 0x0fd7 00000fd0: PUSH1 0x0f 00000fd2: DUP4 00000fd3: PUSH2 0x0cbc 00000fd6: JUMP 00000fd7: JUMPDEST 00000fd8: SWAP2 00000fd9: POP 00000fda: PUSH2 0x0fe2 00000fdd: DUP3 00000fde: PUSH2 0x0fa3 00000fe1: JUMP 00000fe2: JUMPDEST 00000fe3: PUSH1 0x20 00000fe5: DUP3 00000fe6: ADD 00000fe7: SWAP1 00000fe8: POP 00000fe9: SWAP2 00000fea: SWAP1 00000feb: POP 00000fec: JUMP 00000fed: JUMPDEST 00000fee: PUSH0 00000fef: PUSH1 0x20 00000ff1: DUP3 00000ff2: ADD 00000ff3: SWAP1 00000ff4: POP 00000ff5: DUP2 00000ff6: DUP2 00000ff7: SUB 00000ff8: PUSH0 00000ff9: DUP4 00000ffa: ADD 00000ffb: MSTORE 00000ffc: PUSH2 0x1004 00000fff: DUP2 00001000: PUSH2 0x0fcb 00001003: JUMP 00001004: JUMPDEST 00001005: SWAP1 00001006: POP 00001007: SWAP2 00001008: SWAP1 00001009: POP 0000100a: JUMP 0000100b: JUMPDEST 0000100c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000102d: PUSH0 0000102e: MSTORE 0000102f: PUSH1 0x32 00001031: PUSH1 0x04 00001033: MSTORE 00001034: PUSH1 0x24 00001036: PUSH0 00001037: REVERT 00001038: JUMPDEST 00001039: PUSH0 0000103a: DUP2 0000103b: MLOAD 0000103c: SWAP1 0000103d: POP 0000103e: PUSH2 0x1046 00001041: DUP2 00001042: PUSH2 0x0bf3 00001045: JUMP 00001046: JUMPDEST 00001047: SWAP3 00001048: SWAP2 00001049: POP 0000104a: POP 0000104b: JUMP 0000104c: JUMPDEST 0000104d: PUSH0 0000104e: PUSH1 0x20 00001050: DUP3 00001051: DUP5 00001052: SUB 00001053: SLT 00001054: ISZERO 00001055: PUSH2 0x1061 00001058: JUMPI 00001059: PUSH2 0x1060 0000105c: PUSH2 0x0bef 0000105f: JUMP 00001060: JUMPDEST 00001061: JUMPDEST 00001062: PUSH0 00001063: PUSH2 0x106e 00001066: DUP5 00001067: DUP3 00001068: DUP6 00001069: ADD 0000106a: PUSH2 0x1038 0000106d: JUMP 0000106e: JUMPDEST 0000106f: SWAP2 00001070: POP 00001071: POP 00001072: SWAP3 00001073: SWAP2 00001074: POP 00001075: POP 00001076: JUMP 00001077: JUMPDEST 00001078: PUSH32 0x4d7573742073656e6420457468657220746f206465706f736974000000000000 00001099: PUSH0 0000109a: DUP3 0000109b: ADD 0000109c: MSTORE 0000109d: POP 0000109e: JUMP 0000109f: JUMPDEST 000010a0: PUSH0 000010a1: PUSH2 0x10ab 000010a4: PUSH1 0x1a 000010a6: DUP4 000010a7: PUSH2 0x0cbc 000010aa: JUMP 000010ab: JUMPDEST 000010ac: SWAP2 000010ad: POP 000010ae: PUSH2 0x10b6 000010b1: DUP3 000010b2: PUSH2 0x1077 000010b5: JUMP 000010b6: JUMPDEST 000010b7: PUSH1 0x20 000010b9: DUP3 000010ba: ADD 000010bb: SWAP1 000010bc: POP 000010bd: SWAP2 000010be: SWAP1 000010bf: POP 000010c0: JUMP 000010c1: JUMPDEST 000010c2: PUSH0 000010c3: PUSH1 0x20 000010c5: DUP3 000010c6: ADD 000010c7: SWAP1 000010c8: POP 000010c9: DUP2 000010ca: DUP2 000010cb: SUB 000010cc: PUSH0 000010cd: DUP4 000010ce: ADD 000010cf: MSTORE 000010d0: PUSH2 0x10d8 000010d3: DUP2 000010d4: PUSH2 0x109f 000010d7: JUMP 000010d8: JUMPDEST 000010d9: SWAP1 000010da: POP 000010db: SWAP2 000010dc: SWAP1 000010dd: POP 000010de: JUMP 000010df: JUMPDEST 000010e0: PUSH32 0x4f6e6c79206f776e65722063616e2063616c6c20746869732066756e6374696f 00001101: PUSH0 00001102: DUP3 00001103: ADD 00001104: MSTORE 00001105: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 00001126: PUSH1 0x20 00001128: DUP3 00001129: ADD 0000112a: MSTORE 0000112b: POP 0000112c: JUMP 0000112d: JUMPDEST 0000112e: PUSH0 0000112f: PUSH2 0x1139 00001132: PUSH1 0x21 00001134: DUP4 00001135: PUSH2 0x0cbc 00001138: JUMP 00001139: JUMPDEST 0000113a: SWAP2 0000113b: POP 0000113c: PUSH2 0x1144 0000113f: DUP3 00001140: PUSH2 0x10df 00001143: JUMP 00001144: JUMPDEST 00001145: PUSH1 0x40 00001147: DUP3 00001148: ADD 00001149: SWAP1 0000114a: POP 0000114b: SWAP2 0000114c: SWAP1 0000114d: POP 0000114e: JUMP 0000114f: JUMPDEST 00001150: PUSH0 00001151: PUSH1 0x20 00001153: DUP3 00001154: ADD 00001155: SWAP1 00001156: POP 00001157: DUP2 00001158: DUP2 00001159: SUB 0000115a: PUSH0 0000115b: DUP4 0000115c: ADD 0000115d: MSTORE 0000115e: PUSH2 0x1166 00001161: DUP2 00001162: PUSH2 0x112d 00001165: JUMP 00001166: JUMPDEST 00001167: SWAP1 00001168: POP 00001169: SWAP2 0000116a: SWAP1 0000116b: POP 0000116c: JUMP 0000116d: JUMPDEST 0000116e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000118f: PUSH0 00001190: MSTORE 00001191: PUSH1 0x11 00001193: PUSH1 0x04 00001195: MSTORE 00001196: PUSH1 0x24 00001198: PUSH0 00001199: REVERT 0000119a: JUMPDEST 0000119b: PUSH0 0000119c: PUSH2 0x11a4 0000119f: DUP3 000011a0: PUSH2 0x0b66 000011a3: JUMP 000011a4: JUMPDEST 000011a5: SWAP2 000011a6: POP 000011a7: PUSH2 0x11af 000011aa: DUP4 000011ab: PUSH2 0x0b66 000011ae: JUMP 000011af: JUMPDEST 000011b0: SWAP3 000011b1: POP 000011b2: DUP3 000011b3: DUP3 000011b4: ADD 000011b5: SWAP1 000011b6: POP 000011b7: DUP1 000011b8: DUP3 000011b9: GT 000011ba: ISZERO 000011bb: PUSH2 0x11c7 000011be: JUMPI 000011bf: PUSH2 0x11c6 000011c2: PUSH2 0x116d 000011c5: JUMP 000011c6: JUMPDEST 000011c7: JUMPDEST 000011c8: SWAP3 000011c9: SWAP2 000011ca: POP 000011cb: POP 000011cc: JUMP 000011cd: JUMPDEST 000011ce: PUSH32 0x46756e6374696f6e73206d7573742062652063616c6c656420696e20636f6e73 000011ef: PUSH0 000011f0: DUP3 000011f1: ADD 000011f2: MSTORE 000011f3: PUSH32 0x6563757469766520626c6f636b73000000000000000000000000000000000000 00001214: PUSH1 0x20 00001216: DUP3 00001217: ADD 00001218: MSTORE 00001219: POP 0000121a: JUMP 0000121b: JUMPDEST 0000121c: PUSH0 0000121d: PUSH2 0x1227 00001220: PUSH1 0x2e 00001222: DUP4 00001223: PUSH2 0x0cbc 00001226: JUMP 00001227: JUMPDEST 00001228: SWAP2 00001229: POP 0000122a: PUSH2 0x1232 0000122d: DUP3 0000122e: PUSH2 0x11cd 00001231: JUMP 00001232: JUMPDEST 00001233: PUSH1 0x40 00001235: DUP3 00001236: ADD 00001237: SWAP1 00001238: POP 00001239: SWAP2 0000123a: SWAP1 0000123b: POP 0000123c: JUMP 0000123d: JUMPDEST 0000123e: PUSH0 0000123f: PUSH1 0x20 00001241: DUP3 00001242: ADD 00001243: SWAP1 00001244: POP 00001245: DUP2 00001246: DUP2 00001247: SUB 00001248: PUSH0 00001249: DUP4 0000124a: ADD 0000124b: MSTORE 0000124c: PUSH2 0x1254 0000124f: DUP2 00001250: PUSH2 0x121b 00001253: JUMP 00001254: JUMPDEST 00001255: SWAP1 00001256: POP 00001257: SWAP2 00001258: SWAP1 00001259: POP 0000125a: JUMP 0000125b: INVALID 0000125c: LOG2 0000125d: PUSH5 0x6970667358 00001263: UNKNOWN(0x22) 00001264: SLT 00001265: KECCAK256 00001266: UNKNOWN(0xD2) 00001267: PUSH6 0x70c8c9699207 0000126e: UNKNOWN(0xDF) 0000126f: KECCAK256 00001270: CALLVALUE 00001271: UNKNOWN(0xA5) 00001272: UNKNOWN(0x29) 00001273: DUP12 00001274: UNKNOWN(0xF8) 00001275: PUSH22 0xc449fe09dcc145cdb19bf36d0c6a4aec64736f6c6343 0000128c: STOP 0000128d: ADDMOD 0000128e: BYTE 0000128f: STOP 00001290: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1598511611802e2b850d1b5b8efbd52a272b3239c39e039cf624de489491c30d
call_targets:
0x5f467a206624f7f3e29c32b254859ff1873e6a8a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1598511611802e2b850d1b5b8efbd52a272b3239c39e039cf624de489491c30d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5f467a206624f7f3e29c32b254859ff1873e6a8a"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x956a45a6",
"selector": "0x956a45a6",
"calldata_variants": [
"0x956a45a6",
"0x956a45a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xced2453e",
"selector": "0xced2453e",
"calldata_variants": [
"0xced2453e",
"0xced2453e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe06e60a4",
"selector": "0xe06e60a4",
"calldata_variants": [
"0xe06e60a4",
"0xe06e60a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc5ff072",
"selector": "0xfc5ff072",
"calldata_variants": [
"0xfc5ff072",
"0xfc5ff0720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15d0dfd2",
"selector": "0x15d0dfd2",
"calldata_variants": [
"0x15d0dfd2",
"0x15d0dfd20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2552317c",
"selector": "0x2552317c",
"calldata_variants": [
"0x2552317c",
"0x2552317c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1581,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 660,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 746,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 977,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1063,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1205,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2251,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2392,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2506,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2592,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1598511611802e2b850d1b5b8efbd52a272b3239c39e039cf624de489491c30d
call_targets:
0x5f467a206624f7f3e29c32b254859ff1873e6a8a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1598511611802e2b850d1b5b8efbd52a272b3239c39e039cf624de489491c30d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5f467a206624f7f3e29c32b254859ff1873e6a8a"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x956a45a6",
"selector": "0x956a45a6",
"calldata_variants": [
"0x956a45a6",
"0x956a45a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xced2453e",
"selector": "0xced2453e",
"calldata_variants": [
"0xced2453e",
"0xced2453e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe06e60a4",
"selector": "0xe06e60a4",
"calldata_variants": [
"0xe06e60a4",
"0xe06e60a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc5ff072",
"selector": "0xfc5ff072",
"calldata_variants": [
"0xfc5ff072",
"0xfc5ff0720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15d0dfd2",
"selector": "0x15d0dfd2",
"calldata_variants": [
"0x15d0dfd2",
"0x15d0dfd20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2552317c",
"selector": "0x2552317c",
"calldata_variants": [
"0x2552317c",
"0x2552317c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1581,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 660,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 746,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 977,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1063,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1205,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2251,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2392,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2506,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2592,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|