019b3844-a8e9-7339-a617-30159c06a9a7
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 |
|---|---|---|---|---|
| 16799 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 16800 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 106937 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 106938 | capability.graph | complete | 1 / 3 | 1 week ago |
| 106939 | detector.run | complete | 1 / 3 | 1 week ago |
| 106940 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: SWAP1 00000005: DUP1 00000006: DUP3 00000007: MSTORE 00000008: PUSH1 0x04 0000000a: SWAP1 0000000b: DUP2 0000000c: CALLDATASIZE 0000000d: LT 0000000e: ISZERO 0000000f: PUSH2 0x00f6 00000012: JUMPI 00000013: JUMPDEST 00000014: POP 00000015: CALLDATASIZE 00000016: ISZERO 00000017: PUSH2 0x00f4 0000001a: JUMPI 0000001b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000030: DUP1 00000031: PUSH0 00000032: SLOAD 00000033: AND 00000034: CALLER 00000035: SUB 00000036: PUSH2 0x00dd 00000039: JUMPI 0000003a: PUSH0 0000003b: DUP1 0000003c: SWAP2 0000003d: DUP5 0000003e: MLOAD 0000003f: CALLDATASIZE 00000040: DUP4 00000041: DUP3 00000042: CALLDATACOPY 00000043: DUP1 00000044: CALLDATASIZE 00000045: DUP2 00000046: ADD 00000047: DUP5 00000048: DUP2 00000049: MSTORE 0000004a: SUB 0000004b: SWAP2 0000004c: CALLVALUE 0000004d: SWAP1 0000004e: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 0000006f: AND 00000070: GAS 00000071: CALL 00000072: PUSH2 0x0079 00000075: PUSH2 0x05b2 00000078: JUMP 00000079: JUMPDEST 0000007a: POP 0000007b: ISZERO 0000007c: PUSH2 0x0081 0000007f: JUMPI 00000080: STOP 00000081: JUMPDEST 00000082: PUSH1 0x20 00000084: PUSH1 0x64 00000086: SWAP3 00000087: MLOAD 00000088: SWAP2 00000089: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000000aa: DUP4 000000ab: MSTORE 000000ac: DUP3 000000ad: ADD 000000ae: MSTORE 000000af: PUSH1 0x14 000000b1: PUSH1 0x24 000000b3: DUP3 000000b4: ADD 000000b5: MSTORE 000000b6: PUSH32 0x666f727761726420726f75746572206661696c64000000000000000000000000 000000d7: PUSH1 0x44 000000d9: DUP3 000000da: ADD 000000db: MSTORE 000000dc: REVERT 000000dd: JUMPDEST 000000de: POP 000000df: PUSH1 0x24 000000e1: SWAP2 000000e2: MLOAD 000000e3: SWAP1 000000e4: PUSH4 0x102921b1 000000e9: PUSH1 0xe2 000000eb: SHL 000000ec: DUP3 000000ed: MSTORE 000000ee: CALLER 000000ef: SWAP1 000000f0: DUP3 000000f1: ADD 000000f2: MSTORE 000000f3: REVERT 000000f4: JUMPDEST 000000f5: STOP 000000f6: JUMPDEST 000000f7: PUSH0 000000f8: SWAP1 000000f9: DUP2 000000fa: CALLDATALOAD 000000fb: PUSH1 0xe0 000000fd: SHR 000000fe: SWAP1 000000ff: DUP2 00000100: PUSH4 0x0ca35682 00000105: EQ 00000106: PUSH2 0x0491 00000109: JUMPI 0000010a: POP 0000010b: DUP1 0000010c: PUSH4 0x715018a6 00000111: EQ 00000112: PUSH2 0x03f7 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0x8da5cb5b 0000011c: EQ 0000011d: PUSH2 0x03c4 00000120: JUMPI 00000121: DUP1 00000122: PUSH4 0xf2fde38b 00000127: EQ 00000128: PUSH2 0x02f1 0000012b: JUMPI 0000012c: DUP1 0000012d: PUSH4 0xf305d719 00000132: EQ 00000133: PUSH2 0x0194 00000136: JUMPI 00000137: PUSH4 0xf887ea40 0000013c: SUB 0000013d: PUSH2 0x0013 00000140: JUMPI 00000141: DUP3 00000142: CALLVALUE 00000143: PUSH2 0x0190 00000146: JUMPI 00000147: DUP2 00000148: PUSH1 0x03 0000014a: NOT 0000014b: CALLDATASIZE 0000014c: ADD 0000014d: SLT 0000014e: PUSH2 0x0190 00000151: JUMPI 00000152: PUSH1 0x20 00000154: SWAP1 00000155: MLOAD 00000156: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016b: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 0000018c: AND 0000018d: DUP2 0000018e: MSTORE 0000018f: RETURN 00000190: JUMPDEST 00000191: POP 00000192: DUP1 00000193: REVERT 00000194: JUMPDEST 00000195: POP 00000196: SWAP2 00000197: CALLVALUE 00000198: PUSH2 0x02c2 0000019b: JUMPI 0000019c: PUSH1 0xc0 0000019e: PUSH1 0x03 000001a0: NOT 000001a1: CALLDATASIZE 000001a2: ADD 000001a3: SLT 000001a4: PUSH2 0x02c2 000001a7: JUMPI 000001a8: PUSH2 0x01af 000001ab: PUSH2 0x053b 000001ae: JUMP 000001af: JUMPDEST 000001b0: PUSH1 0x84 000001b2: CALLDATALOAD 000001b3: SWAP1 000001b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c9: SWAP2 000001ca: DUP3 000001cb: DUP2 000001cc: AND 000001cd: DUP1 000001ce: SWAP2 000001cf: SUB 000001d0: PUSH2 0x02ed 000001d3: JUMPI 000001d4: DUP3 000001d5: DUP7 000001d6: SLOAD 000001d7: AND 000001d8: CALLER 000001d9: SUB 000001da: PUSH2 0x02d7 000001dd: JUMPI 000001de: DUP3 000001df: SWAP2 000001e0: PUSH1 0x60 000001e2: SWAP4 000001e3: PUSH1 0xc4 000001e5: SWAP3 000001e6: DUP7 000001e7: MLOAD 000001e8: SWAP8 000001e9: DUP9 000001ea: SWAP6 000001eb: DUP7 000001ec: SWAP5 000001ed: PUSH32 0xf305d71900000000000000000000000000000000000000000000000000000000 0000020e: DUP7 0000020f: MSTORE 00000210: AND 00000211: SWAP1 00000212: DUP5 00000213: ADD 00000214: MSTORE 00000215: PUSH1 0x24 00000217: CALLDATALOAD 00000218: PUSH1 0x24 0000021a: DUP5 0000021b: ADD 0000021c: MSTORE 0000021d: PUSH1 0x44 0000021f: CALLDATALOAD 00000220: PUSH1 0x44 00000222: DUP5 00000223: ADD 00000224: MSTORE 00000225: PUSH1 0x64 00000227: CALLDATALOAD 00000228: PUSH1 0x64 0000022a: DUP5 0000022b: ADD 0000022c: MSTORE 0000022d: PUSH1 0x84 0000022f: DUP4 00000230: ADD 00000231: MSTORE 00000232: TIMESTAMP 00000233: PUSH1 0xa4 00000235: DUP4 00000236: ADD 00000237: MSTORE 00000238: PUSH1 0xa4 0000023a: CALLDATALOAD 0000023b: SWAP1 0000023c: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 0000025d: AND 0000025e: GAS 0000025f: CALL 00000260: SWAP1 00000261: DUP2 00000262: ISZERO 00000263: PUSH2 0x02ce 00000266: JUMPI 00000267: DUP4 00000268: SWAP3 00000269: DUP5 0000026a: SWAP1 0000026b: DUP6 0000026c: SWAP4 0000026d: PUSH2 0x0285 00000270: JUMPI 00000271: JUMPDEST 00000272: POP 00000273: PUSH1 0x60 00000275: SWAP5 00000276: POP 00000277: DUP2 00000278: MLOAD 00000279: SWAP4 0000027a: DUP5 0000027b: MSTORE 0000027c: PUSH1 0x20 0000027e: DUP5 0000027f: ADD 00000280: MSTORE 00000281: DUP3 00000282: ADD 00000283: MSTORE 00000284: RETURN 00000285: JUMPDEST 00000286: SWAP4 00000287: POP 00000288: POP 00000289: SWAP1 0000028a: POP 0000028b: PUSH1 0x60 0000028d: DUP3 0000028e: RETURNDATASIZE 0000028f: DUP3 00000290: GT 00000291: PUSH2 0x02c6 00000294: JUMPI 00000295: JUMPDEST 00000296: DUP2 00000297: PUSH2 0x02a2 0000029a: PUSH1 0x60 0000029c: SWAP4 0000029d: DUP4 0000029e: PUSH2 0x0562 000002a1: JUMP 000002a2: JUMPDEST 000002a3: DUP2 000002a4: ADD 000002a5: SUB 000002a6: SLT 000002a7: PUSH2 0x02c2 000002aa: JUMPI 000002ab: PUSH1 0x60 000002ad: SWAP3 000002ae: POP 000002af: DUP2 000002b0: MLOAD 000002b1: SWAP1 000002b2: DUP1 000002b3: PUSH1 0x20 000002b5: DUP5 000002b6: ADD 000002b7: MLOAD 000002b8: SWAP4 000002b9: ADD 000002ba: MLOAD 000002bb: SWAP2 000002bc: SWAP3 000002bd: PUSH0 000002be: PUSH2 0x0271 000002c1: JUMP 000002c2: JUMPDEST 000002c3: DUP3 000002c4: DUP1 000002c5: REVERT 000002c6: JUMPDEST 000002c7: RETURNDATASIZE 000002c8: SWAP2 000002c9: POP 000002ca: PUSH2 0x0295 000002cd: JUMP 000002ce: JUMPDEST 000002cf: MLOAD 000002d0: RETURNDATASIZE 000002d1: DUP5 000002d2: DUP3 000002d3: RETURNDATACOPY 000002d4: RETURNDATASIZE 000002d5: SWAP1 000002d6: REVERT 000002d7: JUMPDEST 000002d8: DUP4 000002d9: MLOAD 000002da: PUSH4 0x102921b1 000002df: PUSH1 0xe2 000002e1: SHL 000002e2: DUP2 000002e3: MSTORE 000002e4: CALLER 000002e5: DUP2 000002e6: DUP8 000002e7: ADD 000002e8: MSTORE 000002e9: PUSH1 0x24 000002eb: SWAP1 000002ec: REVERT 000002ed: JUMPDEST 000002ee: DUP6 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: POP 000002f3: SWAP2 000002f4: SWAP1 000002f5: CALLVALUE 000002f6: PUSH2 0x02c2 000002f9: JUMPI 000002fa: PUSH1 0x20 000002fc: PUSH1 0x03 000002fe: NOT 000002ff: CALLDATASIZE 00000300: ADD 00000301: SLT 00000302: PUSH2 0x02c2 00000305: JUMPI 00000306: PUSH2 0x030d 00000309: PUSH2 0x053b 0000030c: JUMP 0000030d: JUMPDEST 0000030e: SWAP1 0000030f: DUP4 00000310: SLOAD 00000311: SWAP1 00000312: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000327: DUP1 00000328: DUP4 00000329: AND 0000032a: SWAP4 0000032b: CALLER 0000032c: DUP6 0000032d: SUB 0000032e: PUSH2 0x03ae 00000331: JUMPI 00000332: AND 00000333: SWAP4 00000334: DUP5 00000335: ISZERO 00000336: PUSH2 0x0388 00000339: JUMPI 0000033a: POP 0000033b: POP 0000033c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000035d: AND 0000035e: DUP3 0000035f: OR 00000360: DUP4 00000361: SSTORE 00000362: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000383: DUP4 00000384: DUP1 00000385: LOG3 00000386: DUP1 00000387: RETURN 00000388: JUMPDEST 00000389: MLOAD 0000038a: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000 000003ab: DUP2 000003ac: MSTORE 000003ad: REVERT 000003ae: JUMPDEST 000003af: DUP6 000003b0: MLOAD 000003b1: PUSH4 0x102921b1 000003b6: PUSH1 0xe2 000003b8: SHL 000003b9: DUP2 000003ba: MSTORE 000003bb: CALLER 000003bc: DUP2 000003bd: DUP6 000003be: ADD 000003bf: MSTORE 000003c0: PUSH1 0x24 000003c2: SWAP1 000003c3: REVERT 000003c4: JUMPDEST 000003c5: POP 000003c6: DUP3 000003c7: CALLVALUE 000003c8: PUSH2 0x0190 000003cb: JUMPI 000003cc: DUP2 000003cd: PUSH1 0x03 000003cf: NOT 000003d0: CALLDATASIZE 000003d1: ADD 000003d2: SLT 000003d3: PUSH2 0x0190 000003d6: JUMPI 000003d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ec: PUSH1 0x20 000003ee: SWAP3 000003ef: SLOAD 000003f0: AND 000003f1: SWAP1 000003f2: MLOAD 000003f3: SWAP1 000003f4: DUP2 000003f5: MSTORE 000003f6: RETURN 000003f7: JUMPDEST 000003f8: POP 000003f9: DUP3 000003fa: CALLVALUE 000003fb: PUSH2 0x0190 000003fe: JUMPI 000003ff: DUP2 00000400: PUSH1 0x03 00000402: NOT 00000403: CALLDATASIZE 00000404: ADD 00000405: SLT 00000406: PUSH2 0x0190 00000409: JUMPI 0000040a: DUP2 0000040b: SLOAD 0000040c: SWAP3 0000040d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000422: DUP5 00000423: AND 00000424: SWAP2 00000425: CALLER 00000426: DUP4 00000427: SUB 00000428: PUSH2 0x047a 0000042b: JUMPI 0000042c: POP 0000042d: POP 0000042e: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000044f: DUP3 00000450: SWAP4 00000451: AND 00000452: DUP3 00000453: SSTORE 00000454: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000475: DUP3 00000476: DUP1 00000477: LOG3 00000478: DUP1 00000479: RETURN 0000047a: JUMPDEST 0000047b: PUSH1 0x24 0000047d: SWAP3 0000047e: POP 0000047f: MLOAD 00000480: SWAP1 00000481: PUSH4 0x102921b1 00000486: PUSH1 0xe2 00000488: SHL 00000489: DUP3 0000048a: MSTORE 0000048b: CALLER 0000048c: SWAP1 0000048d: DUP3 0000048e: ADD 0000048f: MSTORE 00000490: REVERT 00000491: JUMPDEST 00000492: DUP5 00000493: SWAP2 00000494: POP 00000495: CALLVALUE 00000496: PUSH2 0x02c2 00000499: JUMPI 0000049a: PUSH1 0x20 0000049c: PUSH1 0x03 0000049e: NOT 0000049f: CALLDATASIZE 000004a0: ADD 000004a1: SLT 000004a2: PUSH2 0x02c2 000004a5: JUMPI 000004a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004bb: DUP4 000004bc: SLOAD 000004bd: AND 000004be: CALLER 000004bf: SUB 000004c0: PUSH2 0x0527 000004c3: JUMPI 000004c4: POP 000004c5: DUP1 000004c6: MLOAD 000004c7: SWAP1 000004c8: PUSH1 0x20 000004ca: DUP3 000004cb: ADD 000004cc: SWAP1 000004cd: DUP3 000004ce: DUP3 000004cf: LT 000004d0: PUSH8 0xffffffffffffffff 000004d9: DUP4 000004da: GT 000004db: OR 000004dc: PUSH2 0x04fb 000004df: JUMPI 000004e0: DUP4 000004e1: SWAP5 000004e2: DUP5 000004e3: DUP1 000004e4: SWAP5 000004e5: DUP2 000004e6: SWAP5 000004e7: DUP3 000004e8: SWAP5 000004e9: MSTORE 000004ea: MSTORE 000004eb: CALLDATALOAD 000004ec: CALLER 000004ed: GAS 000004ee: CALL 000004ef: POP 000004f0: PUSH2 0x04f7 000004f3: PUSH2 0x05b2 000004f6: JUMP 000004f7: JUMPDEST 000004f8: POP 000004f9: DUP1 000004fa: RETURN 000004fb: JUMPDEST 000004fc: PUSH1 0x24 000004fe: DUP5 000004ff: PUSH1 0x41 00000501: DUP8 00000502: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000523: DUP4 00000524: MSTORE 00000525: MSTORE 00000526: REVERT 00000527: JUMPDEST 00000528: PUSH4 0x102921b1 0000052d: PUSH1 0xe2 0000052f: SHL 00000530: DUP2 00000531: MSTORE 00000532: CALLER 00000533: DUP5 00000534: DUP3 00000535: ADD 00000536: MSTORE 00000537: PUSH1 0x24 00000539: SWAP1 0000053a: REVERT 0000053b: JUMPDEST 0000053c: PUSH1 0x04 0000053e: CALLDATALOAD 0000053f: SWAP1 00000540: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000555: DUP3 00000556: AND 00000557: DUP3 00000558: SUB 00000559: PUSH2 0x055e 0000055c: JUMPI 0000055d: JUMP 0000055e: JUMPDEST 0000055f: PUSH0 00000560: DUP1 00000561: REVERT 00000562: JUMPDEST 00000563: SWAP1 00000564: PUSH1 0x1f 00000566: PUSH1 0x1f 00000568: NOT 00000569: SWAP2 0000056a: ADD 0000056b: AND 0000056c: DUP2 0000056d: ADD 0000056e: SWAP1 0000056f: DUP2 00000570: LT 00000571: PUSH8 0xffffffffffffffff 0000057a: DUP3 0000057b: GT 0000057c: OR 0000057d: PUSH2 0x0585 00000580: JUMPI 00000581: PUSH1 0x40 00000583: MSTORE 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000005a7: PUSH0 000005a8: MSTORE 000005a9: PUSH1 0x41 000005ab: PUSH1 0x04 000005ad: MSTORE 000005ae: PUSH1 0x24 000005b0: PUSH0 000005b1: REVERT 000005b2: JUMPDEST 000005b3: RETURNDATASIZE 000005b4: ISZERO 000005b5: PUSH2 0x05ec 000005b8: JUMPI 000005b9: RETURNDATASIZE 000005ba: SWAP1 000005bb: PUSH8 0xffffffffffffffff 000005c4: DUP3 000005c5: GT 000005c6: PUSH2 0x0585 000005c9: JUMPI 000005ca: PUSH1 0x40 000005cc: MLOAD 000005cd: SWAP2 000005ce: PUSH2 0x05e1 000005d1: PUSH1 0x20 000005d3: PUSH1 0x1f 000005d5: NOT 000005d6: PUSH1 0x1f 000005d8: DUP5 000005d9: ADD 000005da: AND 000005db: ADD 000005dc: DUP5 000005dd: PUSH2 0x0562 000005e0: JUMP 000005e1: JUMPDEST 000005e2: DUP3 000005e3: MSTORE 000005e4: RETURNDATASIZE 000005e5: PUSH0 000005e6: PUSH1 0x20 000005e8: DUP5 000005e9: ADD 000005ea: RETURNDATACOPY 000005eb: JUMP 000005ec: JUMPDEST 000005ed: PUSH1 0x60 000005ef: SWAP1 000005f0: JUMP 000005f1: INVALID 000005f2: LOG2 000005f3: PUSH5 0x6970667358 000005f9: UNKNOWN(0x22) 000005fa: SLT 000005fb: KECCAK256 000005fc: UNKNOWN(0xF9) 000005fd: UNKNOWN(0xE7) 000005fe: LT 000005ff: UNKNOWN(0xFB) 00000600: CALLDATALOAD 00000601: TLOAD 00000602: UNKNOWN(0xB1) 00000603: CLZ 00000604: NUMBER 00000605: UNKNOWN(0xA8) 00000606: CODESIZE 00000607: TLOAD 00000608: CREATE 00000609: UNKNOWN(0xA6) 0000060a: PUSH30
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: 0x1056235b125cd047e4efe71b4a883cac47f8296fcb2d9cf2e409ea361f4a6a3f
call_targets:
0x86bea1d5e4a314342a86a469532e7f613641e8ed
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1056235b125cd047e4efe71b4a883cac47f8296fcb2d9cf2e409ea361f4a6a3f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x86bea1d5e4a314342a86a469532e7f613641e8ed"
],
"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": "0x0ca35682",
"selector": "0x0ca35682",
"calldata_variants": [
"0x0ca35682",
"0x0ca356820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf305d719",
"selector": "0xf305d719",
"calldata_variants": [
"0xf305d719",
"0xf305d7190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 113,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 607,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1262,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x1056235b125cd047e4efe71b4a883cac47f8296fcb2d9cf2e409ea361f4a6a3f
call_targets:
0x86bea1d5e4a314342a86a469532e7f613641e8ed
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1056235b125cd047e4efe71b4a883cac47f8296fcb2d9cf2e409ea361f4a6a3f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x86bea1d5e4a314342a86a469532e7f613641e8ed"
],
"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": "0x0ca35682",
"selector": "0x0ca35682",
"calldata_variants": [
"0x0ca35682",
"0x0ca356820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf305d719",
"selector": "0xf305d719",
"calldata_variants": [
"0xf305d719",
"0xf305d7190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 113,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 607,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1262,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x5b64fd3e82b8196a90bdf4d62ae3b04faa2980db76e1fc5ca4c0681c3e80ac41
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 10,
"trace_id": "0x5b64fd3e82b8196a90bdf4d62ae3b04faa2980db76e1fc5ca4c0681c3e80ac41",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0ca35682",
"selector": "0x0ca35682",
"calldata_variants": [
"0x0ca35682",
"0x0ca356820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf305d719",
"selector": "0xf305d719",
"calldata_variants": [
"0xf305d719",
"0xf305d7190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|