The cstruct package before 6.3.0 for OCaml mishandles indexes.

The cstruct package before 6.3.0 for OCaml mishandles indexes.

Affected: opam: cstruct

Several functions in cstruct may use wrong data, leading to unexpected exceptions and return corrupted data.

## Impact

- `Cstruct.filter_map` writes retained bytes at their original input positions, producing corrupted output when earlier bytes are dropped. - `Cstruct.tail ~rev:true` removes two bytes instead of one and raises an exception for single-byte views. - `Cstruct.cuts ~rev:true` may compare input against the wrong data, split at incorrect positions, and construct results using offsets outside the requested view. - `Cstruct.find` and `Cstruct.find_sub ~rev:true` may return slices from the wrong location when operating on non-zero-offset views.

These are a set of logical indexing and bounds-calculation errors (CWE-682), and not direct memory-safety vulnerabilities. However, affected operations may return corrupted data, raise an unexpected exception, split input incorrectly, or return bytes outside the requested Cstruct view but still within its backing buffer.

In security-sensitive parsers, this could cause validation bypasses, denial of service, or unintended disclosure of adjacent buffer contents.

## Workarounds

Users unable to upgrade cstruct should backport the corresponding source changes. There is no configuration-based mitigation since these are buggy library calls.

## References

Discovered via [Scrutineer](https://github.com/alpha-omega-security/scrutineer) and Deepseek GLM-5.3 Flash running locally.

## Timeline

- 2026-09-04: reported via GitHub to…

Affected: Ubuntu:22.04:LTS: ocaml-cstruct, Ubuntu:24.04:LTS: ocaml-cstruct, Ubuntu:26.04:LTS: ocaml-cstruct

The cstruct package before 6.3.0 for OCaml mishandles indexes.