019b3836-2a86-7294-98e9-7d8af1d62054
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 |
|---|---|---|---|---|
| 1615 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 1616 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 44635 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 44636 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 44637 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 44638 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x008a 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x08551a53 00000034: EQ 00000035: PUSH2 0x0097 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x35a063b4 0000003f: EQ 00000040: PUSH2 0x00d0 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x3fa4f245 0000004a: EQ 0000004b: PUSH2 0x00df 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x590e1ae3 00000055: EQ 00000056: PUSH2 0x0102 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x7150d8ae 00000060: EQ 00000061: PUSH2 0x0111 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x73fac6f0 0000006b: EQ 0000006c: PUSH2 0x014a 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc19d93fb 00000076: EQ 00000077: PUSH2 0x0159 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd6960697 00000081: EQ 00000082: PUSH2 0x017c 00000085: JUMPI 00000086: PUSH2 0x008a 00000089: JUMP 0000008a: JUMPDEST 0000008b: PUSH2 0x0095 0000008e: JUMPDEST 0000008f: PUSH2 0x0002 00000092: JUMP 00000093: JUMPDEST 00000094: JUMP 00000095: JUMPDEST 00000096: STOP 00000097: JUMPDEST 00000098: PUSH2 0x00a4 0000009b: PUSH1 0x04 0000009d: DUP1 0000009e: POP 0000009f: POP 000000a0: PUSH2 0x055f 000000a3: JUMP 000000a4: JUMPDEST 000000a5: PUSH1 0x40 000000a7: MLOAD 000000a8: DUP1 000000a9: DUP3 000000aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000bf: AND 000000c0: DUP2 000000c1: MSTORE 000000c2: PUSH1 0x20 000000c4: ADD 000000c5: SWAP2 000000c6: POP 000000c7: POP 000000c8: PUSH1 0x40 000000ca: MLOAD 000000cb: DUP1 000000cc: SWAP2 000000cd: SUB 000000ce: SWAP1 000000cf: RETURN 000000d0: JUMPDEST 000000d1: PUSH2 0x00dd 000000d4: PUSH1 0x04 000000d6: DUP1 000000d7: POP 000000d8: POP 000000d9: PUSH2 0x05be 000000dc: JUMP 000000dd: JUMPDEST 000000de: STOP 000000df: JUMPDEST 000000e0: PUSH2 0x00ec 000000e3: PUSH1 0x04 000000e5: DUP1 000000e6: POP 000000e7: POP 000000e8: PUSH2 0x0556 000000eb: JUMP 000000ec: JUMPDEST 000000ed: PUSH1 0x40 000000ef: MLOAD 000000f0: DUP1 000000f1: DUP3 000000f2: DUP2 000000f3: MSTORE 000000f4: PUSH1 0x20 000000f6: ADD 000000f7: SWAP2 000000f8: POP 000000f9: POP 000000fa: PUSH1 0x40 000000fc: MLOAD 000000fd: DUP1 000000fe: SWAP2 000000ff: SUB 00000100: SWAP1 00000101: RETURN 00000102: JUMPDEST 00000103: PUSH2 0x010f 00000106: PUSH1 0x04 00000108: DUP1 00000109: POP 0000010a: POP 0000010b: PUSH2 0x03c6 0000010e: JUMP 0000010f: JUMPDEST 00000110: STOP 00000111: JUMPDEST 00000112: PUSH2 0x011e 00000115: PUSH1 0x04 00000117: DUP1 00000118: POP 00000119: POP 0000011a: PUSH2 0x0585 0000011d: JUMP 0000011e: JUMPDEST 0000011f: PUSH1 0x40 00000121: MLOAD 00000122: DUP1 00000123: DUP3 00000124: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000139: AND 0000013a: DUP2 0000013b: MSTORE 0000013c: PUSH1 0x20 0000013e: ADD 0000013f: SWAP2 00000140: POP 00000141: POP 00000142: PUSH1 0x40 00000144: MLOAD 00000145: DUP1 00000146: SWAP2 00000147: SUB 00000148: SWAP1 00000149: RETURN 0000014a: JUMPDEST 0000014b: PUSH2 0x0157 0000014e: PUSH1 0x04 00000150: DUP1 00000151: POP 00000152: POP 00000153: PUSH2 0x0239 00000156: JUMP 00000157: JUMPDEST 00000158: STOP 00000159: JUMPDEST 0000015a: PUSH2 0x0166 0000015d: PUSH1 0x04 0000015f: DUP1 00000160: POP 00000161: POP 00000162: PUSH2 0x05ab 00000165: JUMP 00000166: JUMPDEST 00000167: PUSH1 0x40 00000169: MLOAD 0000016a: DUP1 0000016b: DUP3 0000016c: DUP2 0000016d: MSTORE 0000016e: PUSH1 0x20 00000170: ADD 00000171: SWAP2 00000172: POP 00000173: POP 00000174: PUSH1 0x40 00000176: MLOAD 00000177: DUP1 00000178: SWAP2 00000179: SUB 0000017a: SWAP1 0000017b: RETURN 0000017c: JUMPDEST 0000017d: PUSH2 0x0189 00000180: PUSH1 0x04 00000182: DUP1 00000183: POP 00000184: POP 00000185: PUSH2 0x018b 00000188: JUMP 00000189: JUMPDEST 0000018a: STOP 0000018b: JUMPDEST 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: PUSH1 0x02 00000191: PUSH1 0x14 00000193: SWAP1 00000194: SLOAD 00000195: SWAP1 00000196: PUSH2 0x0100 00000199: EXP 0000019a: SWAP1 0000019b: DIV 0000019c: PUSH1 0xff 0000019e: AND 0000019f: EQ 000001a0: ISZERO 000001a1: ISZERO 000001a2: PUSH2 0x01aa 000001a5: JUMPI 000001a6: PUSH2 0x0002 000001a9: JUMP 000001aa: JUMPDEST 000001ab: PUSH1 0x00 000001ad: PUSH1 0x00 000001af: POP 000001b0: SLOAD 000001b1: PUSH1 0x02 000001b3: MUL 000001b4: CALLVALUE 000001b5: EQ 000001b6: DUP1 000001b7: ISZERO 000001b8: ISZERO 000001b9: PUSH2 0x01c1 000001bc: JUMPI 000001bd: PUSH2 0x0002 000001c0: JUMP 000001c1: JUMPDEST 000001c2: CALLER 000001c3: PUSH1 0x02 000001c5: PUSH1 0x00 000001c7: PUSH2 0x0100 000001ca: EXP 000001cb: DUP2 000001cc: SLOAD 000001cd: DUP2 000001ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e3: MUL 000001e4: NOT 000001e5: AND 000001e6: SWAP1 000001e7: DUP4 000001e8: MUL 000001e9: OR 000001ea: SWAP1 000001eb: SSTORE 000001ec: POP 000001ed: PUSH1 0x01 000001ef: PUSH1 0x02 000001f1: PUSH1 0x14 000001f3: PUSH2 0x0100 000001f6: EXP 000001f7: DUP2 000001f8: SLOAD 000001f9: DUP2 000001fa: PUSH1 0xff 000001fc: MUL 000001fd: NOT 000001fe: AND 000001ff: SWAP1 00000200: DUP4 00000201: MUL 00000202: OR 00000203: SWAP1 00000204: SSTORE 00000205: POP 00000206: PUSH32 0xd5d55c8a68912e9a110618df8d5e2e83b8d83211c57a8ddd1203df92885dc881 00000227: PUSH1 0x40 00000229: MLOAD 0000022a: DUP1 0000022b: SWAP1 0000022c: POP 0000022d: PUSH1 0x40 0000022f: MLOAD 00000230: DUP1 00000231: SWAP2 00000232: SUB 00000233: SWAP1 00000234: LOG1 00000235: POP 00000236: POP 00000237: JUMPDEST 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x02 0000023c: PUSH1 0x00 0000023e: SWAP1 0000023f: SLOAD 00000240: SWAP1 00000241: PUSH2 0x0100 00000244: EXP 00000245: SWAP1 00000246: DIV 00000247: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025c: AND 0000025d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000272: AND 00000273: CALLER 00000274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000289: AND 0000028a: EQ 0000028b: ISZERO 0000028c: ISZERO 0000028d: PUSH2 0x0295 00000290: JUMPI 00000291: PUSH2 0x0002 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH1 0x01 00000298: DUP1 00000299: PUSH1 0x02 0000029b: PUSH1 0x14 0000029d: SWAP1 0000029e: SLOAD 0000029f: SWAP1 000002a0: PUSH2 0x0100 000002a3: EXP 000002a4: SWAP1 000002a5: DIV 000002a6: PUSH1 0xff 000002a8: AND 000002a9: EQ 000002aa: ISZERO 000002ab: ISZERO 000002ac: PUSH2 0x02b4 000002af: JUMPI 000002b0: PUSH2 0x0002 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH1 0x02 000002b7: PUSH1 0x00 000002b9: SWAP1 000002ba: SLOAD 000002bb: SWAP1 000002bc: PUSH2 0x0100 000002bf: EXP 000002c0: SWAP1 000002c1: DIV 000002c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d7: AND 000002d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ed: AND 000002ee: PUSH1 0x00 000002f0: PUSH1 0x00 000002f2: PUSH1 0x00 000002f4: POP 000002f5: SLOAD 000002f6: PUSH1 0x40 000002f8: MLOAD 000002f9: DUP1 000002fa: SWAP1 000002fb: POP 000002fc: PUSH1 0x00 000002fe: PUSH1 0x40 00000300: MLOAD 00000301: DUP1 00000302: DUP4 00000303: SUB 00000304: DUP2 00000305: DUP6 00000306: DUP9 00000307: DUP9 00000308: CALL 00000309: SWAP4 0000030a: POP 0000030b: POP 0000030c: POP 0000030d: POP 0000030e: POP 0000030f: PUSH1 0x01 00000311: PUSH1 0x00 00000313: SWAP1 00000314: SLOAD 00000315: SWAP1 00000316: PUSH2 0x0100 00000319: EXP 0000031a: SWAP1 0000031b: DIV 0000031c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000331: AND 00000332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000347: AND 00000348: PUSH1 0x00 0000034a: ADDRESS 0000034b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000360: AND 00000361: BALANCE 00000362: PUSH1 0x40 00000364: MLOAD 00000365: DUP1 00000366: SWAP1 00000367: POP 00000368: PUSH1 0x00 0000036a: PUSH1 0x40 0000036c: MLOAD 0000036d: DUP1 0000036e: DUP4 0000036f: SUB 00000370: DUP2 00000371: DUP6 00000372: DUP9 00000373: DUP9 00000374: CALL 00000375: SWAP4 00000376: POP 00000377: POP 00000378: POP 00000379: POP 0000037a: POP 0000037b: PUSH1 0x02 0000037d: PUSH1 0x02 0000037f: PUSH1 0x14 00000381: PUSH2 0x0100 00000384: EXP 00000385: DUP2 00000386: SLOAD 00000387: DUP2 00000388: PUSH1 0xff 0000038a: MUL 0000038b: NOT 0000038c: AND 0000038d: SWAP1 0000038e: DUP4 0000038f: MUL 00000390: OR 00000391: SWAP1 00000392: SSTORE 00000393: POP 00000394: PUSH32 0xe89152acd703c9d8c7d28829d443260b411454d45394e7995815140c8cbcbcf7 000003b5: PUSH1 0x40 000003b7: MLOAD 000003b8: DUP1 000003b9: SWAP1 000003ba: POP 000003bb: PUSH1 0x40 000003bd: MLOAD 000003be: DUP1 000003bf: SWAP2 000003c0: SUB 000003c1: SWAP1 000003c2: LOG1 000003c3: POP 000003c4: JUMPDEST 000003c5: JUMP 000003c6: JUMPDEST 000003c7: PUSH1 0x01 000003c9: PUSH1 0x00 000003cb: SWAP1 000003cc: SLOAD 000003cd: SWAP1 000003ce: PUSH2 0x0100 000003d1: EXP 000003d2: SWAP1 000003d3: DIV 000003d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e9: AND 000003ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ff: AND 00000400: CALLER 00000401: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000416: AND 00000417: EQ 00000418: ISZERO 00000419: ISZERO 0000041a: PUSH2 0x0422 0000041d: JUMPI 0000041e: PUSH2 0x0002 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH1 0x01 00000425: DUP1 00000426: PUSH1 0x02 00000428: PUSH1 0x14 0000042a: SWAP1 0000042b: SLOAD 0000042c: SWAP1 0000042d: PUSH2 0x0100 00000430: EXP 00000431: SWAP1 00000432: DIV 00000433: PUSH1 0xff 00000435: AND 00000436: EQ 00000437: ISZERO 00000438: ISZERO 00000439: PUSH2 0x0441 0000043c: JUMPI 0000043d: PUSH2 0x0002 00000440: JUMP 00000441: JUMPDEST 00000442: PUSH1 0x02 00000444: PUSH1 0x00 00000446: SWAP1 00000447: SLOAD 00000448: SWAP1 00000449: PUSH2 0x0100 0000044c: EXP 0000044d: SWAP1 0000044e: DIV 0000044f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000464: AND 00000465: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047a: AND 0000047b: PUSH1 0x00 0000047d: PUSH1 0x00 0000047f: PUSH1 0x00 00000481: POP 00000482: SLOAD 00000483: PUSH1 0x02 00000485: MUL 00000486: PUSH1 0x40 00000488: MLOAD 00000489: DUP1 0000048a: SWAP1 0000048b: POP 0000048c: PUSH1 0x00 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: DUP1 00000492: DUP4 00000493: SUB 00000494: DUP2 00000495: DUP6 00000496: DUP9 00000497: DUP9 00000498: CALL 00000499: SWAP4 0000049a: POP 0000049b: POP 0000049c: POP 0000049d: POP 0000049e: POP 0000049f: PUSH1 0x01 000004a1: PUSH1 0x00 000004a3: SWAP1 000004a4: SLOAD 000004a5: SWAP1 000004a6: PUSH2 0x0100 000004a9: EXP 000004aa: SWAP1 000004ab: DIV 000004ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c1: AND 000004c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d7: AND 000004d8: PUSH1 0x00 000004da: ADDRESS 000004db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f0: AND 000004f1: BALANCE 000004f2: PUSH1 0x40 000004f4: MLOAD 000004f5: DUP1 000004f6: SWAP1 000004f7: POP 000004f8: PUSH1 0x00 000004fa: PUSH1 0x40 000004fc: MLOAD 000004fd: DUP1 000004fe: DUP4 000004ff: SUB 00000500: DUP2 00000501: DUP6 00000502: DUP9 00000503: DUP9 00000504: CALL 00000505: SWAP4 00000506: POP 00000507: POP 00000508: POP 00000509: POP 0000050a: POP 0000050b: PUSH1 0x02 0000050d: PUSH1 0x02 0000050f: PUSH1 0x14 00000511: PUSH2 0x0100 00000514: EXP 00000515: DUP2 00000516: SLOAD 00000517: DUP2 00000518: PUSH1 0xff 0000051a: MUL 0000051b: NOT 0000051c: AND 0000051d: SWAP1 0000051e: DUP4 0000051f: MUL 00000520: OR 00000521: SWAP1 00000522: SSTORE 00000523: POP 00000524: PUSH32 0x8616bbbbad963e4e65b1366f1d75dfb63f9e9704bbbf91fb01bec70849906cf7 00000545: PUSH1 0x40 00000547: MLOAD 00000548: DUP1 00000549: SWAP1 0000054a: POP 0000054b: PUSH1 0x40 0000054d: MLOAD 0000054e: DUP1 0000054f: SWAP2 00000550: SUB 00000551: SWAP1 00000552: LOG1 00000553: POP 00000554: JUMPDEST 00000555: JUMP 00000556: JUMPDEST 00000557: PUSH1 0x00 00000559: PUSH1 0x00 0000055b: POP 0000055c: SLOAD 0000055d: DUP2 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH1 0x01 00000562: PUSH1 0x00 00000564: SWAP1 00000565: SLOAD 00000566: SWAP1 00000567: PUSH2 0x0100 0000056a: EXP 0000056b: SWAP1 0000056c: DIV 0000056d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000582: AND 00000583: DUP2 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH1 0x02 00000588: PUSH1 0x00 0000058a: SWAP1 0000058b: SLOAD 0000058c: SWAP1 0000058d: PUSH2 0x0100 00000590: EXP 00000591: SWAP1 00000592: DIV 00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a8: AND 000005a9: DUP2 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH1 0x02 000005ae: PUSH1 0x14 000005b0: SWAP1 000005b1: SLOAD 000005b2: SWAP1 000005b3: PUSH2 0x0100 000005b6: EXP 000005b7: SWAP1 000005b8: DIV 000005b9: PUSH1 0xff 000005bb: AND 000005bc: DUP2 000005bd: JUMP 000005be: JUMPDEST 000005bf: PUSH1 0x01 000005c1: PUSH1 0x00 000005c3: SWAP1 000005c4: SLOAD 000005c5: SWAP1 000005c6: PUSH2 0x0100 000005c9: EXP 000005ca: SWAP1 000005cb: DIV 000005cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e1: AND 000005e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f7: AND 000005f8: CALLER 000005f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060e: AND 0000060f: EQ 00000610: ISZERO 00000611: ISZERO 00000612: PUSH2 0x061a 00000615: JUMPI 00000616: PUSH2 0x0002 00000619: JUMP 0000061a: JUMPDEST 0000061b: PUSH1 0x00 0000061d: DUP1 0000061e: PUSH1 0x02 00000620: PUSH1 0x14 00000622: SWAP1 00000623: SLOAD 00000624: SWAP1 00000625: PUSH2 0x0100 00000628: EXP 00000629: SWAP1 0000062a: DIV 0000062b: PUSH1 0xff 0000062d: AND 0000062e: EQ 0000062f: ISZERO 00000630: ISZERO 00000631: PUSH2 0x0639 00000634: JUMPI 00000635: PUSH2 0x0002 00000638: JUMP 00000639: JUMPDEST 0000063a: PUSH1 0x01 0000063c: PUSH1 0x00 0000063e: SWAP1 0000063f: SLOAD 00000640: SWAP1 00000641: PUSH2 0x0100 00000644: EXP 00000645: SWAP1 00000646: DIV 00000647: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065c: AND 0000065d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000672: AND 00000673: PUSH1 0x00 00000675: ADDRESS 00000676: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000068b: AND 0000068c: BALANCE 0000068d: PUSH1 0x40 0000068f: MLOAD 00000690: DUP1 00000691: SWAP1 00000692: POP 00000693: PUSH1 0x00 00000695: PUSH1 0x40 00000697: MLOAD 00000698: DUP1 00000699: DUP4 0000069a: SUB 0000069b: DUP2 0000069c: DUP6 0000069d: DUP9 0000069e: DUP9 0000069f: CALL 000006a0: SWAP4 000006a1: POP 000006a2: POP 000006a3: POP 000006a4: POP 000006a5: POP 000006a6: PUSH1 0x02 000006a8: PUSH1 0x02 000006aa: PUSH1 0x14 000006ac: PUSH2 0x0100 000006af: EXP 000006b0: DUP2 000006b1: SLOAD 000006b2: DUP2 000006b3: PUSH1 0xff 000006b5: MUL 000006b6: NOT 000006b7: AND 000006b8: SWAP1 000006b9: DUP4 000006ba: MUL 000006bb: OR 000006bc: SWAP1 000006bd: SSTORE 000006be: POP 000006bf: PUSH32 0x72c874aeff0b183a56e2b79c71b46e1aed4dee5e09862134b8821ba2fddbf8bf 000006e0: PUSH1 0x40 000006e2: MLOAD 000006e3: DUP1 000006e4: SWAP1 000006e5: POP 000006e6: PUSH1 0x40 000006e8: MLOAD 000006e9: DUP1 000006ea: SWAP2 000006eb: SUB 000006ec: SWAP1 000006ed: LOG1 000006ee: POP 000006ef: JUMPDEST 000006f0: JUMP
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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x549b97597c5628db2cd020b1fe779300771ab17a4bd8fc485a91297806529ebf
call_targets:
0xf287dfe3b5d859ee75b98daf46f899e9deb5cea3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x549b97597c5628db2cd020b1fe779300771ab17a4bd8fc485a91297806529ebf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf287dfe3b5d859ee75b98daf46f899e9deb5cea3"
],
"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": "0x08551a53",
"selector": "0x08551a53",
"calldata_variants": [
"0x08551a53",
"0x08551a530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x35a063b4",
"selector": "0x35a063b4",
"calldata_variants": [
"0x35a063b4",
"0x35a063b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fa4f245",
"selector": "0x3fa4f245",
"calldata_variants": [
"0x3fa4f245",
"0x3fa4f2450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x590e1ae3",
"selector": "0x590e1ae3",
"calldata_variants": [
"0x590e1ae3",
"0x590e1ae30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7150d8ae",
"selector": "0x7150d8ae",
"calldata_variants": [
"0x7150d8ae",
"0x7150d8ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x73fac6f0",
"selector": "0x73fac6f0",
"calldata_variants": [
"0x73fac6f0",
"0x73fac6f00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6960697",
"selector": "0xd6960697",
"calldata_variants": [
"0xd6960697",
"0xd69606970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 776,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 884,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1176,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 627,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1024,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1528,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x549b97597c5628db2cd020b1fe779300771ab17a4bd8fc485a91297806529ebf
call_targets:
0xf287dfe3b5d859ee75b98daf46f899e9deb5cea3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x549b97597c5628db2cd020b1fe779300771ab17a4bd8fc485a91297806529ebf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf287dfe3b5d859ee75b98daf46f899e9deb5cea3"
],
"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": "0x08551a53",
"selector": "0x08551a53",
"calldata_variants": [
"0x08551a53",
"0x08551a530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x35a063b4",
"selector": "0x35a063b4",
"calldata_variants": [
"0x35a063b4",
"0x35a063b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fa4f245",
"selector": "0x3fa4f245",
"calldata_variants": [
"0x3fa4f245",
"0x3fa4f2450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x590e1ae3",
"selector": "0x590e1ae3",
"calldata_variants": [
"0x590e1ae3",
"0x590e1ae30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7150d8ae",
"selector": "0x7150d8ae",
"calldata_variants": [
"0x7150d8ae",
"0x7150d8ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x73fac6f0",
"selector": "0x73fac6f0",
"calldata_variants": [
"0x73fac6f0",
"0x73fac6f00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6960697",
"selector": "0xd6960697",
"calldata_variants": [
"0xd6960697",
"0xd69606970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 776,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 884,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1176,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 627,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1024,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1528,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|