019b477e-a6dd-7116-b123-b7920bdb95d2
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 |
|---|---|---|---|---|
| 20157 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20158 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 63554 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 63555 | capability.graph | complete | 1 / 3 | 1 week ago |
| 63556 | detector.run | complete | 1 / 3 | 1 week ago |
| 63557 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0103 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x11bc5478 00000034: EQ 00000035: PUSH2 0x03bc 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x353d90ec 0000003f: EQ 00000040: PUSH2 0x03dd 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x43743d93 0000004a: EQ 0000004b: PUSH2 0x03fe 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x4faa2d54 00000055: EQ 00000056: PUSH2 0x041f 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x50b44712 00000060: EQ 00000061: PUSH2 0x0440 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x5c0ecfad 0000006b: EQ 0000006c: PUSH2 0x047d 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x5d80c278 00000076: EQ 00000077: PUSH2 0x049e 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x602a6ca1 00000081: EQ 00000082: PUSH2 0x04bf 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x806b984f 0000008c: EQ 0000008d: PUSH2 0x04d8 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x8b7bcc86 00000097: EQ 00000098: PUSH2 0x04f9 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xa2fb1175 000000a2: EQ 000000a3: PUSH2 0x051a 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xa457c2ae 000000ad: EQ 000000ae: PUSH2 0x0541 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0xa59d6986 000000b8: EQ 000000b9: PUSH2 0x0562 000000bc: JUMPI 000000bd: DUP1 000000be: PUSH4 0xa5e01f37 000000c3: EQ 000000c4: PUSH2 0x056f 000000c7: JUMPI 000000c8: DUP1 000000c9: PUSH4 0xf000c309 000000ce: EQ 000000cf: PUSH2 0x0590 000000d2: JUMPI 000000d3: DUP1 000000d4: PUSH4 0xf18d20be 000000d9: EQ 000000da: PUSH2 0x05b1 000000dd: JUMPI 000000de: DUP1 000000df: PUSH4 0xf56f48f2 000000e4: EQ 000000e5: PUSH2 0x05be 000000e8: JUMPI 000000e9: DUP1 000000ea: PUSH4 0xf6f0b074 000000ef: EQ 000000f0: PUSH2 0x05df 000000f3: JUMPI 000000f4: DUP1 000000f5: PUSH4 0xf961ec87 000000fa: EQ 000000fb: PUSH2 0x0600 000000fe: JUMPI 000000ff: PUSH2 0x0103 00000102: JUMP 00000103: JUMPDEST 00000104: PUSH2 0x03ba 00000107: JUMPDEST 00000108: PUSH1 0x00 0000010a: PUSH1 0x00 0000010c: PUSH9 0x01639e49bba1628000 00000116: CALLVALUE 00000117: LT 00000118: ISZERO 00000119: ISZERO 0000011a: PUSH2 0x016e 0000011d: JUMPI 0000011e: PUSH8 0x0e398811bec68000 00000127: CALLVALUE 00000128: DIV 00000129: SWAP2 0000012a: POP 0000012b: DUP2 0000012c: POP 0000012d: CALLER 0000012e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000143: AND 00000144: PUSH1 0x00 00000146: PUSH8 0x0e398811bec68000 0000014f: CALLVALUE 00000150: MOD 00000151: PUSH1 0x40 00000153: MLOAD 00000154: DUP1 00000155: SWAP1 00000156: POP 00000157: PUSH1 0x00 00000159: PUSH1 0x40 0000015b: MLOAD 0000015c: DUP1 0000015d: DUP4 0000015e: SUB 0000015f: DUP2 00000160: DUP6 00000161: DUP9 00000162: DUP9 00000163: CALL 00000164: SWAP4 00000165: POP 00000166: POP 00000167: POP 00000168: POP 00000169: POP 0000016a: PUSH2 0x0281 0000016d: JUMP 0000016e: JUMPDEST 0000016f: PUSH8 0x91b77e5e5d9a0000 00000178: CALLVALUE 00000179: LT 0000017a: ISZERO 0000017b: ISZERO 0000017c: PUSH2 0x01d0 0000017f: JUMPI 00000180: PUSH8 0x0e92596fd6290000 00000189: CALLVALUE 0000018a: DIV 0000018b: SWAP2 0000018c: POP 0000018d: DUP2 0000018e: POP 0000018f: CALLER 00000190: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a5: AND 000001a6: PUSH1 0x00 000001a8: PUSH8 0x0e92596fd6290000 000001b1: CALLVALUE 000001b2: MOD 000001b3: PUSH1 0x40 000001b5: MLOAD 000001b6: DUP1 000001b7: SWAP1 000001b8: POP 000001b9: PUSH1 0x00 000001bb: PUSH1 0x40 000001bd: MLOAD 000001be: DUP1 000001bf: DUP4 000001c0: SUB 000001c1: DUP2 000001c2: DUP6 000001c3: DUP9 000001c4: DUP9 000001c5: CALL 000001c6: SWAP4 000001c7: POP 000001c8: POP 000001c9: POP 000001ca: POP 000001cb: POP 000001cc: PUSH2 0x0280 000001cf: JUMP 000001d0: JUMPDEST 000001d1: PUSH8 0x4c53ecdc18a60000 000001da: CALLVALUE 000001db: LT 000001dc: ISZERO 000001dd: ISZERO 000001de: PUSH2 0x0232 000001e1: JUMPI 000001e2: PUSH8 0x0f43fc2c04ee0000 000001eb: CALLVALUE 000001ec: DIV 000001ed: SWAP2 000001ee: POP 000001ef: DUP2 000001f0: POP 000001f1: CALLER 000001f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000207: AND 00000208: PUSH1 0x00 0000020a: PUSH8 0x0f43fc2c04ee0000 00000213: CALLVALUE 00000214: MOD 00000215: PUSH1 0x40 00000217: MLOAD 00000218: DUP1 00000219: SWAP1 0000021a: POP 0000021b: PUSH1 0x00 0000021d: PUSH1 0x40 0000021f: MLOAD 00000220: DUP1 00000221: DUP4 00000222: SUB 00000223: DUP2 00000224: DUP6 00000225: DUP9 00000226: DUP9 00000227: CALL 00000228: SWAP4 00000229: POP 0000022a: POP 0000022b: POP 0000022c: POP 0000022d: POP 0000022e: PUSH2 0x027f 00000231: JUMP 00000232: JUMPDEST 00000233: PUSH8 0x0ff59ee833b30000 0000023c: CALLVALUE 0000023d: DIV 0000023e: SWAP2 0000023f: POP 00000240: DUP2 00000241: POP 00000242: CALLER 00000243: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000258: AND 00000259: PUSH1 0x00 0000025b: PUSH8 0x0ff59ee833b30000 00000264: CALLVALUE 00000265: MOD 00000266: PUSH1 0x40 00000268: MLOAD 00000269: DUP1 0000026a: SWAP1 0000026b: POP 0000026c: PUSH1 0x00 0000026e: PUSH1 0x40 00000270: MLOAD 00000271: DUP1 00000272: DUP4 00000273: SUB 00000274: DUP2 00000275: DUP6 00000276: DUP9 00000277: DUP9 00000278: CALL 00000279: SWAP4 0000027a: POP 0000027b: POP 0000027c: POP 0000027d: POP 0000027e: POP 0000027f: JUMPDEST 00000280: JUMPDEST 00000281: JUMPDEST 00000282: PUSH1 0x07 00000284: PUSH1 0x00 00000286: POP 00000287: SLOAD 00000288: CALLER 00000289: CALLVALUE 0000028a: PUSH1 0x40 0000028c: MLOAD 0000028d: DUP1 0000028e: DUP5 0000028f: DUP2 00000290: MSTORE 00000291: PUSH1 0x20 00000293: ADD 00000294: DUP4 00000295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002aa: AND 000002ab: PUSH13 0x01000000000000000000000000 000002b9: MUL 000002ba: DUP2 000002bb: MSTORE 000002bc: PUSH1 0x14 000002be: ADD 000002bf: DUP3 000002c0: DUP2 000002c1: MSTORE 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: SWAP4 000002c6: POP 000002c7: POP 000002c8: POP 000002c9: POP 000002ca: PUSH1 0x40 000002cc: MLOAD 000002cd: DUP1 000002ce: SWAP2 000002cf: SUB 000002d0: SWAP1 000002d1: KECCAK256 000002d2: PUSH1 0x07 000002d4: PUSH1 0x00 000002d6: POP 000002d7: DUP2 000002d8: SWAP1 000002d9: SSTORE 000002da: POP 000002db: PUSH2 0x03e8 000002de: DUP3 000002df: PUSH1 0x03 000002e1: PUSH1 0x00 000002e3: POP 000002e4: SLOAD 000002e5: ADD 000002e6: DIV 000002e7: PUSH2 0x03e8 000002ea: PUSH1 0x03 000002ec: PUSH1 0x00 000002ee: POP 000002ef: SLOAD 000002f0: DIV 000002f1: EQ 000002f2: ISZERO 000002f3: ISZERO 000002f4: PUSH2 0x031b 000002f7: JUMPI 000002f8: NUMBER 000002f9: PUSH1 0x06 000002fb: PUSH1 0x00 000002fd: POP 000002fe: DUP2 000002ff: SWAP1 00000300: SSTORE 00000301: POP 00000302: PUSH1 0x07 00000304: PUSH1 0x00 00000306: POP 00000307: SLOAD 00000308: PUSH1 0x0a 0000030a: PUSH1 0x00 0000030c: POP 0000030d: DUP2 0000030e: SWAP1 0000030f: SSTORE 00000310: POP 00000311: TIMESTAMP 00000312: PUSH1 0x0b 00000314: PUSH1 0x00 00000316: POP 00000317: DUP2 00000318: SWAP1 00000319: SSTORE 0000031a: POP 0000031b: JUMPDEST 0000031c: PUSH1 0x00 0000031e: PUSH1 0x01 00000320: MUL 00000321: PUSH1 0x01 00000323: PUSH1 0x06 00000325: PUSH1 0x00 00000327: POP 00000328: SLOAD 00000329: ADD 0000032a: BLOCKHASH 0000032b: EQ 0000032c: ISZERO 0000032d: ISZERO 0000032e: PUSH2 0x0345 00000331: JUMPI 00000332: PUSH1 0x01 00000334: PUSH1 0x06 00000336: PUSH1 0x00 00000338: POP 00000339: SLOAD 0000033a: ADD 0000033b: BLOCKHASH 0000033c: PUSH1 0x09 0000033e: PUSH1 0x00 00000340: POP 00000341: DUP2 00000342: SWAP1 00000343: SSTORE 00000344: POP 00000345: JUMPDEST 00000346: PUSH1 0x01 00000348: SWAP1 00000349: POP 0000034a: JUMPDEST 0000034b: DUP2 0000034c: DUP2 0000034d: PUSH1 0xff 0000034f: AND 00000350: GT 00000351: ISZERO 00000352: ISZERO 00000353: PUSH2 0x03b5 00000356: JUMPI 00000357: CALLER 00000358: PUSH1 0x01 0000035a: PUSH1 0x00 0000035c: POP 0000035d: PUSH1 0x00 0000035f: PUSH1 0x03 00000361: PUSH1 0x00 00000363: DUP2 00000364: DUP2 00000365: POP 00000366: SLOAD 00000367: DUP1 00000368: SWAP3 00000369: SWAP2 0000036a: SWAP1 0000036b: PUSH1 0x01 0000036d: ADD 0000036e: SWAP2 0000036f: SWAP1 00000370: POP 00000371: SSTORE 00000372: DUP2 00000373: MSTORE 00000374: PUSH1 0x20 00000376: ADD 00000377: SWAP1 00000378: DUP2 00000379: MSTORE 0000037a: PUSH1 0x20 0000037c: ADD 0000037d: PUSH1 0x00 0000037f: KECCAK256 00000380: PUSH1 0x00 00000382: PUSH2 0x0100 00000385: EXP 00000386: DUP2 00000387: SLOAD 00000388: DUP2 00000389: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039e: MUL 0000039f: NOT 000003a0: AND 000003a1: SWAP1 000003a2: DUP4 000003a3: MUL 000003a4: OR 000003a5: SWAP1 000003a6: SSTORE 000003a7: POP 000003a8: JUMPDEST 000003a9: PUSH1 0x01 000003ab: DUP2 000003ac: ADD 000003ad: SWAP1 000003ae: POP 000003af: DUP1 000003b0: POP 000003b1: PUSH2 0x034a 000003b4: JUMP 000003b5: JUMPDEST 000003b6: JUMPDEST 000003b7: POP 000003b8: POP 000003b9: JUMP 000003ba: JUMPDEST 000003bb: STOP 000003bc: JUMPDEST 000003bd: PUSH2 0x03c7 000003c0: PUSH1 0x04 000003c2: POP 000003c3: PUSH2 0x0af4 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH1 0x40 000003ca: MLOAD 000003cb: DUP1 000003cc: DUP3 000003cd: DUP2 000003ce: MSTORE 000003cf: PUSH1 0x20 000003d1: ADD 000003d2: SWAP2 000003d3: POP 000003d4: POP 000003d5: PUSH1 0x40 000003d7: MLOAD 000003d8: DUP1 000003d9: SWAP2 000003da: SUB 000003db: SWAP1 000003dc: RETURN 000003dd: JUMPDEST 000003de: PUSH2 0x03e8 000003e1: PUSH1 0x04 000003e3: POP 000003e4: PUSH2 0x0b5c 000003e7: JUMP 000003e8: JUMPDEST 000003e9: PUSH1 0x40 000003eb: MLOAD 000003ec: DUP1 000003ed: DUP3 000003ee: DUP2 000003ef: MSTORE 000003f0: PUSH1 0x20 000003f2: ADD 000003f3: SWAP2 000003f4: POP 000003f5: POP 000003f6: PUSH1 0x40 000003f8: MLOAD 000003f9: DUP1 000003fa: SWAP2 000003fb: SUB 000003fc: SWAP1 000003fd: RETURN 000003fe: JUMPDEST 000003ff: PUSH2 0x0409 00000402: PUSH1 0x04 00000404: POP 00000405: PUSH2 0x0b00 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH1 0x40 0000040c: MLOAD 0000040d: DUP1 0000040e: DUP3 0000040f: DUP2 00000410: MSTORE 00000411: PUSH1 0x20 00000413: ADD 00000414: SWAP2 00000415: POP 00000416: POP 00000417: PUSH1 0x40 00000419: MLOAD 0000041a: DUP1 0000041b: SWAP2 0000041c: SUB 0000041d: SWAP1 0000041e: RETURN 0000041f: JUMPDEST 00000420: PUSH2 0x042a 00000423: PUSH1 0x04 00000425: POP 00000426: PUSH2 0x0a65 00000429: JUMP 0000042a: JUMPDEST 0000042b: PUSH1 0x40 0000042d: MLOAD 0000042e: DUP1 0000042f: DUP3 00000430: DUP2 00000431: MSTORE 00000432: PUSH1 0x20 00000434: ADD 00000435: SWAP2 00000436: POP 00000437: POP 00000438: PUSH1 0x40 0000043a: MLOAD 0000043b: DUP1 0000043c: SWAP2 0000043d: SUB 0000043e: SWAP1 0000043f: RETURN 00000440: JUMPDEST 00000441: PUSH2 0x0451 00000444: PUSH1 0x04 00000446: DUP1 00000447: CALLDATALOAD 00000448: SWAP1 00000449: PUSH1 0x20 0000044b: ADD 0000044c: POP 0000044d: PUSH2 0x0b09 00000450: JUMP 00000451: JUMPDEST 00000452: PUSH1 0x40 00000454: MLOAD 00000455: DUP1 00000456: DUP3 00000457: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046c: AND 0000046d: DUP2 0000046e: MSTORE 0000046f: PUSH1 0x20 00000471: ADD 00000472: SWAP2 00000473: POP 00000474: POP 00000475: PUSH1 0x40 00000477: MLOAD 00000478: DUP1 00000479: SWAP2 0000047a: SUB 0000047b: SWAP1 0000047c: RETURN 0000047d: JUMPDEST 0000047e: PUSH2 0x0488 00000481: PUSH1 0x04 00000483: POP 00000484: PUSH2 0x0ad5 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH1 0x40 0000048b: MLOAD 0000048c: DUP1 0000048d: DUP3 0000048e: DUP2 0000048f: MSTORE 00000490: PUSH1 0x20 00000492: ADD 00000493: SWAP2 00000494: POP 00000495: POP 00000496: PUSH1 0x40 00000498: MLOAD 00000499: DUP1 0000049a: SWAP2 0000049b: SUB 0000049c: SWAP1 0000049d: RETURN 0000049e: JUMPDEST 0000049f: PUSH2 0x04a9 000004a2: PUSH1 0x04 000004a4: POP 000004a5: PUSH2 0x0ade 000004a8: JUMP 000004a9: JUMPDEST 000004aa: PUSH1 0x40 000004ac: MLOAD 000004ad: DUP1 000004ae: DUP3 000004af: DUP2 000004b0: MSTORE 000004b1: PUSH1 0x20 000004b3: ADD 000004b4: SWAP2 000004b5: POP 000004b6: POP 000004b7: PUSH1 0x40 000004b9: MLOAD 000004ba: DUP1 000004bb: SWAP2 000004bc: SUB 000004bd: SWAP1 000004be: RETURN 000004bf: JUMPDEST 000004c0: PUSH2 0x04d6 000004c3: PUSH1 0x04 000004c5: DUP1 000004c6: CALLDATALOAD 000004c7: SWAP1 000004c8: PUSH1 0x20 000004ca: ADD 000004cb: DUP1 000004cc: CALLDATALOAD 000004cd: SWAP1 000004ce: PUSH1 0x20 000004d0: ADD 000004d1: POP 000004d2: PUSH2 0x0627 000004d5: JUMP 000004d6: JUMPDEST 000004d7: STOP 000004d8: JUMPDEST 000004d9: PUSH2 0x04e3 000004dc: PUSH1 0x04 000004de: POP 000004df: PUSH2 0x0aba 000004e2: JUMP 000004e3: JUMPDEST 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: DUP1 000004e8: DUP3 000004e9: DUP2 000004ea: MSTORE 000004eb: PUSH1 0x20 000004ed: ADD 000004ee: SWAP2 000004ef: POP 000004f0: POP 000004f1: PUSH1 0x40 000004f3: MLOAD 000004f4: DUP1 000004f5: SWAP2 000004f6: SUB 000004f7: SWAP1 000004f8: RETURN 000004f9: JUMPDEST 000004fa: PUSH2 0x0504 000004fd: PUSH1 0x04 000004ff: POP 00000500: PUSH2 0x0b65 00000503: JUMP 00000504: JUMPDEST 00000505: PUSH1 0x40 00000507: MLOAD 00000508: DUP1 00000509: DUP3 0000050a: DUP2 0000050b: MSTORE 0000050c: PUSH1 0x20 0000050e: ADD 0000050f: SWAP2 00000510: POP 00000511: POP 00000512: PUSH1 0x40 00000514: MLOAD 00000515: DUP1 00000516: SWAP2 00000517: SUB 00000518: SWAP1 00000519: RETURN 0000051a: JUMPDEST 0000051b: PUSH2 0x052b 0000051e: PUSH1 0x04 00000520: DUP1 00000521: CALLDATALOAD 00000522: SWAP1 00000523: PUSH1 0x20 00000525: ADD 00000526: POP 00000527: PUSH2 0x0b41 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: DUP1 00000530: DUP3 00000531: DUP2 00000532: MSTORE 00000533: PUSH1 0x20 00000535: ADD 00000536: SWAP2 00000537: POP 00000538: POP 00000539: PUSH1 0x40 0000053b: MLOAD 0000053c: DUP1 0000053d: SWAP2 0000053e: SUB 0000053f: SWAP1 00000540: RETURN 00000541: JUMPDEST 00000542: PUSH2 0x054c 00000545: PUSH1 0x04 00000547: POP 00000548: PUSH2 0x0ac3 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH1 0x40 0000054f: MLOAD 00000550: DUP1 00000551: DUP3 00000552: DUP2 00000553: MSTORE 00000554: PUSH1 0x20 00000556: ADD 00000557: SWAP2 00000558: POP 00000559: POP 0000055a: PUSH1 0x40 0000055c: MLOAD 0000055d: DUP1 0000055e: SWAP2 0000055f: SUB 00000560: SWAP1 00000561: RETURN 00000562: JUMPDEST 00000563: PUSH2 0x056d 00000566: PUSH1 0x04 00000568: POP 00000569: PUSH2 0x0838 0000056c: JUMP 0000056d: JUMPDEST 0000056e: STOP 0000056f: JUMPDEST 00000570: PUSH2 0x057a 00000573: PUSH1 0x04 00000575: POP 00000576: PUSH2 0x0b6e 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH1 0x40 0000057d: MLOAD 0000057e: DUP1 0000057f: DUP3 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x20 00000584: ADD 00000585: SWAP2 00000586: POP 00000587: POP 00000588: PUSH1 0x40 0000058a: MLOAD 0000058b: DUP1 0000058c: SWAP2 0000058d: SUB 0000058e: SWAP1 0000058f: RETURN 00000590: JUMPDEST 00000591: PUSH2 0x059b 00000594: PUSH1 0x04 00000596: POP 00000597: PUSH2 0x0acc 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH1 0x40 0000059e: MLOAD 0000059f: DUP1 000005a0: DUP3 000005a1: DUP2 000005a2: MSTORE 000005a3: PUSH1 0x20 000005a5: ADD 000005a6: SWAP2 000005a7: POP 000005a8: POP 000005a9: PUSH1 0x40 000005ab: MLOAD 000005ac: DUP1 000005ad: SWAP2 000005ae: SUB 000005af: SWAP1 000005b0: RETURN 000005b1: JUMPDEST 000005b2: PUSH2 0x05bc 000005b5: PUSH1 0x04 000005b7: POP 000005b8: PUSH2 0x094e 000005bb: JUMP 000005bc: JUMPDEST 000005bd: STOP 000005be: JUMPDEST 000005bf: PUSH2 0x05c9 000005c2: PUSH1 0x04 000005c4: POP 000005c5: PUSH2 0x0aed 000005c8: JUMP 000005c9: JUMPDEST 000005ca: PUSH1 0x40 000005cc: MLOAD 000005cd: DUP1 000005ce: DUP3 000005cf: DUP2 000005d0: MSTORE 000005d1: PUSH1 0x20 000005d3: ADD 000005d4: SWAP2 000005d5: POP 000005d6: POP 000005d7: PUSH1 0x40 000005d9: MLOAD 000005da: DUP1 000005db: SWAP2 000005dc: SUB 000005dd: SWAP1 000005de: RETURN 000005df: JUMPDEST 000005e0: PUSH2 0x05ea 000005e3: PUSH1 0x04 000005e5: POP 000005e6: PUSH2 0x0ae7 000005e9: JUMP 000005ea: JUMPDEST 000005eb: PUSH1 0x40 000005ed: MLOAD 000005ee: DUP1 000005ef: DUP3 000005f0: DUP2 000005f1: MSTORE 000005f2: PUSH1 0x20 000005f4: ADD 000005f5: SWAP2 000005f6: POP 000005f7: POP 000005f8: PUSH1 0x40 000005fa: MLOAD 000005fb: DUP1 000005fc: SWAP2 000005fd: SUB 000005fe: SWAP1 000005ff: RETURN 00000600: JUMPDEST 00000601: PUSH2 0x0611 00000604: PUSH1 0x04 00000606: DUP1 00000607: CALLDATALOAD 00000608: SWAP1 00000609: PUSH1 0x20 0000060b: ADD 0000060c: POP 0000060d: PUSH2 0x0a96 00000610: JUMP 00000611: JUMPDEST 00000612: PUSH1 0x40 00000614: MLOAD 00000615: DUP1 00000616: DUP3 00000617: DUP2 00000618: MSTORE 00000619: PUSH1 0x20 0000061b: ADD 0000061c: SWAP2 0000061d: POP 0000061e: POP 0000061f: PUSH1 0x40 00000621: MLOAD 00000622: DUP1 00000623: SWAP2 00000624: SUB 00000625: SWAP1 00000626: RETURN 00000627: JUMPDEST 00000628: PUSH1 0x00 0000062a: PUSH1 0x00 0000062c: PUSH1 0x00 0000062e: PUSH1 0x00 00000630: SWAP1 00000631: SLOAD 00000632: SWAP1 00000633: PUSH2 0x0100 00000636: EXP 00000637: SWAP1 00000638: DIV 00000639: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064e: AND 0000064f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000664: AND 00000665: CALLER 00000666: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067b: AND 0000067c: EQ 0000067d: ISZERO 0000067e: ISZERO 0000067f: PUSH2 0x0687 00000682: JUMPI 00000683: PUSH2 0x0832 00000686: JUMP 00000687: JUMPDEST 00000688: PUSH1 0x08 0000068a: PUSH1 0x00 0000068c: POP 0000068d: SLOAD 0000068e: DUP5 0000068f: PUSH1 0x40 00000691: MLOAD 00000692: DUP1 00000693: DUP3 00000694: DUP2 00000695: MSTORE 00000696: PUSH1 0x20 00000698: ADD 00000699: SWAP2 0000069a: POP 0000069b: POP 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: DUP1 000006a0: SWAP2 000006a1: SUB 000006a2: SWAP1 000006a3: KECCAK256 000006a4: EQ 000006a5: ISZERO 000006a6: DUP1 000006a7: PUSH2 0x06b8 000006aa: JUMPI 000006ab: POP 000006ac: PUSH1 0x00 000006ae: PUSH1 0x01 000006b0: MUL 000006b1: PUSH1 0x08 000006b3: PUSH1 0x00 000006b5: POP 000006b6: SLOAD 000006b7: EQ 000006b8: JUMPDEST 000006b9: ISZERO 000006ba: PUSH2 0x06c2 000006bd: JUMPI 000006be: PUSH2 0x0832 000006c1: JUMP 000006c2: JUMPDEST 000006c3: PUSH2 0x03e8 000006c6: PUSH1 0x03 000006c8: PUSH1 0x00 000006ca: POP 000006cb: SLOAD 000006cc: LT 000006cd: DUP1 000006ce: PUSH2 0x06e4 000006d1: JUMPI 000006d2: POP 000006d3: PUSH2 0x03e8 000006d6: PUSH1 0x03 000006d8: PUSH1 0x00 000006da: POP 000006db: SLOAD 000006dc: SUB 000006dd: PUSH1 0x05 000006df: PUSH1 0x00 000006e1: POP 000006e2: SLOAD 000006e3: GT 000006e4: JUMPDEST 000006e5: ISZERO 000006e6: PUSH2 0x06ee 000006e9: JUMPI 000006ea: PUSH2 0x0832 000006ed: JUMP 000006ee: JUMPDEST 000006ef: DUP4 000006f0: PUSH1 0x0a 000006f2: PUSH1 0x00 000006f4: POP 000006f5: SLOAD 000006f6: PUSH1 0x40 000006f8: MLOAD 000006f9: DUP1 000006fa: DUP4 000006fb: DUP2 000006fc: MSTORE 000006fd: PUSH1 0x20 000006ff: ADD 00000700: DUP3 00000701: DUP2 00000702: MSTORE 00000703: PUSH1 0x20 00000705: ADD 00000706: SWAP3 00000707: POP 00000708: POP 00000709: POP 0000070a: PUSH1 0x40 0000070c: MLOAD 0000070d: DUP1 0000070e: SWAP2 0000070f: SUB 00000710: SWAP1 00000711: KECCAK256 00000712: SWAP2 00000713: POP 00000714: PUSH2 0x03e8 00000717: PUSH1 0x09 00000719: PUSH1 0x00 0000071b: POP 0000071c: SLOAD 0000071d: DUP4 0000071e: XOR 0000071f: PUSH1 0x01 00000721: SWAP1 00000722: DIV 00000723: MOD 00000724: PUSH1 0x05 00000726: PUSH1 0x00 00000728: POP 00000729: SLOAD 0000072a: ADD 0000072b: SWAP1 0000072c: POP 0000072d: PUSH1 0x01 0000072f: PUSH1 0x00 00000731: POP 00000732: PUSH1 0x00 00000734: DUP3 00000735: DUP2 00000736: MSTORE 00000737: PUSH1 0x20 00000739: ADD 0000073a: SWAP1 0000073b: DUP2 0000073c: MSTORE 0000073d: PUSH1 0x20 0000073f: ADD 00000740: PUSH1 0x00 00000742: KECCAK256 00000743: PUSH1 0x00 00000745: SWAP1 00000746: SLOAD 00000747: SWAP1 00000748: PUSH2 0x0100 0000074b: EXP 0000074c: SWAP1 0000074d: DIV 0000074e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000763: AND 00000764: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000779: AND 0000077a: PUSH1 0x00 0000077c: PUSH8 0x0de0b6b3a7640000 00000785: PUSH2 0x03e8 00000788: MUL 00000789: PUSH1 0x40 0000078b: MLOAD 0000078c: DUP1 0000078d: SWAP1 0000078e: POP 0000078f: PUSH1 0x00 00000791: PUSH1 0x40 00000793: MLOAD 00000794: DUP1 00000795: DUP4 00000796: SUB 00000797: DUP2 00000798: DUP6 00000799: DUP9 0000079a: DUP9 0000079b: CALL 0000079c: SWAP4 0000079d: POP 0000079e: POP 0000079f: POP 000007a0: POP 000007a1: POP 000007a2: PUSH32 0x909c57d5c6ac08245cf2a6de3900e2b868513fa59099b92b27d8db823d92df9c 000007c3: DUP2 000007c4: PUSH1 0x40 000007c6: MLOAD 000007c7: DUP1 000007c8: DUP3 000007c9: DUP2 000007ca: MSTORE 000007cb: PUSH1 0x20 000007cd: ADD 000007ce: SWAP2 000007cf: POP 000007d0: POP 000007d1: PUSH1 0x40 000007d3: MLOAD 000007d4: DUP1 000007d5: SWAP2 000007d6: SUB 000007d7: SWAP1 000007d8: LOG1 000007d9: DUP1 000007da: PUSH1 0x02 000007dc: PUSH1 0x00 000007de: POP 000007df: PUSH1 0x00 000007e1: PUSH1 0x04 000007e3: PUSH1 0x00 000007e5: DUP2 000007e6: DUP2 000007e7: POP 000007e8: SLOAD 000007e9: DUP1 000007ea: SWAP3 000007eb: SWAP2 000007ec: SWAP1 000007ed: PUSH1 0x01 000007ef: ADD 000007f0: SWAP2 000007f1: SWAP1 000007f2: POP 000007f3: SSTORE 000007f4: DUP2 000007f5: MSTORE 000007f6: PUSH1 0x20 000007f8: ADD 000007f9: SWAP1 000007fa: DUP2 000007fb: MSTORE 000007fc: PUSH1 0x20 000007fe: ADD 000007ff: PUSH1 0x00 00000801: KECCAK256 00000802: PUSH1 0x00 00000804: POP 00000805: DUP2 00000806: SWAP1 00000807: SSTORE 00000808: POP 00000809: PUSH2 0x03e8 0000080c: PUSH1 0x05 0000080e: PUSH1 0x00 00000810: DUP3 00000811: DUP3 00000812: DUP3 00000813: POP 00000814: SLOAD 00000815: ADD 00000816: SWAP3 00000817: POP 00000818: POP 00000819: DUP2 0000081a: SWAP1 0000081b: SSTORE 0000081c: POP 0000081d: PUSH1 0x00 0000081f: PUSH1 0x0b 00000821: PUSH1 0x00 00000823: POP 00000824: DUP2 00000825: SWAP1 00000826: SSTORE 00000827: POP 00000828: DUP3 00000829: PUSH1 0x08 0000082b: PUSH1 0x00 0000082d: POP 0000082e: DUP2 0000082f: SWAP1 00000830: SSTORE 00000831: POP 00000832: JUMPDEST 00000833: POP 00000834: POP 00000835: POP 00000836: POP 00000837: JUMP 00000838: JUMPDEST 00000839: PUSH1 0x00 0000083b: PUSH1 0x00 0000083d: PUSH1 0x00 0000083f: PUSH1 0x0b 00000841: PUSH1 0x00 00000843: POP 00000844: SLOAD 00000845: EQ 00000846: ISZERO 00000847: PUSH2 0x084f 0000084a: JUMPI 0000084b: PUSH2 0x094a 0000084e: JUMP 0000084f: JUMPDEST 00000850: PUSH3 0x015180 00000854: PUSH1 0x0b 00000856: PUSH1 0x00 00000858: POP 00000859: SLOAD 0000085a: TIMESTAMP 0000085b: SUB 0000085c: LT 0000085d: ISZERO 0000085e: PUSH2 0x0866 00000861: JUMPI 00000862: PUSH2 0x094a 00000865: JUMP 00000866: JUMPDEST 00000867: PUSH1 0x00 00000869: PUSH1 0x01 0000086b: MUL 0000086c: PUSH1 0x08 0000086e: PUSH1 0x00 00000870: POP 00000871: DUP2 00000872: SWAP1 00000873: SSTORE 00000874: POP 00000875: PUSH1 0x00 00000877: SWAP2 00000878: POP 00000879: PUSH1 0x05 0000087b: PUSH1 0x00 0000087d: POP 0000087e: SLOAD 0000087f: SWAP1 00000880: POP 00000881: JUMPDEST 00000882: PUSH1 0x03 00000884: PUSH1 0x00 00000886: POP 00000887: SLOAD 00000888: DUP2 00000889: LT 0000088a: ISZERO 0000088b: PUSH2 0x0916 0000088e: JUMPI 0000088f: CALLER 00000890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a5: AND 000008a6: PUSH1 0x01 000008a8: PUSH1 0x00 000008aa: POP 000008ab: PUSH1 0x00 000008ad: DUP4 000008ae: DUP2 000008af: MSTORE 000008b0: PUSH1 0x20 000008b2: ADD 000008b3: SWAP1 000008b4: DUP2 000008b5: MSTORE 000008b6: PUSH1 0x20 000008b8: ADD 000008b9: PUSH1 0x00 000008bb: KECCAK256 000008bc: PUSH1 0x00 000008be: SWAP1 000008bf: SLOAD 000008c0: SWAP1 000008c1: PUSH2 0x0100 000008c4: EXP 000008c5: SWAP1 000008c6: DIV 000008c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008dc: AND 000008dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f2: AND 000008f3: EQ 000008f4: ISZERO 000008f5: PUSH2 0x0908 000008f8: JUMPI 000008f9: PUSH8 0x0de0b6b3a7640000 00000902: DUP3 00000903: ADD 00000904: SWAP2 00000905: POP 00000906: DUP2 00000907: POP 00000908: JUMPDEST 00000909: JUMPDEST 0000090a: DUP1 0000090b: DUP1 0000090c: PUSH1 0x01 0000090e: ADD 0000090f: SWAP2 00000910: POP 00000911: POP 00000912: PUSH2 0x0881 00000915: JUMP 00000916: JUMPDEST 00000917: CALLER 00000918: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092d: AND 0000092e: PUSH1 0x00 00000930: DUP4 00000931: PUSH1 0x40 00000933: MLOAD 00000934: DUP1 00000935: SWAP1 00000936: POP 00000937: PUSH1 0x00 00000939: PUSH1 0x40 0000093b: MLOAD 0000093c: DUP1 0000093d: DUP4 0000093e: SUB 0000093f: DUP2 00000940: DUP6 00000941: DUP9 00000942: DUP9 00000943: CALL 00000944: SWAP4 00000945: POP 00000946: POP 00000947: POP 00000948: POP 00000949: POP 0000094a: JUMPDEST 0000094b: POP 0000094c: POP 0000094d: JUMP 0000094e: JUMPDEST 0000094f: PUSH1 0x00 00000951: PUSH1 0x00 00000953: PUSH1 0x00 00000955: SWAP1 00000956: SLOAD 00000957: SWAP1 00000958: PUSH2 0x0100 0000095b: EXP 0000095c: SWAP1 0000095d: DIV 0000095e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000973: AND 00000974: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000989: AND 0000098a: CALLER 0000098b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a0: AND 000009a1: EQ 000009a2: ISZERO 000009a3: ISZERO 000009a4: PUSH2 0x09ac 000009a7: JUMPI 000009a8: PUSH2 0x0a62 000009ab: JUMP 000009ac: JUMPDEST 000009ad: PUSH8 0x0de0b6b3a7640000 000009b6: PUSH1 0x05 000009b8: PUSH1 0x00 000009ba: POP 000009bb: SLOAD 000009bc: PUSH1 0x03 000009be: PUSH1 0x00 000009c0: POP 000009c1: SLOAD 000009c2: SUB 000009c3: MUL 000009c4: SWAP1 000009c5: POP 000009c6: PUSH32 0x909c57d5c6ac08245cf2a6de3900e2b868513fa59099b92b27d8db823d92df9c 000009e7: DUP2 000009e8: ADDRESS 000009e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009fe: AND 000009ff: BALANCE 00000a00: SUB 00000a01: PUSH1 0x40 00000a03: MLOAD 00000a04: DUP1 00000a05: DUP3 00000a06: DUP2 00000a07: MSTORE 00000a08: PUSH1 0x20 00000a0a: ADD 00000a0b: SWAP2 00000a0c: POP 00000a0d: POP 00000a0e: PUSH1 0x40 00000a10: MLOAD 00000a11: DUP1 00000a12: SWAP2 00000a13: SUB 00000a14: SWAP1 00000a15: LOG1 00000a16: CALLER 00000a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2c: AND 00000a2d: PUSH1 0x00 00000a2f: DUP3 00000a30: ADDRESS 00000a31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a46: AND 00000a47: BALANCE 00000a48: SUB 00000a49: PUSH1 0x40 00000a4b: MLOAD 00000a4c: DUP1 00000a4d: SWAP1 00000a4e: POP 00000a4f: PUSH1 0x00 00000a51: PUSH1 0x40 00000a53: MLOAD 00000a54: DUP1 00000a55: DUP4 00000a56: SUB 00000a57: DUP2 00000a58: DUP6 00000a59: DUP9 00000a5a: DUP9 00000a5b: CALL 00000a5c: SWAP4 00000a5d: POP 00000a5e: POP 00000a5f: POP 00000a60: POP 00000a61: POP 00000a62: JUMPDEST 00000a63: POP 00000a64: JUMP 00000a65: JUMPDEST 00000a66: PUSH1 0x00 00000a68: PUSH1 0x00 00000a6a: PUSH1 0x0b 00000a6c: PUSH1 0x00 00000a6e: POP 00000a6f: SLOAD 00000a70: EQ 00000a71: ISZERO 00000a72: PUSH2 0x0a83 00000a75: JUMPI 00000a76: PUSH2 0x0539 00000a79: SWAP1 00000a7a: POP 00000a7b: PUSH2 0x0a93 00000a7e: JUMP 00000a7f: PUSH2 0x0a92 00000a82: JUMP 00000a83: JUMPDEST 00000a84: PUSH1 0x0b 00000a86: PUSH1 0x00 00000a88: POP 00000a89: SLOAD 00000a8a: TIMESTAMP 00000a8b: SUB 00000a8c: SWAP1 00000a8d: POP 00000a8e: PUSH2 0x0a93 00000a91: JUMP 00000a92: JUMPDEST 00000a93: JUMPDEST 00000a94: SWAP1 00000a95: JUMP 00000a96: JUMPDEST 00000a97: PUSH1 0x00 00000a99: DUP2 00000a9a: PUSH1 0x40 00000a9c: MLOAD 00000a9d: DUP1 00000a9e: DUP3 00000a9f: DUP2 00000aa0: MSTORE 00000aa1: PUSH1 0x20 00000aa3: ADD 00000aa4: SWAP2 00000aa5: POP 00000aa6: POP 00000aa7: PUSH1 0x40 00000aa9: MLOAD 00000aaa: DUP1 00000aab: SWAP2 00000aac: SUB 00000aad: SWAP1 00000aae: KECCAK256 00000aaf: SWAP1 00000ab0: POP 00000ab1: PUSH2 0x0ab5 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: SWAP2 00000ab7: SWAP1 00000ab8: POP 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH1 0x06 00000abd: PUSH1 0x00 00000abf: POP 00000ac0: SLOAD 00000ac1: DUP2 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: PUSH1 0x07 00000ac6: PUSH1 0x00 00000ac8: POP 00000ac9: SLOAD 00000aca: DUP2 00000acb: JUMP 00000acc: JUMPDEST 00000acd: PUSH1 0x08 00000acf: PUSH1 0x00 00000ad1: POP 00000ad2: SLOAD 00000ad3: DUP2 00000ad4: JUMP 00000ad5: JUMPDEST 00000ad6: PUSH1 0x09 00000ad8: PUSH1 0x00 00000ada: POP 00000adb: SLOAD 00000adc: DUP2 00000add: JUMP 00000ade: JUMPDEST 00000adf: PUSH1 0x0a 00000ae1: PUSH1 0x00 00000ae3: POP 00000ae4: SLOAD 00000ae5: DUP2 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: PUSH2 0x03e8 00000aeb: DUP2 00000aec: JUMP 00000aed: JUMPDEST 00000aee: PUSH3 0x015180 00000af2: DUP2 00000af3: JUMP 00000af4: JUMPDEST 00000af5: PUSH8 0x0de0b6b3a7640000 00000afe: DUP2 00000aff: JUMP 00000b00: JUMPDEST 00000b01: PUSH1 0x0b 00000b03: PUSH1 0x00 00000b05: POP 00000b06: SLOAD 00000b07: DUP2 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: PUSH1 0x01 00000b0c: PUSH1 0x00 00000b0e: POP 00000b0f: PUSH1 0x20 00000b11: MSTORE 00000b12: DUP1 00000b13: PUSH1 0x00 00000b15: MSTORE 00000b16: PUSH1 0x40 00000b18: PUSH1 0x00 00000b1a: KECCAK256 00000b1b: PUSH1 0x00 00000b1d: SWAP2 00000b1e: POP 00000b1f: SWAP1 00000b20: SWAP1 00000b21: SLOAD 00000b22: SWAP1 00000b23: PUSH2 0x0100 00000b26: EXP 00000b27: SWAP1 00000b28: DIV 00000b29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b3e: AND 00000b3f: DUP2 00000b40: JUMP 00000b41: JUMPDEST 00000b42: PUSH1 0x02 00000b44: PUSH1 0x00 00000b46: POP 00000b47: PUSH1 0x20 00000b49: MSTORE 00000b4a: DUP1 00000b4b: PUSH1 0x00 00000b4d: MSTORE 00000b4e: PUSH1 0x40 00000b50: PUSH1 0x00 00000b52: KECCAK256 00000b53: PUSH1 0x00 00000b55: SWAP2 00000b56: POP 00000b57: SWAP1 00000b58: POP 00000b59: SLOAD 00000b5a: DUP2 00000b5b: JUMP 00000b5c: JUMPDEST 00000b5d: PUSH1 0x03 00000b5f: PUSH1 0x00 00000b61: POP 00000b62: SLOAD 00000b63: DUP2 00000b64: JUMP 00000b65: JUMPDEST 00000b66: PUSH1 0x04 00000b68: PUSH1 0x00 00000b6a: POP 00000b6b: SLOAD 00000b6c: DUP2 00000b6d: JUMP 00000b6e: JUMPDEST 00000b6f: PUSH1 0x05 00000b71: PUSH1 0x00 00000b73: POP 00000b74: SLOAD 00000b75: DUP2 00000b76: JUMP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1dcc1790f116d75062df4c079fb6799d64e2dfa3bbdcecbe9041f9d1c500928e
call_targets:
0x2adfc2febf51d75d195ccd903251c099fdd22f20
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1dcc1790f116d75062df4c079fb6799d64e2dfa3bbdcecbe9041f9d1c500928e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2adfc2febf51d75d195ccd903251c099fdd22f20"
],
"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": "0x11bc5478",
"selector": "0x11bc5478",
"calldata_variants": [
"0x11bc5478",
"0x11bc54780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x353d90ec",
"selector": "0x353d90ec",
"calldata_variants": [
"0x353d90ec",
"0x353d90ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43743d93",
"selector": "0x43743d93",
"calldata_variants": [
"0x43743d93",
"0x43743d930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4faa2d54",
"selector": "0x4faa2d54",
"calldata_variants": [
"0x4faa2d54",
"0x4faa2d540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x50b44712",
"selector": "0x50b44712",
"calldata_variants": [
"0x50b44712",
"0x50b447120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c0ecfad",
"selector": "0x5c0ecfad",
"calldata_variants": [
"0x5c0ecfad",
"0x5c0ecfad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d80c278",
"selector": "0x5d80c278",
"calldata_variants": [
"0x5d80c278",
"0x5d80c2780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x602a6ca1",
"selector": "0x602a6ca1",
"calldata_variants": [
"0x602a6ca1",
"0x602a6ca10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 355,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 453,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 551,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [
{
"pc": 1637,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2442,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 7
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1dcc1790f116d75062df4c079fb6799d64e2dfa3bbdcecbe9041f9d1c500928e
call_targets:
0x2adfc2febf51d75d195ccd903251c099fdd22f20
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1dcc1790f116d75062df4c079fb6799d64e2dfa3bbdcecbe9041f9d1c500928e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2adfc2febf51d75d195ccd903251c099fdd22f20"
],
"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": "0x11bc5478",
"selector": "0x11bc5478",
"calldata_variants": [
"0x11bc5478",
"0x11bc54780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x353d90ec",
"selector": "0x353d90ec",
"calldata_variants": [
"0x353d90ec",
"0x353d90ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43743d93",
"selector": "0x43743d93",
"calldata_variants": [
"0x43743d93",
"0x43743d930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4faa2d54",
"selector": "0x4faa2d54",
"calldata_variants": [
"0x4faa2d54",
"0x4faa2d540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x50b44712",
"selector": "0x50b44712",
"calldata_variants": [
"0x50b44712",
"0x50b447120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c0ecfad",
"selector": "0x5c0ecfad",
"calldata_variants": [
"0x5c0ecfad",
"0x5c0ecfad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d80c278",
"selector": "0x5d80c278",
"calldata_variants": [
"0x5d80c278",
"0x5d80c2780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x602a6ca1",
"selector": "0x602a6ca1",
"calldata_variants": [
"0x602a6ca1",
"0x602a6ca10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 355,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 453,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 551,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": [
{
"pc": 1637,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2442,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|