A composable build system for OCaml.
This report summarizes scanner evidence for ocaml/dune, a OCaml project with 1,933 GitHub stars. SynthScan examined 27,165 lines of code across 436 source files, recording 68 pattern matches distributed across 6 syntactic categories. The legacy adjusted pattern signal is 3.5 (Low pattern signal); it is not an authorship estimate.
Use the findings to ask whether maintainers can explain intent, verify dependencies, simplify unnecessary scaffolding, and focus review effort. Risk Payload v1 adds ownership, supply-chain, over-engineering, and review-effort vectors when available. These are prompts for human verification, not probabilities, security findings, or measured maintenance costs.
Use each vector to guide manual verification of the underlying findings.
Payload schema: 1.0.0 · Engine: 2.0.0 · Scoring: heuristic-density-v1 · Scan date: 2026-10-31.
Can maintainers explain intent, assumptions, and trade-offs? 67 finding(s).
Are imports declared and package/API names verified? 0 finding(s).
Are wrappers, guards, and repeated structures necessary? 1 finding(s).
Which changes need focused human review? 68 finding(s).
This chart tracks the legacy adjusted pattern score across scan runs. Changes can reflect source changes, scan coverage, or detector/scoring versions; they do not measure AI adoption or prove that a team refactored code. Compare runs only when their scoring versions are compatible. The dashed line tracks the raw pattern-hit count.
Groups findings by configured severity weight. Severity is not a confidence estimate, security rating, or proof that a package is missing. Verify imports against the project's manifests and inspect each finding in its local design context.
This horizontal bar chart shows where configured pattern scores accumulate across directories. Treat the bars as locations to inspect, not as evidence of authorship or code quality. Use the file-level findings to decide whether a directory needs a focused ownership, dependency, complexity, or review check.
The scanner identified 68 distinct pattern matches across 6 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a detector match to inspect in context. Expand any category row to inspect the individual file paths, line numbers, code snippets, and the lexical context (CODE, COMMENT, or STRING) in which each match was detected.
Reading the findings table: The Severity column indicates the configured finding weight (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — legacy comment-context matches receive a ×1.5 score weight. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier under the legacy scoring model.
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | …test-cases/include-subdirs/test3.t/include/dune_test.h | 1 | #include <caml/mlvalues.h> | COMMENT |
| LOW | …ts/test-cases/foreign-stubs/cpp-std-ocaml5.t/cpp11.cpp | 1 | #include <iostream> | COMMENT |
| LOW | otherlibs/stdune/src/wait4_stubs.c | 21 | #include <caml/unixsupport.h> | COMMENT |
| LOW | otherlibs/stdune/src/spawn_stubs.c | 1 | #define _GNU_SOURCE | COMMENT |
| LOW | otherlibs/stdune/src/spawn_stubs.c | 21 | #include <caml/unixsupport.h> | COMMENT |
| LOW | otherlibs/stdune/src/spawn_stubs.c | 181 | COMMENT | |
| LOW | otherlibs/stdune/src/spawn_stubs.c | 201 | COMMENT | |
| LOW | otherlibs/stdune/src/spawn_stubs.c | 221 | # endif | COMMENT |
| LOW | otherlibs/stdune/src/dune_clock.h | 1 | // Cross-platform realtime clock with legacy fallbacks | COMMENT |
| LOW | otherlibs/stdune/src/time_stubs.c | 1 | #if defined(__APPLE__) | COMMENT |
| LOW | otherlibs/stdune/src/signal_stubs.c | 1 | #include <caml/mlvalues.h> | COMMENT |
| LOW | otherlibs/stdune/src/copyfile_stubs.c | 1 | #include <caml/fail.h> | COMMENT |
| LOW | .github/workflows/workflow.yml | 161 | # | COMMENT |
| LOW | doc/conf.py | 1 | #!/usr/bin/env python3 | COMMENT |
| LOW | doc/conf.py | 161 | COMMENT | |
| LOW | doc/changes/scripts/build_changelog.sh | 1 | #!/usr/bin/env bash | COMMENT |
| LOW | doc/changes/scripts/build_changelog.sh | 21 | output=".changelog.new" | COMMENT |
| LOW | doc/dev/releases/backport.sh | 1 | #!/usr/bin/env bash | COMMENT |
| LOW | doc/dev/releases/backport.sh | 21 | # | COMMENT |
| LOW | doc/dev/releases/release-init.sh | 1 | #!/usr/bin/env bash | COMMENT |
| LOW | doc/dev/releases/release-cut.sh | 1 | #!/usr/bin/env bash | COMMENT |
| LOW | doc/dev/releases/release-cut.sh | 21 | # - The optional DUNE_REPO is the repository whose CI results gate the release, | COMMENT |
| LOW | doc/howto/use-multiple-build-contexts.md | 101 | #7 caml_startup runtime/startup_nat.c:144 (tsan_check.exe+0xdc29b) | COMMENT |
| LOW | doc/howto/use-multiple-build-contexts.md | 121 | #8 caml_main runtime/startup_nat.c:151 (tsan_check.exe+0xdc29b) | COMMENT |
| LOW | src/dune_trace/dune_trace_stubs.c | 1 | #include <caml/alloc.h> | COMMENT |
| LOW | src/lev/src/config.h | 1 | // TODO port support | COMMENT |
| LOW | src/lev/src/config.h | 21 | #define HAVE_SELECT 1 | COMMENT |
| LOW | src/lev/src/config.h | 41 | #define HAVE_SIGNALFD_H 1 | COMMENT |
| LOW | src/lev/src/config.h | 61 | #if __has_include(<sys/event.h>) | COMMENT |
| LOW | src/lev/src/lev_stubs.c | 1 | #include "ev.h" | COMMENT |
| LOW | src/lev/src/lev_stubs.c | 21 | #include <caml/callback.h> | COMMENT |
| LOW | src/dune_scheduler/fsevents_stubs.c | 1 | #include <caml/alloc.h> | COMMENT |
| LOW | src/dune_scheduler/fswatch_win_stubs.c | 21 | object which causes the [wait] function to return. | COMMENT |
| LOW | src/dune_scheduler/fswatch_win_stubs.c | 41 | #define caml_uerror uerror | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3_stubs.c | 1 | #include <errno.h> | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3.h | 1 | #ifndef BLAKE3_H | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3.h | 21 | # define BLAKE3_API __attribute__((visibility("default"))) | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3_dispatch.c | 1 | #include <stdbool.h> | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3_dispatch.c | 21 | #if !defined(BLAKE3_ATOMICS) | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3.c | 261 | // wouldn't be able to implement extendable output.) Note that this function is | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3.c | 281 | // With more than simd_degree chunks, we need to recurse. Start by dividing | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3.c | 361 | // The following loop never executes when MAX_SIMD_DEGREE_OR_2 is 2, because | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3.c | 441 | // If the user gives us 64 KiB, we want to parallelize over all 64 KiB at once | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3.c | 501 | uint8_t chunk_cv[32]; | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3.c | 521 | // Because we might need to break up the input to form powers of 2, or to | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3_impl.h | 1 | #ifndef BLAKE3_IMPL_H | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3_impl.h | 21 | ROOT = 1 << 3, | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3_impl.h | 41 | #if (defined(__x86_64__) || defined(_M_X64)) && !defined(_M_ARM64EC) | COMMENT |
| LOW | src/ocaml-blake3-mini/blake3_impl.h | 61 | #if !defined(BLAKE3_USE_NEON) | COMMENT |
| LOW | src/dune_pkg/md5_stubs.c | 1 | #define CAML_INTERNALS // needed to access md5.h functions | COMMENT |
| LOW | src/rpc/csexp_rpc_stubs.c | 1 | #include <caml/alloc.h> | COMMENT |
| LOW | src/rpc/csexp_rpc_stubs.c | 41 | #define SYS___pthread_chdir 348 | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | test/blackbox-tests/test-cases/pkg/ocamllsp/helpers.sh | 3 | # Create a dune-workspace file with mock repos set up for the main | COMMENT |
| MEDIUM | test/blackbox-tests/test-cases/pkg/ocamllsp/helpers.sh | 9 | # Create a fake ocaml-lsp-server package containing an executable that | COMMENT |
| MEDIUM | test/blackbox-tests/test-cases/pkg/merlin/helpers.sh | 3 | # Create a dune-workspace file with mock repos configured for the main | COMMENT |
| MEDIUM | test/blackbox-tests/test-cases/pkg/merlin/helpers.sh | 9 | # Create a fake merlin package containing an executable that | COMMENT |
| MEDIUM | test/blackbox-tests/test-cases/pkg/odoc/helpers.sh | 3 | # Create a dune-workspace file with mock repos set up for the main | COMMENT |
| MEDIUM | test/blackbox-tests/test-cases/pkg/odoc/helpers.sh | 9 | # Create a fake odoc package containing an executable that | COMMENT |
| MEDIUM | .github/workflows/workflow.yml | 1 | # This file is auto-generated. Edit workflow.yml.in instead | COMMENT |
| MEDIUM | .github/workflows/bench.yml | 1 | # This file is auto-generated. Edit bench.yml.in instead | COMMENT |
| MEDIUM | doc/conf.py | 7 | # This file is execfile()d with the current directory set to its | COMMENT |
| MEDIUM | doc/changes/scripts/build_changelog.sh | 97 | # Create the output file | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | doc/dev/releases/backport.sh | 8 | # Usage: | COMMENT |
| LOW | doc/dev/releases/release-init.sh | 8 | # Usage: | COMMENT |
| LOW | doc/dev/releases/release-cut.sh | 8 | # Usage: | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | .github/workflows/revdeps-release-coverage.yml | 45 | # robust tests we want to run | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | doc/changes/scripts/build_changelog.sh | 33 | # ------------------- | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | doc/dev/releases/release-cut.sh | 33 | # Set DUNE_REMOTE to the matching dune fork remote so the release branch and | COMMENT |