019b477e-cdc8-721d-a7fd-76c91d824d74
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 |
|---|---|---|---|---|
| 27093 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27094 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70310 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 70311 | capability.graph | complete | 1 / 3 | 1 week ago |
| 70312 | detector.run | complete | 1 / 3 | 1 week ago |
| 70313 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x00 00000002: CALLDATALOAD 00000003: PUSH1 0xe0 00000005: SHR 00000006: DUP1 00000007: PUSH4 0xfa461e33 0000000c: DUP2 0000000d: EQ 0000000e: PUSH2 0x00ff 00000011: JUMPI 00000012: PUSH4 0x239e7637 00000017: DUP2 00000018: EQ 00000019: PUSH2 0x014a 0000001c: JUMPI 0000001d: PUSH4 0x8da5cb5b 00000022: DUP2 00000023: EQ 00000024: PUSH2 0x0178 00000027: JUMPI 00000028: PUSH4 0xe36cffc1 0000002d: DUP2 0000002e: EQ 0000002f: PUSH2 0x0189 00000032: JUMPI 00000033: PUSH4 0x9a307391 00000038: DUP2 00000039: EQ 0000003a: PUSH2 0x01ae 0000003d: JUMPI 0000003e: PUSH4 0x0186111a 00000043: DUP2 00000044: EQ 00000045: PUSH2 0x01d2 00000048: JUMPI 00000049: PUSH2 0x0058 0000004c: PUSH2 0x0053 0000004f: PUSH2 0x042f 00000052: JUMP 00000053: JUMPDEST 00000054: PUSH2 0x0466 00000057: JUMP 00000058: JUMPDEST 00000059: PUSH1 0x00 0000005b: CALLDATALOAD 0000005c: PUSH1 0x60 0000005e: SHR 0000005f: PUSH1 0x14 00000061: CALLDATALOAD 00000062: PUSH1 0xf8 00000064: SHR 00000065: PUSH1 0x15 00000067: CALLDATALOAD 00000068: PUSH1 0xf8 0000006a: SHR 0000006b: PUSH1 0x16 0000006d: CALLDATALOAD 0000006e: PUSH1 0x80 00000070: SHR 00000071: DUP3 00000072: PUSH1 0x02 00000074: EQ 00000075: ISZERO 00000076: PUSH2 0x00ab 00000079: JUMPI 0000007a: PUSH1 0x26 0000007c: CALLDATALOAD 0000007d: PUSH1 0x80 0000007f: SHR 00000080: PUSH2 0x009e 00000083: DUP3 00000084: DUP7 00000085: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000009a: PUSH2 0x0201 0000009d: JUMP 0000009e: JUMPDEST 0000009f: PUSH2 0x00a9 000000a2: DUP4 000000a3: DUP3 000000a4: DUP8 000000a5: PUSH2 0x024e 000000a8: JUMP 000000a9: JUMPDEST 000000aa: POP 000000ab: JUMPDEST 000000ac: DUP3 000000ad: PUSH1 0x03 000000af: EQ 000000b0: ISZERO 000000b1: PUSH2 0x00c8 000000b4: JUMPI 000000b5: PUSH1 0x26 000000b7: CALLDATALOAD 000000b8: PUSH1 0x60 000000ba: SHR 000000bb: PUSH2 0x00c6 000000be: DUP4 000000bf: DUP4 000000c0: DUP4 000000c1: DUP9 000000c2: PUSH2 0x02cf 000000c5: JUMP 000000c6: JUMPDEST 000000c7: POP 000000c8: JUMPDEST 000000c9: DUP3 000000ca: PUSH1 0x04 000000cc: EQ 000000cd: ISZERO 000000ce: PUSH2 0x00f6 000000d1: JUMPI 000000d2: PUSH1 0x26 000000d4: CALLDATALOAD 000000d5: PUSH1 0x80 000000d7: SHR 000000d8: PUSH1 0x36 000000da: CALLDATALOAD 000000db: PUSH1 0x60 000000dd: SHR 000000de: PUSH2 0x00e8 000000e1: DUP4 000000e2: DUP8 000000e3: DUP4 000000e4: PUSH2 0x0201 000000e7: JUMP 000000e8: JUMPDEST 000000e9: PUSH2 0x00f3 000000ec: DUP5 000000ed: DUP4 000000ee: DUP9 000000ef: PUSH2 0x024e 000000f2: JUMP 000000f3: JUMPDEST 000000f4: POP 000000f5: POP 000000f6: JUMPDEST 000000f7: POP 000000f8: POP 000000f9: POP 000000fa: POP 000000fb: PUSH2 0x01fb 000000fe: JUMP 000000ff: JUMPDEST 00000100: PUSH2 0x010f 00000103: PUSH2 0x010a 00000106: PUSH2 0x0442 00000109: JUMP 0000010a: JUMPDEST 0000010b: PUSH2 0x0466 0000010e: JUMP 0000010f: JUMPDEST 00000110: PUSH1 0x04 00000112: CALLDATALOAD 00000113: PUSH1 0x24 00000115: CALLDATALOAD 00000116: PUSH1 0x84 00000118: CALLDATALOAD 00000119: DUP3 0000011a: PUSH1 0x00 0000011c: SLT 0000011d: ISZERO 0000011e: PUSH2 0x012d 00000121: JUMPI 00000122: PUSH2 0x012c 00000125: DUP4 00000126: CALLER 00000127: DUP4 00000128: PUSH2 0x0201 0000012b: JUMP 0000012c: JUMPDEST 0000012d: JUMPDEST 0000012e: DUP2 0000012f: PUSH1 0x00 00000131: SLT 00000132: ISZERO 00000133: PUSH2 0x0142 00000136: JUMPI 00000137: PUSH2 0x0141 0000013a: DUP3 0000013b: CALLER 0000013c: DUP4 0000013d: PUSH2 0x0201 00000140: JUMP 00000141: JUMPDEST 00000142: JUMPDEST 00000143: POP 00000144: POP 00000145: POP 00000146: PUSH2 0x01fb 00000149: JUMP 0000014a: JUMPDEST 0000014b: PUSH2 0x015a 0000014e: PUSH2 0x0155 00000151: PUSH2 0x0455 00000154: JUMP 00000155: JUMPDEST 00000156: PUSH2 0x0466 00000159: JUMP 0000015a: JUMPDEST 0000015b: PUSH1 0x04 0000015d: CALLDATALOAD 0000015e: PUSH1 0x60 00000160: SHR 00000161: PUSH1 0x18 00000163: CALLDATALOAD 00000164: PUSH1 0x80 00000166: SHR 00000167: PUSH2 0x0171 0000016a: DUP2 0000016b: CALLER 0000016c: DUP5 0000016d: PUSH2 0x0201 00000170: JUMP 00000171: JUMPDEST 00000172: POP 00000173: POP 00000174: PUSH2 0x01fb 00000177: JUMP 00000178: JUMPDEST 00000179: PUSH2 0x0180 0000017c: PUSH2 0x0412 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH1 0x00 00000183: MSTORE 00000184: PUSH1 0x20 00000186: PUSH1 0x00 00000188: RETURN 00000189: JUMPDEST 0000018a: PUSH2 0x0199 0000018d: PUSH2 0x0194 00000190: PUSH2 0x0455 00000193: JUMP 00000194: JUMPDEST 00000195: PUSH2 0x0466 00000198: JUMP 00000199: JUMPDEST 0000019a: PUSH1 0x04 0000019c: CALLDATALOAD 0000019d: PUSH1 0x60 0000019f: SHR 000001a0: PUSH2 0x01a8 000001a3: DUP2 000001a4: PUSH2 0x0422 000001a7: JUMP 000001a8: JUMPDEST 000001a9: POP 000001aa: PUSH2 0x01fb 000001ad: JUMP 000001ae: JUMPDEST 000001af: PUSH2 0x01be 000001b2: PUSH2 0x01b9 000001b5: PUSH2 0x0455 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH2 0x0466 000001bd: JUMP 000001be: JUMPDEST 000001bf: PUSH2 0x01c9 000001c2: PUSH1 0x04 000001c4: CALLDATALOAD 000001c5: PUSH2 0x03f0 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH1 0x00 000001cc: MSTORE 000001cd: PUSH1 0x20 000001cf: PUSH1 0x00 000001d1: RETURN 000001d2: JUMPDEST 000001d3: PUSH2 0x01e2 000001d6: PUSH2 0x01dd 000001d9: PUSH2 0x0455 000001dc: JUMP 000001dd: JUMPDEST 000001de: PUSH2 0x0466 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH1 0x04 000001e5: CALLDATALOAD 000001e6: PUSH1 0x60 000001e8: SHR 000001e9: PUSH1 0x18 000001eb: CALLDATALOAD 000001ec: PUSH1 0xf8 000001ee: SHR 000001ef: PUSH2 0x01f8 000001f2: DUP2 000001f3: DUP4 000001f4: PUSH2 0x0403 000001f7: JUMP 000001f8: JUMPDEST 000001f9: POP 000001fa: POP 000001fb: JUMPDEST 000001fc: POP 000001fd: PUSH2 0x0473 00000200: JUMP 00000201: JUMPDEST 00000202: PUSH1 0x40 00000204: MLOAD 00000205: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000226: DUP2 00000227: MSTORE 00000228: DUP3 00000229: PUSH1 0x04 0000022b: DUP3 0000022c: ADD 0000022d: MSTORE 0000022e: DUP4 0000022f: PUSH1 0x24 00000231: DUP3 00000232: ADD 00000233: MSTORE 00000234: PUSH1 0x20 00000236: PUSH1 0x00 00000238: PUSH1 0x44 0000023a: DUP4 0000023b: PUSH1 0x00 0000023d: DUP7 0000023e: GAS 0000023f: CALL 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH1 0x00 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: POP 0000024b: POP 0000024c: POP 0000024d: JUMP 0000024e: JUMPDEST 0000024f: DUP3 00000250: PUSH1 0x00 00000252: DUP2 00000253: EQ 00000254: PUSH2 0x0292 00000257: JUMPI 00000258: PUSH4 0x022c0d9f 0000025d: PUSH1 0xe0 0000025f: SHL 00000260: PUSH1 0x00 00000262: MSTORE 00000263: PUSH1 0x00 00000265: PUSH1 0x04 00000267: MSTORE 00000268: DUP3 00000269: PUSH1 0x24 0000026b: MSTORE 0000026c: ADDRESS 0000026d: PUSH1 0x44 0000026f: MSTORE 00000270: PUSH1 0x80 00000272: PUSH1 0x64 00000274: MSTORE 00000275: PUSH1 0x00 00000277: PUSH1 0x84 00000279: MSTORE 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: PUSH1 0xa4 0000027f: PUSH1 0x00 00000281: DUP1 00000282: DUP7 00000283: GAS 00000284: CALL 00000285: PUSH2 0x028d 00000288: JUMPI 00000289: PUSH1 0x00 0000028b: DUP1 0000028c: REVERT 0000028d: JUMPDEST 0000028e: PUSH2 0x02c9 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH4 0x022c0d9f 00000298: PUSH1 0xe0 0000029a: SHL 0000029b: PUSH1 0x00 0000029d: MSTORE 0000029e: DUP3 0000029f: PUSH1 0x04 000002a1: MSTORE 000002a2: PUSH1 0x00 000002a4: PUSH1 0x24 000002a6: MSTORE 000002a7: ADDRESS 000002a8: PUSH1 0x44 000002aa: MSTORE 000002ab: PUSH1 0x80 000002ad: PUSH1 0x64 000002af: MSTORE 000002b0: PUSH1 0x00 000002b2: PUSH1 0x84 000002b4: MSTORE 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: PUSH1 0xa4 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: DUP7 000002be: GAS 000002bf: CALL 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: JUMPDEST 000002ca: POP 000002cb: POP 000002cc: POP 000002cd: POP 000002ce: JUMP 000002cf: JUMPDEST 000002d0: DUP4 000002d1: PUSH1 0x00 000002d3: DUP2 000002d4: EQ 000002d5: PUSH2 0x02e5 000002d8: JUMPI 000002d9: PUSH1 0x01 000002db: DUP2 000002dc: EQ 000002dd: PUSH2 0x0367 000002e0: JUMPI 000002e1: PUSH2 0x03d6 000002e4: JUMP 000002e5: JUMPDEST 000002e6: PUSH1 0x40 000002e8: MLOAD 000002e9: PUSH32 0x128acb0800000000000000000000000000000000000000000000000000000000 0000030a: DUP2 0000030b: MSTORE 0000030c: ADDRESS 0000030d: PUSH1 0x04 0000030f: DUP3 00000310: ADD 00000311: MSTORE 00000312: PUSH1 0x00 00000314: PUSH1 0x24 00000316: DUP3 00000317: ADD 00000318: MSTORE 00000319: DUP5 0000031a: PUSH1 0x44 0000031c: DUP3 0000031d: ADD 0000031e: MSTORE 0000031f: PUSH20 0xfffd8963efd1fc6a506488495d951d5263988d25 00000334: PUSH1 0x64 00000336: DUP3 00000337: ADD 00000338: MSTORE 00000339: PUSH1 0xa0 0000033b: PUSH1 0x84 0000033d: DUP3 0000033e: ADD 0000033f: MSTORE 00000340: PUSH1 0x20 00000342: PUSH1 0xa4 00000344: DUP3 00000345: ADD 00000346: MSTORE 00000347: DUP4 00000348: PUSH1 0xc4 0000034a: DUP3 0000034b: ADD 0000034c: MSTORE 0000034d: PUSH1 0x40 0000034f: PUSH1 0x04 00000351: PUSH1 0xe4 00000353: DUP4 00000354: PUSH1 0x00 00000356: DUP8 00000357: GAS 00000358: CALL 00000359: PUSH2 0x0361 0000035c: JUMPI 0000035d: PUSH1 0x00 0000035f: DUP1 00000360: REVERT 00000361: JUMPDEST 00000362: POP 00000363: PUSH2 0x03d6 00000366: JUMP 00000367: JUMPDEST 00000368: PUSH1 0x40 0000036a: MLOAD 0000036b: PUSH32 0x128acb0800000000000000000000000000000000000000000000000000000000 0000038c: DUP2 0000038d: MSTORE 0000038e: ADDRESS 0000038f: PUSH1 0x04 00000391: DUP3 00000392: ADD 00000393: MSTORE 00000394: PUSH1 0x01 00000396: PUSH1 0x24 00000398: DUP3 00000399: ADD 0000039a: MSTORE 0000039b: DUP5 0000039c: PUSH1 0x44 0000039e: DUP3 0000039f: ADD 000003a0: MSTORE 000003a1: PUSH5 0x01000276a4 000003a7: PUSH1 0x64 000003a9: DUP3 000003aa: ADD 000003ab: MSTORE 000003ac: PUSH1 0xa0 000003ae: PUSH1 0x84 000003b0: DUP3 000003b1: ADD 000003b2: MSTORE 000003b3: PUSH1 0x20 000003b5: PUSH1 0xa4 000003b7: DUP3 000003b8: ADD 000003b9: MSTORE 000003ba: DUP4 000003bb: PUSH1 0xc4 000003bd: DUP3 000003be: ADD 000003bf: MSTORE 000003c0: PUSH1 0x40 000003c2: PUSH1 0x04 000003c4: PUSH1 0xe4 000003c6: DUP4 000003c7: PUSH1 0x00 000003c9: DUP8 000003ca: GAS 000003cb: CALL 000003cc: PUSH2 0x03d4 000003cf: JUMPI 000003d0: PUSH1 0x00 000003d2: DUP1 000003d3: REVERT 000003d4: JUMPDEST 000003d5: POP 000003d6: JUMPDEST 000003d7: POP 000003d8: POP 000003d9: POP 000003da: POP 000003db: POP 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH1 0x00 000003e0: SWAP1 000003e1: JUMP 000003e2: JUMPDEST 000003e3: PUSH1 0x00 000003e5: DUP2 000003e6: PUSH2 0x1000 000003e9: ADD 000003ea: SWAP1 000003eb: POP 000003ec: SWAP2 000003ed: SWAP1 000003ee: POP 000003ef: JUMP 000003f0: JUMPDEST 000003f1: PUSH1 0x00 000003f3: PUSH2 0x03fb 000003f6: DUP3 000003f7: PUSH2 0x03e2 000003fa: JUMP 000003fb: JUMPDEST 000003fc: SLOAD 000003fd: SWAP1 000003fe: POP 000003ff: SWAP2 00000400: SWAP1 00000401: POP 00000402: JUMP 00000403: JUMPDEST 00000404: DUP2 00000405: PUSH2 0x040d 00000408: DUP3 00000409: PUSH2 0x03e2 0000040c: JUMP 0000040d: JUMPDEST 0000040e: SSTORE 0000040f: POP 00000410: POP 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH1 0x00 00000415: PUSH2 0x041c 00000418: PUSH2 0x03dd 0000041b: JUMP 0000041c: JUMPDEST 0000041d: SLOAD 0000041e: SWAP1 0000041f: POP 00000420: SWAP1 00000421: JUMP 00000422: JUMPDEST 00000423: DUP1 00000424: PUSH2 0x042b 00000427: PUSH2 0x03dd 0000042a: JUMP 0000042b: JUMPDEST 0000042c: SSTORE 0000042d: POP 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH1 0x00 00000432: PUSH1 0x01 00000434: PUSH2 0x043c 00000437: CALLER 00000438: PUSH2 0x03f0 0000043b: JUMP 0000043c: JUMPDEST 0000043d: EQ 0000043e: SWAP1 0000043f: POP 00000440: SWAP1 00000441: JUMP 00000442: JUMPDEST 00000443: PUSH1 0x00 00000445: PUSH1 0x01 00000447: PUSH2 0x044f 0000044a: ORIGIN 0000044b: PUSH2 0x03f0 0000044e: JUMP 0000044f: JUMPDEST 00000450: EQ 00000451: SWAP1 00000452: POP 00000453: SWAP1 00000454: JUMP 00000455: JUMPDEST 00000456: PUSH1 0x00 00000458: CALLER 00000459: PUSH2 0x0460 0000045c: PUSH2 0x0412 0000045f: JUMP 00000460: JUMPDEST 00000461: EQ 00000462: SWAP1 00000463: POP 00000464: SWAP1 00000465: JUMP 00000466: JUMPDEST 00000467: DUP1 00000468: PUSH2 0x0470 0000046b: JUMPI 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: REVERT 00000470: JUMPDEST 00000471: POP 00000472: JUMP 00000473: JUMPDEST 00000474: POP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xfa461e33",
"selector": "0xfa461e33",
"calldata_variants": [
"0xfa461e33",
"0xfa461e330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x239e7637",
"selector": "0x239e7637",
"calldata_variants": [
"0x239e7637",
"0x239e76370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe36cffc1",
"selector": "0xe36cffc1",
"calldata_variants": [
"0xe36cffc1",
"0xe36cffc10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a307391",
"selector": "0x9a307391",
"calldata_variants": [
"0x9a307391",
"0x9a3073910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0186111a",
"selector": "0x0186111a",
"calldata_variants": [
"0x0186111a",
"0x0186111a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1098,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x455e2ff52a6443a5a58d2f2dbfdfb1b8238ea1baa9fc2078424e9325b32320dc
call_targets:
0x127350408e658c8a02c588d3487f11939fb20110
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x455e2ff52a6443a5a58d2f2dbfdfb1b8238ea1baa9fc2078424e9325b32320dc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x127350408e658c8a02c588d3487f11939fb20110"
],
"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": "0xfa461e33",
"selector": "0xfa461e33",
"calldata_variants": [
"0xfa461e33",
"0xfa461e330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x239e7637",
"selector": "0x239e7637",
"calldata_variants": [
"0x239e7637",
"0x239e76370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe36cffc1",
"selector": "0xe36cffc1",
"calldata_variants": [
"0xe36cffc1",
"0xe36cffc10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a307391",
"selector": "0x9a307391",
"calldata_variants": [
"0x9a307391",
"0x9a3073910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0186111a",
"selector": "0x0186111a",
"calldata_variants": [
"0x0186111a",
"0x0186111a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 575,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 856,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 971,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 1098,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x455e2ff52a6443a5a58d2f2dbfdfb1b8238ea1baa9fc2078424e9325b32320dc
call_targets:
0x127350408e658c8a02c588d3487f11939fb20110
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x455e2ff52a6443a5a58d2f2dbfdfb1b8238ea1baa9fc2078424e9325b32320dc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x127350408e658c8a02c588d3487f11939fb20110"
],
"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": "0xfa461e33",
"selector": "0xfa461e33",
"calldata_variants": [
"0xfa461e33",
"0xfa461e330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x239e7637",
"selector": "0x239e7637",
"calldata_variants": [
"0x239e7637",
"0x239e76370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe36cffc1",
"selector": "0xe36cffc1",
"calldata_variants": [
"0xe36cffc1",
"0xe36cffc10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a307391",
"selector": "0x9a307391",
"calldata_variants": [
"0x9a307391",
"0x9a3073910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0186111a",
"selector": "0x0186111a",
"calldata_variants": [
"0x0186111a",
"0x0186111a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 575,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 644,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "constant"
},
{
"pc": 703,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "constant"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 1098,
"type": "tx_origin_used"
}
]
}
|