CVE-2023-38545:curl: Heap buffer overflow
A reconstruction of the flaw, and the evidence path Lachesis follows to make it visible.
With no family and no line seeded, the whole-taxonomy enumerator put its memory.copy.capacity lead exactly on curl's SOCKS5 hostname memcpy at socks.c:907 -- the sink.
That is the shape of the failure. The rest of this case file follows the evidence behind it.
What was known.
What Lachesis established.
Known before Lachesis ran
The CVE and vulnerable release were selected from public history. We are not claiming novel discovery.
- CVE
- CVE-2023-38545
- Vulnerable target
- curl-8_3_0 · vulnerable
- Prior knowledge
- CVE-2023-38545 · curl-8_3_0 is vulnerable
Independent re-detection
The experiment graph was built around the vulnerable release, enriched (pass2 dataflow + atropos bind + pass3 semantic), then enumerated BLIND over the whole constructor registry (no family hard-coded, no target line seeded). The lead below is the class-matched candidate the enumerator surfaced on its own; the provenance and body reads are the tool's own follow-up operations. Prose in `adjudication`/`trace` is MY reading of the verbatim source + official fix, clearly separated from tool output.
- Seeded inputs
- None
- Run timestamp
- 2026-08-29T00:00:00Z
- Evidence artifact
- cve-2023-38545.kuzu (built from the vulnerable release, enriched pass2+pass3; graph + sidecars deleted after capture)
The commands and outputs below come from this recorded Lachesis run.
What Lachesis reconstructed.
One historical repository. Four captured queries. A complete source-to-sink argument.
Lachesis follows the same evidence path through unfamiliar repositories.
Here is how the path becomes visible.
These are the recorded questions Lachesis asked of the historical vulnerable code, followed by the raw result and source location each query returned.
Captured runA real replay of Lachesis over the graph we built for this case. Every `output` below is verbatim captured tool text; the graph was built bounded (hard memory/time cap) and released immediately after capture, so nothing accumulates.
Load the graph and list every bug family
Load the graph built from the vulnerable release and list every bug family the blind enumerator knows -- no family is pre-selected.
{"move": "load_graph", "graph": "~/.lachesis/graphs/cve-2023-38545.kuzu", "profile": "all", "nodes": 221462}
CANDIDATE_CENSUS
move: candidate_census
taxonomy (8):
domain=lifecycle title=Resource lifecycle meaning=an operation that acquires, releases, uses, or transfers a tracked resource obligation=resource operations stay within the object's lifetime primary=True languages=['c', 'python', 'javascript', 'typescript'] enumerable=True families=[{'family': 'acquire', 'obligation': 'resource acquisition', 'constructor': 'lifecycle.acquire', 'enumerable': True}, {'family': 'release', 'obligation': 'resource release', 'constructor': 'lifecycle.release', 'enumerable': True}, {'family': 'use', 'obligation': 'tracked resource use', 'constructor': 'lifecycle.use', 'enumerable': True}, {'family': 'escape', 'obligation': 'resource ownership transfer', 'constructor': 'lifecycle.escape', 'enumerable': True}, {'family': 'leak', 'obligation': 'Allocated object remains live at an exit', 'constructor'
... [truncated]A small line with a large consequence.
the too-long check sets a LOCAL bool in the CONNECT_SOCKS_INIT state; because do_SOCKS5 runs the handshake non-blocking and re-initializes socks5_resolve_local on every invocation, the flag does not hold across the state machine, and the request-build memcpy at socks.c:907 copies hostname_len bytes with no capacity check of its own.
if(!socks5_resolve_local && hostname_len > 255) socks5_resolve_local = TRUE;
// reject the over-long name outright, as 8.4.0 does: when the name must be resolved remotely and hostname_len > 255, return CURLE_PROXY instead of proceeding, so the copy is never reached.
The original record.
Read the historical advisory and vulnerability record behind this reconstruction.