019b3831-b4e3-719b-86c3-2f14657d4551
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 |
|---|---|---|---|---|
| 59 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 60 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 43119 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 43120 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 43121 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 43122 | 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 0x13af4035 00000034: EQ 00000035: PUSH2 0x00eb 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x250e87c9 0000003f: EQ 00000040: PUSH2 0x00fe 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x53ac5ff9 0000004a: EQ 0000004b: PUSH2 0x0135 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x5e754d55 00000055: EQ 00000056: PUSH2 0x0148 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x7c654303 00000060: EQ 00000061: PUSH2 0x01df 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8da5cb5b 0000006b: EQ 0000006c: PUSH2 0x0200 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8f32d59b 00000076: EQ 00000077: PUSH2 0x0237 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe10d29ee 00000081: EQ 00000082: PUSH2 0x0258 00000085: JUMPI 00000086: PUSH2 0x008a 00000089: JUMP 0000008a: JUMPDEST 0000008b: PUSH2 0x00e9 0000008e: JUMPDEST 0000008f: PUSH8 0x0de0b6b3a7640000 00000098: ADDRESS 00000099: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ae: AND 000000af: BALANCE 000000b0: LT 000000b1: ISZERO 000000b2: ISZERO 000000b3: PUSH2 0x00e6 000000b6: JUMPI 000000b7: PUSH32 0x302777af5d26fab9dd5120c5f1307c65193ebc51daf33244ada4365fab10602c 000000d8: PUSH1 0x40 000000da: MLOAD 000000db: DUP1 000000dc: SWAP1 000000dd: POP 000000de: PUSH1 0x40 000000e0: MLOAD 000000e1: DUP1 000000e2: SWAP2 000000e3: SUB 000000e4: SWAP1 000000e5: LOG1 000000e6: JUMPDEST 000000e7: JUMPDEST 000000e8: JUMP 000000e9: JUMPDEST 000000ea: STOP 000000eb: JUMPDEST 000000ec: PUSH2 0x00fc 000000ef: PUSH1 0x04 000000f1: DUP1 000000f2: CALLDATALOAD 000000f3: SWAP1 000000f4: PUSH1 0x20 000000f6: ADD 000000f7: POP 000000f8: PUSH2 0x05ef 000000fb: JUMP 000000fc: JUMPDEST 000000fd: STOP 000000fe: JUMPDEST 000000ff: PUSH2 0x0109 00000102: PUSH1 0x04 00000104: POP 00000105: PUSH2 0x028b 00000108: JUMP 00000109: JUMPDEST 0000010a: PUSH1 0x40 0000010c: MLOAD 0000010d: DUP1 0000010e: DUP3 0000010f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000124: AND 00000125: DUP2 00000126: MSTORE 00000127: PUSH1 0x20 00000129: ADD 0000012a: SWAP2 0000012b: POP 0000012c: POP 0000012d: PUSH1 0x40 0000012f: MLOAD 00000130: DUP1 00000131: SWAP2 00000132: SUB 00000133: SWAP1 00000134: RETURN 00000135: JUMPDEST 00000136: PUSH2 0x0146 00000139: PUSH1 0x04 0000013b: DUP1 0000013c: CALLDATALOAD 0000013d: SWAP1 0000013e: PUSH1 0x20 00000140: ADD 00000141: POP 00000142: PUSH2 0x0569 00000145: JUMP 00000146: JUMPDEST 00000147: STOP 00000148: JUMPDEST 00000149: PUSH2 0x01dd 0000014c: PUSH1 0x04 0000014e: DUP1 0000014f: CALLDATALOAD 00000150: SWAP1 00000151: PUSH1 0x20 00000153: ADD 00000154: SWAP1 00000155: PUSH1 0x04 00000157: ADD 00000158: DUP1 00000159: CALLDATALOAD 0000015a: SWAP1 0000015b: PUSH1 0x20 0000015d: ADD 0000015e: SWAP2 0000015f: SWAP2 00000160: SWAP1 00000161: DUP1 00000162: DUP1 00000163: PUSH1 0x1f 00000165: ADD 00000166: PUSH1 0x20 00000168: DUP1 00000169: SWAP2 0000016a: DIV 0000016b: MUL 0000016c: PUSH1 0x20 0000016e: ADD 0000016f: PUSH1 0x40 00000171: MLOAD 00000172: SWAP1 00000173: DUP2 00000174: ADD 00000175: PUSH1 0x40 00000177: MSTORE 00000178: DUP1 00000179: SWAP4 0000017a: SWAP3 0000017b: SWAP2 0000017c: SWAP1 0000017d: DUP2 0000017e: DUP2 0000017f: MSTORE 00000180: PUSH1 0x20 00000182: ADD 00000183: DUP4 00000184: DUP4 00000185: DUP1 00000186: DUP3 00000187: DUP5 00000188: CALLDATACOPY 00000189: DUP3 0000018a: ADD 0000018b: SWAP2 0000018c: POP 0000018d: POP 0000018e: POP 0000018f: POP 00000190: POP 00000191: POP 00000192: SWAP1 00000193: DUP1 00000194: CALLDATALOAD 00000195: SWAP1 00000196: PUSH1 0x20 00000198: ADD 00000199: SWAP1 0000019a: PUSH1 0x04 0000019c: ADD 0000019d: DUP1 0000019e: CALLDATALOAD 0000019f: SWAP1 000001a0: PUSH1 0x20 000001a2: ADD 000001a3: SWAP2 000001a4: SWAP2 000001a5: SWAP1 000001a6: DUP1 000001a7: DUP1 000001a8: PUSH1 0x1f 000001aa: ADD 000001ab: PUSH1 0x20 000001ad: DUP1 000001ae: SWAP2 000001af: DIV 000001b0: MUL 000001b1: PUSH1 0x20 000001b3: ADD 000001b4: PUSH1 0x40 000001b6: MLOAD 000001b7: SWAP1 000001b8: DUP2 000001b9: ADD 000001ba: PUSH1 0x40 000001bc: MSTORE 000001bd: DUP1 000001be: SWAP4 000001bf: SWAP3 000001c0: SWAP2 000001c1: SWAP1 000001c2: DUP2 000001c3: DUP2 000001c4: MSTORE 000001c5: PUSH1 0x20 000001c7: ADD 000001c8: DUP4 000001c9: DUP4 000001ca: DUP1 000001cb: DUP3 000001cc: DUP5 000001cd: CALLDATACOPY 000001ce: DUP3 000001cf: ADD 000001d0: SWAP2 000001d1: POP 000001d2: POP 000001d3: POP 000001d4: POP 000001d5: POP 000001d6: POP 000001d7: SWAP1 000001d8: POP 000001d9: PUSH2 0x033b 000001dc: JUMP 000001dd: JUMPDEST 000001de: STOP 000001df: JUMPDEST 000001e0: PUSH2 0x01ea 000001e3: PUSH1 0x04 000001e5: POP 000001e6: PUSH2 0x030c 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH1 0x40 000001ed: MLOAD 000001ee: DUP1 000001ef: DUP3 000001f0: DUP2 000001f1: MSTORE 000001f2: PUSH1 0x20 000001f4: ADD 000001f5: SWAP2 000001f6: POP 000001f7: POP 000001f8: PUSH1 0x40 000001fa: MLOAD 000001fb: DUP1 000001fc: SWAP2 000001fd: SUB 000001fe: SWAP1 000001ff: RETURN 00000200: JUMPDEST 00000201: PUSH2 0x020b 00000204: PUSH1 0x04 00000206: POP 00000207: PUSH2 0x0265 0000020a: JUMP 0000020b: JUMPDEST 0000020c: PUSH1 0x40 0000020e: MLOAD 0000020f: DUP1 00000210: DUP3 00000211: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000226: AND 00000227: DUP2 00000228: MSTORE 00000229: PUSH1 0x20 0000022b: ADD 0000022c: SWAP2 0000022d: POP 0000022e: POP 0000022f: PUSH1 0x40 00000231: MLOAD 00000232: DUP1 00000233: SWAP2 00000234: SUB 00000235: SWAP1 00000236: RETURN 00000237: JUMPDEST 00000238: PUSH2 0x0242 0000023b: PUSH1 0x04 0000023d: POP 0000023e: PUSH2 0x0675 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH1 0x40 00000245: MLOAD 00000246: DUP1 00000247: DUP3 00000248: DUP2 00000249: MSTORE 0000024a: PUSH1 0x20 0000024c: ADD 0000024d: SWAP2 0000024e: POP 0000024f: POP 00000250: PUSH1 0x40 00000252: MLOAD 00000253: DUP1 00000254: SWAP2 00000255: SUB 00000256: SWAP1 00000257: RETURN 00000258: JUMPDEST 00000259: PUSH2 0x0263 0000025c: PUSH1 0x04 0000025e: POP 0000025f: PUSH2 0x02b1 00000262: JUMP 00000263: JUMPDEST 00000264: STOP 00000265: JUMPDEST 00000266: PUSH1 0x00 00000268: PUSH1 0x00 0000026a: SWAP1 0000026b: SLOAD 0000026c: SWAP1 0000026d: PUSH2 0x0100 00000270: EXP 00000271: SWAP1 00000272: DIV 00000273: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000288: AND 00000289: DUP2 0000028a: JUMP 0000028b: JUMPDEST 0000028c: PUSH1 0x01 0000028e: PUSH1 0x00 00000290: SWAP1 00000291: SLOAD 00000292: SWAP1 00000293: PUSH2 0x0100 00000296: EXP 00000297: SWAP1 00000298: DIV 00000299: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ae: AND 000002af: DUP2 000002b0: JUMP 000002b1: JUMPDEST 000002b2: PUSH8 0x0de0b6b3a7640000 000002bb: ADDRESS 000002bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d1: AND 000002d2: BALANCE 000002d3: LT 000002d4: ISZERO 000002d5: ISZERO 000002d6: PUSH2 0x0309 000002d9: JUMPI 000002da: PUSH32 0x302777af5d26fab9dd5120c5f1307c65193ebc51daf33244ada4365fab10602c 000002fb: PUSH1 0x40 000002fd: MLOAD 000002fe: DUP1 000002ff: SWAP1 00000300: POP 00000301: PUSH1 0x40 00000303: MLOAD 00000304: DUP1 00000305: SWAP2 00000306: SUB 00000307: SWAP1 00000308: LOG1 00000309: JUMPDEST 0000030a: JUMPDEST 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH1 0x00 0000030f: PUSH8 0x0de0b6b3a7640000 00000318: ADDRESS 00000319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000032e: AND 0000032f: BALANCE 00000330: LT 00000331: ISZERO 00000332: SWAP1 00000333: POP 00000334: PUSH2 0x0338 00000337: JUMP 00000338: JUMPDEST 00000339: SWAP1 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH1 0x00 0000033e: PUSH1 0x00 00000340: SWAP1 00000341: SLOAD 00000342: SWAP1 00000343: PUSH2 0x0100 00000346: EXP 00000347: SWAP1 00000348: DIV 00000349: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000035e: AND 0000035f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000374: AND 00000375: CALLER 00000376: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038b: AND 0000038c: EQ 0000038d: ISZERO 0000038e: PUSH2 0x0564 00000391: JUMPI 00000392: PUSH1 0x01 00000394: PUSH1 0x00 00000396: SWAP1 00000397: SLOAD 00000398: SWAP1 00000399: PUSH2 0x0100 0000039c: EXP 0000039d: SWAP1 0000039e: DIV 0000039f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b4: AND 000003b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ca: AND 000003cb: PUSH4 0x54ba7daa 000003d0: PUSH8 0x0de0b6b3a7640000 000003d9: DUP5 000003da: DUP5 000003db: PUSH1 0x40 000003dd: MLOAD 000003de: DUP5 000003df: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000003fd: MUL 000003fe: DUP2 000003ff: MSTORE 00000400: PUSH1 0x04 00000402: ADD 00000403: DUP1 00000404: DUP1 00000405: PUSH1 0x20 00000407: ADD 00000408: DUP1 00000409: PUSH1 0x20 0000040b: ADD 0000040c: DUP4 0000040d: DUP2 0000040e: SUB 0000040f: DUP4 00000410: MSTORE 00000411: DUP6 00000412: DUP2 00000413: DUP2 00000414: MLOAD 00000415: DUP2 00000416: MSTORE 00000417: PUSH1 0x20 00000419: ADD 0000041a: SWAP2 0000041b: POP 0000041c: DUP1 0000041d: MLOAD 0000041e: SWAP1 0000041f: PUSH1 0x20 00000421: ADD 00000422: SWAP1 00000423: DUP1 00000424: DUP4 00000425: DUP4 00000426: DUP3 00000427: SWAP1 00000428: PUSH1 0x00 0000042a: PUSH1 0x04 0000042c: PUSH1 0x20 0000042e: DUP5 0000042f: PUSH1 0x1f 00000431: ADD 00000432: DIV 00000433: PUSH1 0x03 00000435: MUL 00000436: PUSH1 0x0f 00000438: ADD 00000439: CALL 0000043a: POP 0000043b: SWAP1 0000043c: POP 0000043d: SWAP1 0000043e: DUP2 0000043f: ADD 00000440: SWAP1 00000441: PUSH1 0x1f 00000443: AND 00000444: DUP1 00000445: ISZERO 00000446: PUSH2 0x0463 00000449: JUMPI 0000044a: DUP1 0000044b: DUP3 0000044c: SUB 0000044d: DUP1 0000044e: MLOAD 0000044f: PUSH1 0x01 00000451: DUP4 00000452: PUSH1 0x20 00000454: SUB 00000455: PUSH2 0x0100 00000458: EXP 00000459: SUB 0000045a: NOT 0000045b: AND 0000045c: DUP2 0000045d: MSTORE 0000045e: PUSH1 0x20 00000460: ADD 00000461: SWAP2 00000462: POP 00000463: JUMPDEST 00000464: POP 00000465: DUP4 00000466: DUP2 00000467: SUB 00000468: DUP3 00000469: MSTORE 0000046a: DUP5 0000046b: DUP2 0000046c: DUP2 0000046d: MLOAD 0000046e: DUP2 0000046f: MSTORE 00000470: PUSH1 0x20 00000472: ADD 00000473: SWAP2 00000474: POP 00000475: DUP1 00000476: MLOAD 00000477: SWAP1 00000478: PUSH1 0x20 0000047a: ADD 0000047b: SWAP1 0000047c: DUP1 0000047d: DUP4 0000047e: DUP4 0000047f: DUP3 00000480: SWAP1 00000481: PUSH1 0x00 00000483: PUSH1 0x04 00000485: PUSH1 0x20 00000487: DUP5 00000488: PUSH1 0x1f 0000048a: ADD 0000048b: DIV 0000048c: PUSH1 0x03 0000048e: MUL 0000048f: PUSH1 0x0f 00000491: ADD 00000492: CALL 00000493: POP 00000494: SWAP1 00000495: POP 00000496: SWAP1 00000497: DUP2 00000498: ADD 00000499: SWAP1 0000049a: PUSH1 0x1f 0000049c: AND 0000049d: DUP1 0000049e: ISZERO 0000049f: PUSH2 0x04bc 000004a2: JUMPI 000004a3: DUP1 000004a4: DUP3 000004a5: SUB 000004a6: DUP1 000004a7: MLOAD 000004a8: PUSH1 0x01 000004aa: DUP4 000004ab: PUSH1 0x20 000004ad: SUB 000004ae: PUSH2 0x0100 000004b1: EXP 000004b2: SUB 000004b3: NOT 000004b4: AND 000004b5: DUP2 000004b6: MSTORE 000004b7: PUSH1 0x20 000004b9: ADD 000004ba: SWAP2 000004bb: POP 000004bc: JUMPDEST 000004bd: POP 000004be: SWAP5 000004bf: POP 000004c0: POP 000004c1: POP 000004c2: POP 000004c3: POP 000004c4: PUSH1 0x00 000004c6: PUSH1 0x40 000004c8: MLOAD 000004c9: DUP1 000004ca: DUP4 000004cb: SUB 000004cc: DUP2 000004cd: DUP6 000004ce: DUP9 000004cf: PUSH2 0x8502 000004d2: GAS 000004d3: SUB 000004d4: CALL 000004d5: ISZERO 000004d6: PUSH2 0x0002 000004d9: JUMPI 000004da: POP 000004db: POP 000004dc: POP 000004dd: POP 000004de: PUSH8 0x0a688906bd8b0000 000004e7: ADDRESS 000004e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fd: AND 000004fe: BALANCE 000004ff: LT 00000500: ISZERO 00000501: ISZERO 00000502: PUSH2 0x0563 00000505: JUMPI 00000506: PUSH1 0x00 00000508: PUSH1 0x00 0000050a: SWAP1 0000050b: SLOAD 0000050c: SWAP1 0000050d: PUSH2 0x0100 00000510: EXP 00000511: SWAP1 00000512: DIV 00000513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000528: AND 00000529: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053e: AND 0000053f: PUSH1 0x00 00000541: PUSH8 0x06f05b59d3b20000 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: DUP1 0000054e: SWAP1 0000054f: POP 00000550: PUSH1 0x00 00000552: PUSH1 0x40 00000554: MLOAD 00000555: DUP1 00000556: DUP4 00000557: SUB 00000558: DUP2 00000559: DUP6 0000055a: DUP9 0000055b: DUP9 0000055c: CALL 0000055d: SWAP4 0000055e: POP 0000055f: POP 00000560: POP 00000561: POP 00000562: POP 00000563: JUMPDEST 00000564: JUMPDEST 00000565: JUMPDEST 00000566: POP 00000567: POP 00000568: JUMP 00000569: JUMPDEST 0000056a: PUSH1 0x00 0000056c: PUSH1 0x00 0000056e: SWAP1 0000056f: SLOAD 00000570: SWAP1 00000571: PUSH2 0x0100 00000574: EXP 00000575: SWAP1 00000576: DIV 00000577: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058c: AND 0000058d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a2: AND 000005a3: CALLER 000005a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b9: AND 000005ba: EQ 000005bb: ISZERO 000005bc: PUSH2 0x05eb 000005bf: JUMPI 000005c0: DUP1 000005c1: PUSH1 0x01 000005c3: PUSH1 0x00 000005c5: PUSH2 0x0100 000005c8: EXP 000005c9: DUP2 000005ca: SLOAD 000005cb: DUP2 000005cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e1: MUL 000005e2: NOT 000005e3: AND 000005e4: SWAP1 000005e5: DUP4 000005e6: MUL 000005e7: OR 000005e8: SWAP1 000005e9: SSTORE 000005ea: POP 000005eb: JUMPDEST 000005ec: JUMPDEST 000005ed: POP 000005ee: JUMP 000005ef: JUMPDEST 000005f0: PUSH1 0x00 000005f2: PUSH1 0x00 000005f4: SWAP1 000005f5: SLOAD 000005f6: SWAP1 000005f7: PUSH2 0x0100 000005fa: EXP 000005fb: SWAP1 000005fc: DIV 000005fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000612: AND 00000613: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000628: AND 00000629: CALLER 0000062a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063f: AND 00000640: EQ 00000641: ISZERO 00000642: PUSH2 0x0671 00000645: JUMPI 00000646: DUP1 00000647: PUSH1 0x00 00000649: PUSH1 0x00 0000064b: PUSH2 0x0100 0000064e: EXP 0000064f: DUP2 00000650: SLOAD 00000651: DUP2 00000652: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000667: MUL 00000668: NOT 00000669: AND 0000066a: SWAP1 0000066b: DUP4 0000066c: MUL 0000066d: OR 0000066e: SWAP1 0000066f: SSTORE 00000670: POP 00000671: JUMPDEST 00000672: JUMPDEST 00000673: POP 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x00 00000678: PUSH1 0x00 0000067a: PUSH1 0x00 0000067c: SWAP1 0000067d: SLOAD 0000067e: SWAP1 0000067f: PUSH2 0x0100 00000682: EXP 00000683: SWAP1 00000684: DIV 00000685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069a: AND 0000069b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b0: AND 000006b1: CALLER 000006b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c7: AND 000006c8: EQ 000006c9: SWAP1 000006ca: POP 000006cb: PUSH2 0x06cf 000006ce: JUMP 000006cf: JUMPDEST 000006d0: SWAP1 000006d1: 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: 0x29d76d3e079a162b2b87286841e472659c4d5d66d0ce302fa8d1e604c4462b8f
call_targets:
0xcd2680717261f91439e1ff42c8a0fdc0364700cb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x29d76d3e079a162b2b87286841e472659c4d5d66d0ce302fa8d1e604c4462b8f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcd2680717261f91439e1ff42c8a0fdc0364700cb"
],
"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": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x250e87c9",
"selector": "0x250e87c9",
"calldata_variants": [
"0x250e87c9",
"0x250e87c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x53ac5ff9",
"selector": "0x53ac5ff9",
"calldata_variants": [
"0x53ac5ff9",
"0x53ac5ff90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e754d55",
"selector": "0x5e754d55",
"calldata_variants": [
"0x5e754d55",
"0x5e754d550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c654303",
"selector": "0x7c654303",
"calldata_variants": [
"0x7c654303",
"0x7c6543030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f32d59b",
"selector": "0x8f32d59b",
"calldata_variants": [
"0x8f32d59b",
"0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe10d29ee",
"selector": "0xe10d29ee",
"calldata_variants": [
"0xe10d29ee",
"0xe10d29ee0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1081,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1170,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1236,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 885,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1443,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1577,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1713,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x29d76d3e079a162b2b87286841e472659c4d5d66d0ce302fa8d1e604c4462b8f
call_targets:
0xcd2680717261f91439e1ff42c8a0fdc0364700cb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x29d76d3e079a162b2b87286841e472659c4d5d66d0ce302fa8d1e604c4462b8f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcd2680717261f91439e1ff42c8a0fdc0364700cb"
],
"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": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x250e87c9",
"selector": "0x250e87c9",
"calldata_variants": [
"0x250e87c9",
"0x250e87c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x53ac5ff9",
"selector": "0x53ac5ff9",
"calldata_variants": [
"0x53ac5ff9",
"0x53ac5ff90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e754d55",
"selector": "0x5e754d55",
"calldata_variants": [
"0x5e754d55",
"0x5e754d550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c654303",
"selector": "0x7c654303",
"calldata_variants": [
"0x7c654303",
"0x7c6543030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f32d59b",
"selector": "0x8f32d59b",
"calldata_variants": [
"0x8f32d59b",
"0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe10d29ee",
"selector": "0xe10d29ee",
"calldata_variants": [
"0xe10d29ee",
"0xe10d29ee0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1081,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1170,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1236,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 885,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1443,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1577,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1713,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|