019b3836-3b39-7016-b6d9-0ef3cf348cf3
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 |
|---|---|---|---|---|
| 4359 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 4360 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 47336 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 47337 | capability.graph | complete | 1 / 3 | 1 week ago |
| 47338 | detector.run | complete | 1 / 3 | 1 week ago |
| 47339 | 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: PUSH1 0xe0 00000007: PUSH1 0x02 00000009: EXP 0000000a: PUSH1 0x00 0000000c: CALLDATALOAD 0000000d: DIV 0000000e: PUSH4 0x67dd74ca 00000013: DUP2 00000014: EQ 00000015: PUSH2 0x001b 00000018: JUMPI 00000019: JUMPDEST 0000001a: STOP 0000001b: JUMPDEST 0000001c: PUSH2 0x0019 0000001f: PUSH1 0x04 00000021: CALLDATALOAD 00000022: PUSH8 0x016345785d8a0000 0000002b: PUSH1 0x00 0000002d: DUP1 0000002e: PUSH8 0x0de0b6b3a7640000 00000037: CALLVALUE 00000038: EQ 00000039: PUSH2 0x006f 0000003c: JUMPI 0000003d: DUP3 0000003e: CALLVALUE 0000003f: GT 00000040: ISZERO 00000041: PUSH2 0x006f 00000044: JUMPI 00000045: PUSH1 0x40 00000047: MLOAD 00000048: PUSH1 0x01 0000004a: PUSH1 0xa0 0000004c: PUSH1 0x02 0000004e: EXP 0000004f: SUB 00000050: CALLER 00000051: AND 00000052: SWAP1 00000053: DUP3 00000054: SWAP1 00000055: PUSH8 0x016345785d89ffff 0000005e: NOT 0000005f: CALLVALUE 00000060: ADD 00000061: SWAP1 00000062: DUP3 00000063: DUP2 00000064: DUP2 00000065: DUP2 00000066: DUP6 00000067: DUP9 00000068: DUP4 00000069: CALL 0000006a: POP 0000006b: POP 0000006c: POP 0000006d: POP 0000006e: POP 0000006f: JUMPDEST 00000070: CALLVALUE 00000071: PUSH8 0x0de0b6b3a7640000 0000007a: EQ 0000007b: ISZERO 0000007c: PUSH2 0x00f8 0000007f: JUMPI 00000080: PUSH1 0x01 00000082: PUSH1 0xa0 00000084: PUSH1 0x02 00000086: EXP 00000087: SUB 00000088: CALLER 00000089: AND 0000008a: PUSH1 0x00 0000008c: SWAP1 0000008d: DUP2 0000008e: MSTORE 0000008f: PUSH1 0x05 00000091: PUSH1 0x20 00000093: MSTORE 00000094: PUSH1 0x40 00000096: SWAP1 00000097: KECCAK256 00000098: DUP1 00000099: SLOAD 0000009a: PUSH1 0x01 0000009c: DUP2 0000009d: ADD 0000009e: DUP1 0000009f: DUP4 000000a0: SSTORE 000000a1: DUP3 000000a2: DUP2 000000a3: DUP4 000000a4: DUP1 000000a5: ISZERO 000000a6: DUP3 000000a7: SWAP1 000000a8: GT 000000a9: PUSH2 0x01b2 000000ac: JUMPI 000000ad: PUSH1 0x02 000000af: MUL 000000b0: DUP2 000000b1: PUSH1 0x02 000000b3: MUL 000000b4: DUP4 000000b5: PUSH1 0x00 000000b7: MSTORE 000000b8: PUSH1 0x20 000000ba: PUSH1 0x00 000000bc: KECCAK256 000000bd: SWAP2 000000be: DUP3 000000bf: ADD 000000c0: SWAP2 000000c1: ADD 000000c2: PUSH2 0x01b2 000000c5: SWAP2 000000c6: SWAP1 000000c7: PUSH2 0x0288 000000ca: JUMP 000000cb: JUMPDEST 000000cc: POP 000000cd: POP 000000ce: POP 000000cf: PUSH1 0x00 000000d1: SWAP3 000000d2: DUP4 000000d3: MSTORE 000000d4: POP 000000d5: PUSH1 0x20 000000d7: SWAP1 000000d8: SWAP2 000000d9: KECCAK256 000000da: ADD 000000db: DUP1 000000dc: SLOAD 000000dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f2: NOT 000000f3: AND 000000f4: CALLER 000000f5: OR 000000f6: SWAP1 000000f7: SSTORE 000000f8: JUMPDEST 000000f9: PUSH1 0x00 000000fb: SLOAD 000000fc: PUSH1 0x01 000000fe: SLOAD 000000ff: LT 00000100: PUSH2 0x03ee 00000103: JUMPI 00000104: PUSH1 0x00 00000106: SWAP2 00000107: POP 00000108: JUMPDEST 00000109: PUSH1 0x00 0000010b: SLOAD 0000010c: DUP3 0000010d: LT 0000010e: ISZERO 0000010f: PUSH2 0x022a 00000112: JUMPI 00000113: PUSH1 0x02 00000115: DUP1 00000116: SLOAD 00000117: PUSH1 0x05 00000119: SWAP2 0000011a: PUSH1 0x00 0000011c: SWAP2 0000011d: DUP6 0000011e: SWAP1 0000011f: DUP2 00000120: LT 00000121: ISZERO 00000122: PUSH2 0x0002 00000125: JUMPI 00000126: PUSH1 0x00 00000128: DUP1 00000129: MLOAD 0000012a: PUSH1 0x20 0000012c: PUSH2 0x04ab 0000012f: DUP4 00000130: CODECOPY 00000131: DUP2 00000132: MLOAD 00000133: SWAP2 00000134: MSTORE 00000135: ADD 00000136: SLOAD 00000137: PUSH1 0x01 00000139: PUSH1 0xa0 0000013b: PUSH1 0x02 0000013d: EXP 0000013e: SUB 0000013f: AND 00000140: DUP3 00000141: MSTORE 00000142: POP 00000143: PUSH1 0x20 00000145: SWAP2 00000146: SWAP1 00000147: SWAP2 00000148: MSTORE 00000149: PUSH1 0x40 0000014b: DUP2 0000014c: KECCAK256 0000014d: DUP1 0000014e: SLOAD 0000014f: SWAP1 00000150: SWAP2 00000151: SWAP1 00000152: DUP2 00000153: LT 00000154: ISZERO 00000155: PUSH2 0x0002 00000158: JUMPI 00000159: SWAP1 0000015a: DUP2 0000015b: MSTORE 0000015c: PUSH1 0x20 0000015e: DUP2 0000015f: KECCAK256 00000160: SWAP1 00000161: POP 00000162: SWAP1 00000163: POP 00000164: PUSH1 0x04 00000166: PUSH1 0x00 00000168: POP 00000169: DUP1 0000016a: SLOAD 0000016b: DUP1 0000016c: PUSH1 0x01 0000016e: ADD 0000016f: DUP3 00000170: DUP2 00000171: DUP2 00000172: SLOAD 00000173: DUP2 00000174: DUP4 00000175: SSTORE 00000176: DUP2 00000177: DUP2 00000178: ISZERO 00000179: GT 0000017a: PUSH2 0x03f4 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP4 00000181: SWAP1 00000182: MSTORE 00000183: PUSH2 0x03f4 00000186: SWAP1 00000187: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 000001a8: SWAP1 000001a9: DUP2 000001aa: ADD 000001ab: SWAP1 000001ac: DUP4 000001ad: ADD 000001ae: PUSH2 0x03d8 000001b1: JUMP 000001b2: JUMPDEST 000001b3: POP 000001b4: POP 000001b5: POP 000001b6: SWAP2 000001b7: SWAP1 000001b8: SWAP1 000001b9: PUSH1 0x00 000001bb: MSTORE 000001bc: PUSH1 0x20 000001be: PUSH1 0x00 000001c0: KECCAK256 000001c1: SWAP1 000001c2: PUSH1 0x02 000001c4: MUL 000001c5: ADD 000001c6: PUSH1 0x00 000001c8: POP 000001c9: PUSH1 0x40 000001cb: DUP1 000001cc: MLOAD 000001cd: DUP1 000001ce: DUP3 000001cf: ADD 000001d0: SWAP1 000001d1: SWAP2 000001d2: MSTORE 000001d3: DUP7 000001d4: DUP2 000001d5: MSTORE 000001d6: CALLVALUE 000001d7: PUSH1 0x20 000001d9: SWAP2 000001da: SWAP1 000001db: SWAP2 000001dc: ADD 000001dd: DUP2 000001de: SWAP1 000001df: MSTORE 000001e0: DUP7 000001e1: DUP3 000001e2: SSTORE 000001e3: PUSH1 0x01 000001e5: SWAP2 000001e6: DUP3 000001e7: ADD 000001e8: SSTORE 000001e9: DUP1 000001ea: SLOAD 000001eb: DUP2 000001ec: ADD 000001ed: DUP2 000001ee: SSTORE 000001ef: PUSH1 0x02 000001f1: DUP1 000001f2: SLOAD 000001f3: SWAP2 000001f4: DUP3 000001f5: ADD 000001f6: DUP1 000001f7: DUP3 000001f8: SSTORE 000001f9: SWAP1 000001fa: SWAP3 000001fb: POP 000001fc: DUP3 000001fd: DUP2 000001fe: DUP4 000001ff: DUP1 00000200: ISZERO 00000201: DUP3 00000202: SWAP1 00000203: GT 00000204: PUSH2 0x00cb 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP4 0000020b: SWAP1 0000020c: MSTORE 0000020d: PUSH2 0x00cb 00000210: SWAP1 00000211: PUSH1 0x00 00000213: DUP1 00000214: MLOAD 00000215: PUSH1 0x20 00000217: PUSH2 0x04ab 0000021a: DUP4 0000021b: CODECOPY 0000021c: DUP2 0000021d: MLOAD 0000021e: SWAP2 0000021f: MSTORE 00000220: SWAP1 00000221: DUP2 00000222: ADD 00000223: SWAP1 00000224: DUP4 00000225: ADD 00000226: PUSH2 0x03d8 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH1 0x00 0000022d: SWAP2 0000022e: POP 0000022f: JUMPDEST 00000230: PUSH1 0x00 00000232: SLOAD 00000233: DUP3 00000234: LT 00000235: ISZERO 00000236: PUSH2 0x0413 00000239: JUMPI 0000023a: PUSH1 0x02 0000023c: DUP1 0000023d: SLOAD 0000023e: PUSH1 0x05 00000240: SWAP2 00000241: PUSH1 0x00 00000243: SWAP2 00000244: DUP6 00000245: SWAP1 00000246: DUP2 00000247: LT 00000248: ISZERO 00000249: PUSH2 0x0002 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: MLOAD 00000251: PUSH1 0x20 00000253: PUSH2 0x04ab 00000256: DUP4 00000257: CODECOPY 00000258: DUP2 00000259: MLOAD 0000025a: SWAP2 0000025b: MSTORE 0000025c: ADD 0000025d: SLOAD 0000025e: PUSH1 0x01 00000260: PUSH1 0xa0 00000262: PUSH1 0x02 00000264: EXP 00000265: SUB 00000266: AND 00000267: DUP3 00000268: MSTORE 00000269: PUSH1 0x20 0000026b: SWAP3 0000026c: DUP4 0000026d: MSTORE 0000026e: PUSH1 0x40 00000270: DUP3 00000271: KECCAK256 00000272: DUP1 00000273: SLOAD 00000274: DUP4 00000275: DUP3 00000276: SSTORE 00000277: SWAP1 00000278: DUP4 00000279: MSTORE 0000027a: SWAP3 0000027b: SWAP1 0000027c: SWAP2 0000027d: KECCAK256 0000027e: PUSH2 0x0474 00000281: SWAP3 00000282: SWAP1 00000283: SWAP2 00000284: MUL 00000285: DUP2 00000286: ADD 00000287: SWAP1 00000288: JUMPDEST 00000289: DUP1 0000028a: DUP3 0000028b: GT 0000028c: ISZERO 0000028d: PUSH2 0x02a3 00000290: JUMPI 00000291: PUSH1 0x00 00000293: DUP1 00000294: DUP3 00000295: SSTORE 00000296: PUSH1 0x01 00000298: SWAP2 00000299: SWAP1 0000029a: SWAP2 0000029b: ADD 0000029c: SWAP1 0000029d: DUP2 0000029e: SSTORE 0000029f: PUSH2 0x0288 000002a2: JUMP 000002a3: JUMPDEST 000002a4: POP 000002a5: SWAP1 000002a6: JUMP 000002a7: JUMPDEST 000002a8: PUSH1 0x00 000002aa: DUP1 000002ab: SLOAD 000002ac: PUSH1 0x03 000002ae: SLOAD 000002af: PUSH1 0x02 000002b1: SWAP3 000002b2: SWAP1 000002b3: ADDMOD 000002b4: DUP2 000002b5: SLOAD 000002b6: DUP2 000002b7: LT 000002b8: ISZERO 000002b9: PUSH2 0x0002 000002bc: JUMPI 000002bd: PUSH1 0x00 000002bf: SWAP2 000002c0: DUP3 000002c1: MSTORE 000002c2: PUSH1 0x40 000002c4: MLOAD 000002c5: PUSH1 0x00 000002c7: DUP1 000002c8: MLOAD 000002c9: PUSH1 0x20 000002cb: PUSH2 0x04ab 000002ce: DUP4 000002cf: CODECOPY 000002d0: DUP2 000002d1: MLOAD 000002d2: SWAP2 000002d3: MSTORE 000002d4: SWAP2 000002d5: SWAP1 000002d6: SWAP2 000002d7: ADD 000002d8: SLOAD 000002d9: PUSH1 0x01 000002db: PUSH1 0xa0 000002dd: PUSH1 0x02 000002df: EXP 000002e0: SUB 000002e1: AND 000002e2: SWAP2 000002e3: SWAP1 000002e4: PUSH8 0x4563918244f40000 000002ed: SWAP1 000002ee: DUP3 000002ef: DUP2 000002f0: DUP2 000002f1: DUP2 000002f2: DUP6 000002f3: DUP9 000002f4: DUP4 000002f5: CALL 000002f6: POP 000002f7: POP 000002f8: PUSH1 0x40 000002fa: MLOAD 000002fb: PUSH20 0x2179987247aba70dc8a5bb0feafd4ef4b8f83797 00000310: SWAP4 00000311: POP 00000312: PUSH8 0x02c68af0bb140000 0000031b: SWAP2 0000031c: POP 0000031d: DUP3 0000031e: DUP2 0000031f: DUP2 00000320: DUP2 00000321: DUP6 00000322: DUP9 00000323: DUP4 00000324: CALL 00000325: POP 00000326: POP 00000327: PUSH1 0x03 00000329: SLOAD 0000032a: PUSH1 0x32 0000032c: SWAP4 0000032d: POP 0000032e: TIMESTAMP 0000032f: ADD 00000330: SWAP1 00000331: POP 00000332: ADDMOD 00000333: PUSH1 0x07 00000335: EQ 00000336: ISZERO 00000337: PUSH2 0x0399 0000033a: JUMPI 0000033b: PUSH1 0x03 0000033d: SLOAD 0000033e: PUSH1 0x00 00000340: DUP1 00000341: SLOAD 00000342: PUSH1 0x02 00000344: SWAP3 00000345: SWAP1 00000346: SWAP2 00000347: SWAP1 00000348: ADDMOD 00000349: DUP2 0000034a: SLOAD 0000034b: DUP2 0000034c: LT 0000034d: ISZERO 0000034e: PUSH2 0x0002 00000351: JUMPI 00000352: PUSH1 0x00 00000354: SWAP2 00000355: DUP3 00000356: MSTORE 00000357: PUSH1 0x40 00000359: MLOAD 0000035a: PUSH1 0x00 0000035c: DUP1 0000035d: MLOAD 0000035e: PUSH1 0x20 00000360: PUSH2 0x04ab 00000363: DUP4 00000364: CODECOPY 00000365: DUP2 00000366: MLOAD 00000367: SWAP2 00000368: MSTORE 00000369: SWAP2 0000036a: SWAP1 0000036b: SWAP2 0000036c: ADD 0000036d: SLOAD 0000036e: PUSH1 0x01 00000370: PUSH1 0xa0 00000372: PUSH1 0x02 00000374: EXP 00000375: SUB 00000376: SWAP1 00000377: DUP2 00000378: AND 00000379: SWAP3 0000037a: SWAP2 0000037b: ADDRESS 0000037c: SWAP1 0000037d: SWAP2 0000037e: AND 0000037f: BALANCE 00000380: PUSH8 0x0de0b6b3a763ffff 00000389: NOT 0000038a: ADD 0000038b: SWAP1 0000038c: DUP3 0000038d: DUP2 0000038e: DUP2 0000038f: DUP2 00000390: DUP6 00000391: DUP9 00000392: DUP4 00000393: CALL 00000394: POP 00000395: POP 00000396: POP 00000397: POP 00000398: POP 00000399: JUMPDEST 0000039a: PUSH1 0x00 0000039c: PUSH1 0x01 0000039e: DUP2 0000039f: SWAP1 000003a0: SSTORE 000003a1: PUSH1 0x03 000003a3: DUP2 000003a4: SWAP1 000003a5: SSTORE 000003a6: PUSH1 0x04 000003a8: DUP1 000003a9: SLOAD 000003aa: DUP3 000003ab: DUP3 000003ac: SSTORE 000003ad: SWAP2 000003ae: MSTORE 000003af: PUSH2 0x0481 000003b2: SWAP1 000003b3: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 000003d4: SWAP1 000003d5: DUP2 000003d6: ADD 000003d7: SWAP1 000003d8: JUMPDEST 000003d9: DUP1 000003da: DUP3 000003db: GT 000003dc: ISZERO 000003dd: PUSH2 0x02a3 000003e0: JUMPI 000003e1: PUSH1 0x00 000003e3: DUP2 000003e4: SSTORE 000003e5: PUSH1 0x01 000003e7: ADD 000003e8: PUSH2 0x03d8 000003eb: JUMP 000003ec: JUMPDEST 000003ed: POP 000003ee: JUMPDEST 000003ef: POP 000003f0: POP 000003f1: POP 000003f2: POP 000003f3: JUMP 000003f4: JUMPDEST 000003f5: POP 000003f6: POP 000003f7: POP 000003f8: PUSH1 0x00 000003fa: SWAP3 000003fb: DUP4 000003fc: MSTORE 000003fd: POP 000003fe: PUSH1 0x20 00000400: SWAP1 00000401: SWAP2 00000402: KECCAK256 00000403: DUP3 00000404: SLOAD 00000405: SWAP2 00000406: ADD 00000407: SSTORE 00000408: PUSH1 0x01 0000040a: SWAP2 0000040b: SWAP1 0000040c: SWAP2 0000040d: ADD 0000040e: SWAP1 0000040f: PUSH2 0x0108 00000412: JUMP 00000413: JUMPDEST 00000414: PUSH1 0x00 00000416: PUSH1 0x03 00000418: DUP2 00000419: SWAP1 0000041a: SSTORE 0000041b: SWAP2 0000041c: POP 0000041d: JUMPDEST 0000041e: PUSH1 0x00 00000420: SLOAD 00000421: DUP3 00000422: LT 00000423: ISZERO 00000424: PUSH2 0x02a7 00000427: JUMPI 00000428: PUSH1 0x04 0000042a: DUP1 0000042b: SLOAD 0000042c: DUP4 0000042d: SWAP1 0000042e: DUP2 0000042f: LT 00000430: ISZERO 00000431: PUSH2 0x0002 00000434: JUMPI 00000435: PUSH1 0x00 00000437: SWAP2 00000438: DUP3 00000439: MSTORE 0000043a: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 0000045b: ADD 0000045c: SWAP1 0000045d: POP 0000045e: PUSH1 0x03 00000460: DUP1 00000461: SLOAD 00000462: SWAP2 00000463: SLOAD 00000464: SWAP1 00000465: SWAP2 00000466: ADD 00000467: SWAP1 00000468: SSTORE 00000469: PUSH1 0x01 0000046b: SWAP2 0000046c: SWAP1 0000046d: SWAP2 0000046e: ADD 0000046f: SWAP1 00000470: PUSH2 0x041d 00000473: JUMP 00000474: JUMPDEST 00000475: POP 00000476: PUSH1 0x01 00000478: SWAP2 00000479: SWAP1 0000047a: SWAP2 0000047b: ADD 0000047c: SWAP1 0000047d: PUSH2 0x022f 00000480: JUMP 00000481: JUMPDEST 00000482: POP 00000483: PUSH1 0x02 00000485: DUP1 00000486: SLOAD 00000487: PUSH1 0x00 00000489: DUP1 0000048a: DUP4 0000048b: SSTORE 0000048c: SWAP2 0000048d: SWAP1 0000048e: SWAP2 0000048f: MSTORE 00000490: PUSH2 0x03ec 00000493: SWAP1 00000494: PUSH1 0x00 00000496: DUP1 00000497: MLOAD 00000498: PUSH1 0x20 0000049a: PUSH2 0x04ab 0000049d: DUP4 0000049e: CODECOPY 0000049f: DUP2 000004a0: MLOAD 000004a1: SWAP2 000004a2: MSTORE 000004a3: SWAP1 000004a4: DUP2 000004a5: ADD 000004a6: SWAP1 000004a7: PUSH2 0x03d8 000004aa: JUMP 000004ab: BLOCKHASH 000004ac: JUMPI 000004ad: DUP8 000004ae: STATICCALL 000004af: SLT 000004b0: UNKNOWN(0xA8) 000004b1: UNKNOWN(0x23) 000004b2: UNKNOWN(0xE0) 000004b3: CALLCODE 000004b4: UNKNOWN(0xB7) 000004b5: PUSH4 0x1cc41b3b 000004ba: UNKNOWN(0xA8) 000004bb: DUP3 000004bc: DUP12 000004bd: CALLER 000004be: UNKNOWN(0x21) 000004bf: UNKNOWN(0xCA) 000004c0: DUP2 000004c1: GT 000004c2: GT 000004c3: STATICCALL 000004c4: PUSH22
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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xcd2204882a2dc5b5aae7a9e80c1f447badb71471b411fe9313890db2affb725e
call_targets:
0x748defc02aa6221ae4db129bbe7e6a97537a6f45
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcd2204882a2dc5b5aae7a9e80c1f447badb71471b411fe9313890db2affb725e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x748defc02aa6221ae4db129bbe7e6a97537a6f45"
],
"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": "0x67dd74ca",
"selector": "0x67dd74ca",
"calldata_variants": [
"0x67dd74ca",
"0x67dd74ca0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 105,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 757,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 804,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xcd2204882a2dc5b5aae7a9e80c1f447badb71471b411fe9313890db2affb725e
call_targets:
0x748defc02aa6221ae4db129bbe7e6a97537a6f45
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcd2204882a2dc5b5aae7a9e80c1f447badb71471b411fe9313890db2affb725e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x748defc02aa6221ae4db129bbe7e6a97537a6f45"
],
"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": "0x67dd74ca",
"selector": "0x67dd74ca",
"calldata_variants": [
"0x67dd74ca",
"0x67dd74ca0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 105,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 757,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 804,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|