019b3836-2546-73f0-ac71-ca98d9239f28
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 |
|---|---|---|---|---|
| 753 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 754 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 44031 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 44032 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 44033 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 44034 | 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 0x0194 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 0x01f3 000000dc: JUMP 000000dd: JUMPDEST 000000de: STOP 000000df: JUMPDEST 000000e0: PUSH2 0x00ec 000000e3: PUSH1 0x04 000000e5: DUP1 000000e6: POP 000000e7: POP 000000e8: PUSH2 0x018b 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 0x0561 0000010e: JUMP 0000010f: JUMPDEST 00000110: STOP 00000111: JUMPDEST 00000112: PUSH2 0x011e 00000115: PUSH1 0x04 00000117: DUP1 00000118: POP 00000119: POP 0000011a: PUSH2 0x01ba 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 0x03d4 00000156: JUMP 00000157: JUMPDEST 00000158: STOP 00000159: JUMPDEST 0000015a: PUSH2 0x0166 0000015d: PUSH1 0x04 0000015f: DUP1 00000160: POP 00000161: POP 00000162: PUSH2 0x01e0 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 0x0326 00000188: JUMP 00000189: JUMPDEST 0000018a: STOP 0000018b: JUMPDEST 0000018c: PUSH1 0x00 0000018e: PUSH1 0x00 00000190: POP 00000191: SLOAD 00000192: DUP2 00000193: JUMP 00000194: JUMPDEST 00000195: PUSH1 0x01 00000197: PUSH1 0x00 00000199: SWAP1 0000019a: SLOAD 0000019b: SWAP1 0000019c: PUSH2 0x0100 0000019f: EXP 000001a0: SWAP1 000001a1: DIV 000001a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b7: AND 000001b8: DUP2 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x02 000001bd: PUSH1 0x00 000001bf: SWAP1 000001c0: SLOAD 000001c1: SWAP1 000001c2: PUSH2 0x0100 000001c5: EXP 000001c6: SWAP1 000001c7: DIV 000001c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001dd: AND 000001de: DUP2 000001df: JUMP 000001e0: JUMPDEST 000001e1: PUSH1 0x02 000001e3: PUSH1 0x14 000001e5: SWAP1 000001e6: SLOAD 000001e7: SWAP1 000001e8: PUSH2 0x0100 000001eb: EXP 000001ec: SWAP1 000001ed: DIV 000001ee: PUSH1 0xff 000001f0: AND 000001f1: DUP2 000001f2: JUMP 000001f3: JUMPDEST 000001f4: PUSH1 0x01 000001f6: PUSH1 0x00 000001f8: SWAP1 000001f9: SLOAD 000001fa: SWAP1 000001fb: PUSH2 0x0100 000001fe: EXP 000001ff: SWAP1 00000200: DIV 00000201: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000216: AND 00000217: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000022c: AND 0000022d: CALLER 0000022e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000243: AND 00000244: EQ 00000245: ISZERO 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH2 0x0002 0000024e: JUMP 0000024f: JUMPDEST 00000250: PUSH1 0x00 00000252: DUP1 00000253: PUSH1 0x02 00000255: PUSH1 0x14 00000257: SWAP1 00000258: SLOAD 00000259: SWAP1 0000025a: PUSH2 0x0100 0000025d: EXP 0000025e: SWAP1 0000025f: DIV 00000260: PUSH1 0xff 00000262: AND 00000263: EQ 00000264: ISZERO 00000265: ISZERO 00000266: PUSH2 0x026e 00000269: JUMPI 0000026a: PUSH2 0x0002 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH1 0x01 00000271: PUSH1 0x00 00000273: SWAP1 00000274: SLOAD 00000275: SWAP1 00000276: PUSH2 0x0100 00000279: EXP 0000027a: SWAP1 0000027b: DIV 0000027c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000291: AND 00000292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a7: AND 000002a8: PUSH1 0x00 000002aa: ADDRESS 000002ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c0: AND 000002c1: BALANCE 000002c2: PUSH1 0x40 000002c4: MLOAD 000002c5: DUP1 000002c6: SWAP1 000002c7: POP 000002c8: PUSH1 0x00 000002ca: PUSH1 0x40 000002cc: MLOAD 000002cd: DUP1 000002ce: DUP4 000002cf: SUB 000002d0: DUP2 000002d1: DUP6 000002d2: DUP9 000002d3: DUP9 000002d4: CALL 000002d5: SWAP4 000002d6: POP 000002d7: POP 000002d8: POP 000002d9: POP 000002da: POP 000002db: PUSH1 0x02 000002dd: PUSH1 0x02 000002df: PUSH1 0x14 000002e1: PUSH2 0x0100 000002e4: EXP 000002e5: DUP2 000002e6: SLOAD 000002e7: DUP2 000002e8: PUSH1 0xff 000002ea: MUL 000002eb: NOT 000002ec: AND 000002ed: SWAP1 000002ee: DUP4 000002ef: MUL 000002f0: OR 000002f1: SWAP1 000002f2: SSTORE 000002f3: POP 000002f4: PUSH32 0x72c874aeff0b183a56e2b79c71b46e1aed4dee5e09862134b8821ba2fddbf8bf 00000315: PUSH1 0x40 00000317: MLOAD 00000318: DUP1 00000319: SWAP1 0000031a: POP 0000031b: PUSH1 0x40 0000031d: MLOAD 0000031e: DUP1 0000031f: SWAP2 00000320: SUB 00000321: SWAP1 00000322: LOG1 00000323: POP 00000324: JUMPDEST 00000325: JUMP 00000326: JUMPDEST 00000327: PUSH1 0x00 00000329: DUP1 0000032a: PUSH1 0x02 0000032c: PUSH1 0x14 0000032e: SWAP1 0000032f: SLOAD 00000330: SWAP1 00000331: PUSH2 0x0100 00000334: EXP 00000335: SWAP1 00000336: DIV 00000337: PUSH1 0xff 00000339: AND 0000033a: EQ 0000033b: ISZERO 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH2 0x0002 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH1 0x00 00000348: PUSH1 0x00 0000034a: POP 0000034b: SLOAD 0000034c: PUSH1 0x02 0000034e: MUL 0000034f: CALLVALUE 00000350: EQ 00000351: DUP1 00000352: ISZERO 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH2 0x0002 0000035b: JUMP 0000035c: JUMPDEST 0000035d: CALLER 0000035e: PUSH1 0x02 00000360: PUSH1 0x00 00000362: PUSH2 0x0100 00000365: EXP 00000366: DUP2 00000367: SLOAD 00000368: DUP2 00000369: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037e: MUL 0000037f: NOT 00000380: AND 00000381: SWAP1 00000382: DUP4 00000383: MUL 00000384: OR 00000385: SWAP1 00000386: SSTORE 00000387: POP 00000388: PUSH1 0x01 0000038a: PUSH1 0x02 0000038c: PUSH1 0x14 0000038e: PUSH2 0x0100 00000391: EXP 00000392: DUP2 00000393: SLOAD 00000394: DUP2 00000395: PUSH1 0xff 00000397: MUL 00000398: NOT 00000399: AND 0000039a: SWAP1 0000039b: DUP4 0000039c: MUL 0000039d: OR 0000039e: SWAP1 0000039f: SSTORE 000003a0: POP 000003a1: PUSH32 0xd5d55c8a68912e9a110618df8d5e2e83b8d83211c57a8ddd1203df92885dc881 000003c2: PUSH1 0x40 000003c4: MLOAD 000003c5: DUP1 000003c6: SWAP1 000003c7: POP 000003c8: PUSH1 0x40 000003ca: MLOAD 000003cb: DUP1 000003cc: SWAP2 000003cd: SUB 000003ce: SWAP1 000003cf: LOG1 000003d0: POP 000003d1: POP 000003d2: JUMPDEST 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH1 0x02 000003d7: PUSH1 0x00 000003d9: SWAP1 000003da: SLOAD 000003db: SWAP1 000003dc: PUSH2 0x0100 000003df: EXP 000003e0: SWAP1 000003e1: DIV 000003e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f7: AND 000003f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040d: AND 0000040e: CALLER 0000040f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000424: AND 00000425: EQ 00000426: ISZERO 00000427: ISZERO 00000428: PUSH2 0x0430 0000042b: JUMPI 0000042c: PUSH2 0x0002 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH1 0x01 00000433: DUP1 00000434: PUSH1 0x02 00000436: PUSH1 0x14 00000438: SWAP1 00000439: SLOAD 0000043a: SWAP1 0000043b: PUSH2 0x0100 0000043e: EXP 0000043f: SWAP1 00000440: DIV 00000441: PUSH1 0xff 00000443: AND 00000444: EQ 00000445: ISZERO 00000446: ISZERO 00000447: PUSH2 0x044f 0000044a: JUMPI 0000044b: PUSH2 0x0002 0000044e: JUMP 0000044f: JUMPDEST 00000450: PUSH1 0x02 00000452: PUSH1 0x00 00000454: SWAP1 00000455: SLOAD 00000456: SWAP1 00000457: PUSH2 0x0100 0000045a: EXP 0000045b: SWAP1 0000045c: DIV 0000045d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000472: AND 00000473: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000488: AND 00000489: PUSH1 0x00 0000048b: PUSH1 0x00 0000048d: PUSH1 0x00 0000048f: POP 00000490: SLOAD 00000491: PUSH1 0x40 00000493: MLOAD 00000494: DUP1 00000495: SWAP1 00000496: POP 00000497: PUSH1 0x00 00000499: PUSH1 0x40 0000049b: MLOAD 0000049c: DUP1 0000049d: DUP4 0000049e: SUB 0000049f: DUP2 000004a0: DUP6 000004a1: DUP9 000004a2: DUP9 000004a3: CALL 000004a4: SWAP4 000004a5: POP 000004a6: POP 000004a7: POP 000004a8: POP 000004a9: POP 000004aa: PUSH1 0x01 000004ac: PUSH1 0x00 000004ae: SWAP1 000004af: SLOAD 000004b0: SWAP1 000004b1: PUSH2 0x0100 000004b4: EXP 000004b5: SWAP1 000004b6: DIV 000004b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cc: AND 000004cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e2: AND 000004e3: PUSH1 0x00 000004e5: ADDRESS 000004e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fb: AND 000004fc: BALANCE 000004fd: PUSH1 0x40 000004ff: MLOAD 00000500: DUP1 00000501: SWAP1 00000502: POP 00000503: PUSH1 0x00 00000505: PUSH1 0x40 00000507: MLOAD 00000508: DUP1 00000509: DUP4 0000050a: SUB 0000050b: DUP2 0000050c: DUP6 0000050d: DUP9 0000050e: DUP9 0000050f: CALL 00000510: SWAP4 00000511: POP 00000512: POP 00000513: POP 00000514: POP 00000515: POP 00000516: PUSH1 0x02 00000518: PUSH1 0x02 0000051a: PUSH1 0x14 0000051c: PUSH2 0x0100 0000051f: EXP 00000520: DUP2 00000521: SLOAD 00000522: DUP2 00000523: PUSH1 0xff 00000525: MUL 00000526: NOT 00000527: AND 00000528: SWAP1 00000529: DUP4 0000052a: MUL 0000052b: OR 0000052c: SWAP1 0000052d: SSTORE 0000052e: POP 0000052f: PUSH32 0xe89152acd703c9d8c7d28829d443260b411454d45394e7995815140c8cbcbcf7 00000550: PUSH1 0x40 00000552: MLOAD 00000553: DUP1 00000554: SWAP1 00000555: POP 00000556: PUSH1 0x40 00000558: MLOAD 00000559: DUP1 0000055a: SWAP2 0000055b: SUB 0000055c: SWAP1 0000055d: LOG1 0000055e: POP 0000055f: JUMPDEST 00000560: JUMP 00000561: JUMPDEST 00000562: PUSH1 0x01 00000564: PUSH1 0x00 00000566: SWAP1 00000567: SLOAD 00000568: SWAP1 00000569: PUSH2 0x0100 0000056c: EXP 0000056d: SWAP1 0000056e: DIV 0000056f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000584: AND 00000585: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059a: AND 0000059b: CALLER 0000059c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b1: AND 000005b2: EQ 000005b3: ISZERO 000005b4: ISZERO 000005b5: PUSH2 0x05bd 000005b8: JUMPI 000005b9: PUSH2 0x0002 000005bc: JUMP 000005bd: JUMPDEST 000005be: PUSH1 0x01 000005c0: DUP1 000005c1: PUSH1 0x02 000005c3: PUSH1 0x14 000005c5: SWAP1 000005c6: SLOAD 000005c7: SWAP1 000005c8: PUSH2 0x0100 000005cb: EXP 000005cc: SWAP1 000005cd: DIV 000005ce: PUSH1 0xff 000005d0: AND 000005d1: EQ 000005d2: ISZERO 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH2 0x0002 000005db: JUMP 000005dc: JUMPDEST 000005dd: PUSH1 0x02 000005df: PUSH1 0x00 000005e1: SWAP1 000005e2: SLOAD 000005e3: SWAP1 000005e4: PUSH2 0x0100 000005e7: EXP 000005e8: SWAP1 000005e9: DIV 000005ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ff: AND 00000600: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000615: AND 00000616: PUSH1 0x00 00000618: PUSH1 0x00 0000061a: PUSH1 0x00 0000061c: POP 0000061d: SLOAD 0000061e: PUSH1 0x02 00000620: MUL 00000621: PUSH1 0x40 00000623: MLOAD 00000624: DUP1 00000625: SWAP1 00000626: POP 00000627: PUSH1 0x00 00000629: PUSH1 0x40 0000062b: MLOAD 0000062c: DUP1 0000062d: DUP4 0000062e: SUB 0000062f: DUP2 00000630: DUP6 00000631: DUP9 00000632: DUP9 00000633: CALL 00000634: SWAP4 00000635: POP 00000636: POP 00000637: POP 00000638: POP 00000639: POP 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 0x8616bbbbad963e4e65b1366f1d75dfb63f9e9704bbbf91fb01bec70849906cf7 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: 0x294f695727f7313ee340e0cd73cc745a1785ef9c7acf08f44df789d8992b63d7
call_targets:
0x5fc7a4899d908045d9b28a2d4a042d08a9a3d0a5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x294f695727f7313ee340e0cd73cc745a1785ef9c7acf08f44df789d8992b63d7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5fc7a4899d908045d9b28a2d4a042d08a9a3d0a5"
],
"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": 724,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1187,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1295,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 557,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1038,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1435,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x294f695727f7313ee340e0cd73cc745a1785ef9c7acf08f44df789d8992b63d7
call_targets:
0x5fc7a4899d908045d9b28a2d4a042d08a9a3d0a5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x294f695727f7313ee340e0cd73cc745a1785ef9c7acf08f44df789d8992b63d7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5fc7a4899d908045d9b28a2d4a042d08a9a3d0a5"
],
"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": 724,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1187,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1295,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 557,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1038,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1435,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|