Windows Subsystem for Linux
This report summarizes scanner evidence for microsoft/WSL, a C++ project with 34,271 GitHub stars. SynthScan examined 370,314 lines of code across 1294 source files, recording 418 pattern matches distributed across 14 syntactic categories. The legacy adjusted pattern signal is 1.2 (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? 403 finding(s).
Are imports declared and package/API names verified? 8 finding(s).
Are wrappers, guards, and repeated structures necessary? 10 finding(s).
Which changes need focused human review? 418 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 418 distinct pattern matches across 14 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/linux/unit_tests/lxtlog.c | 61 | // | COMMENT |
| LOW | test/linux/unit_tests/lxtfs.c | 21 | #include <sys/inotify.h> | COMMENT |
| LOW | test/linux/unit_tests/lxtfs.c | 41 | #define FS_SECONDS_PER_DAY (86400) | COMMENT |
| LOW | test/linux/unit_tests/lxtfs.c | 61 | // | COMMENT |
| LOW | test/linux/unit_tests/lxtfs.c | 1921 | // Renaming a symlink with a trailing slash should fail with ENOTDIR. | COMMENT |
| LOW | test/linux/unit_tests/lxtfs.c | 3421 | { | COMMENT |
| LOW | test/linux/unit_tests/dev_pt_2.c | 8241 | // Ubuntu16 asynchronous pty processing needs some time to process stop. | COMMENT |
| LOW | test/linux/unit_tests/lxtutil.c | 21 | #include <sched.h> | COMMENT |
| LOW | test/linux/unit_tests/splice.c | 21 | #include <sys/wait.h> | COMMENT |
| LOW | test/linux/unit_tests/ioprio.c | 21 | COMMENT | |
| LOW | test/linux/unit_tests/ioprio.c | 41 | COMMENT | |
| LOW | test/linux/unit_tests/timer.c | 21 | #include <sys/wait.h> | COMMENT |
| LOW | test/linux/unit_tests/auxv.c | 21 | #include <unistd.h> | COMMENT |
| LOW | test/linux/unit_tests/get_set_id.c | 21 | #include <sys/syscall.h> | COMMENT |
| LOW | test/linux/unit_tests/inotify.c | 21 | #include <sys/time.h> | COMMENT |
| LOW | test/linux/unit_tests/xattr.c | 21 | #include <sys/wait.h> | COMMENT |
| LOW | test/linux/unit_tests/xattr.c | 41 | #include <sys/capability.h> | COMMENT |
| LOW | test/linux/unit_tests/pipe.c | 21 | #include <sys/ioctl.h> | COMMENT |
| LOW | test/linux/unit_tests/pipe.c | 41 | #define _4KB (4 * 1024) | COMMENT |
| LOW | test/linux/unit_tests/fork.c | 21 | #include <sys/time.h> | COMMENT |
| LOW | test/linux/unit_tests/fork.c | 41 | #endif | COMMENT |
| LOW | test/linux/unit_tests/shm.c | 21 | #include <sys/xattr.h> | COMMENT |
| LOW | test/linux/unit_tests/shm.c | 41 | COMMENT | |
| LOW | test/linux/unit_tests/shm.c | 1821 | } | COMMENT |
| LOW | test/linux/unit_tests/shm.c | 1841 | // succeed with only IPC_EXCL. | COMMENT |
| LOW | test/linux/unit_tests/timerfd.c | 21 | #include <sys/stat.h> | COMMENT |
| LOW | test/linux/unit_tests/lxtcommon.h | 21 | COMMENT | |
| LOW | test/linux/unit_tests/unittests.h | 21 | #define AUXV_TESTNAME "auxv" | COMMENT |
| LOW | test/linux/unit_tests/unittests.h | 41 | #define IOPRIO_TESTNAME "ioprio" | COMMENT |
| LOW | test/linux/unit_tests/unittests.h | 61 | #define SPLICE_TESTNAME "splice" | COMMENT |
| LOW | test/linux/unit_tests/socket_nonblock.c | 21 | #include <stdio.h> | COMMENT |
| LOW | test/linux/unit_tests/select.c | 21 | #include <sys/types.h> | COMMENT |
| LOW | test/linux/unit_tests/dev_pt_common.h | 21 | #include <sys/wait.h> | COMMENT |
| LOW | test/linux/unit_tests/random.c | 21 | #include <sys/stat.h> | COMMENT |
| LOW | test/linux/unit_tests/socket.c | 21 | #include <sys/un.h> | COMMENT |
| LOW | test/linux/unit_tests/sem.c | 21 | #include <sys/stat.h> | COMMENT |
| LOW | test/linux/unit_tests/sem.c | 41 | COMMENT | |
| LOW | test/linux/unit_tests/sem.c | 441 | // Wait for the child to exit. | COMMENT |
| LOW | test/linux/unit_tests/vnet.c | 21 | #include <sys/stat.h> | COMMENT |
| LOW | test/linux/unit_tests/vnet.c | 41 | #include <linux/rtnetlink.h> | COMMENT |
| LOW | test/linux/unit_tests/vnet.c | 1001 | // Open file descriptor of default network namespace. | COMMENT |
| LOW | test/linux/unit_tests/vnet.c | 2361 | // | COMMENT |
| LOW | test/linux/unit_tests/vnet.c | 2601 | // Open file descriptor of the new network namespace. | COMMENT |
| LOW | test/linux/unit_tests/vnet.c | 2921 | // Open file descriptor of default network namespace. | COMMENT |
| LOW | test/linux/unit_tests/lxtutil.h | 21 | COMMENT | |
| LOW | test/linux/unit_tests/lxtutil.h | 121 | void* LxtAlloc(size_t Size); | COMMENT |
| LOW | test/linux/unit_tests/lxtutil.h | 141 | #define LxtCapSet(_header, _data) (syscall(SYS_capset, _header, _data)) | COMMENT |
| LOW | test/linux/unit_tests/lxtutil.h | 161 | #define LxtShmDt(_address) syscall(SYS_shmdt, (_address)) | COMMENT |
| LOW | test/linux/unit_tests/lxtutil.h | 181 | (syscall(SYS_lsetxattr, (_path), (_name), (_buffer), (_size), (_flags))) | COMMENT |
| LOW | test/linux/unit_tests/lxtutil.h | 201 | #elif !defined(__amd64__) | COMMENT |
| LOW | test/linux/unit_tests/lxtfs.h | 21 | #define FS_9P_NAME "9p" | COMMENT |
| LOW | test/linux/unit_tests/lxtfs.h | 41 | // | COMMENT |
| LOW | test/linux/unit_tests/drvfs.c | 21 | COMMENT | |
| LOW | test/linux/unit_tests/drvfs.c | 41 | #include "lxtmount.h" | COMMENT |
| LOW | test/linux/unit_tests/drvfs.c | 61 | #define DRVFS_REPARSE_PREFIX DRVFS_PREFIX "/reparsetest" | COMMENT |
| LOW | test/linux/unit_tests/drvfs.c | 81 | #define DRVFS_HARDLINK_TEST_DIR DRVFS_PREFIX "/hardlink_test" | COMMENT |
| LOW | test/linux/unit_tests/drvfs.c | 101 | #define DRVFS_INOTIFY_FILE_1 DRVFS_INOTIFY_DIR_3 DRVFS_INOTIFY_FILE_1_NAME_ONLY | COMMENT |
| LOW | test/linux/unit_tests/drvfs.c | 821 | COMMENT | |
| LOW | test/linux/unit_tests/drvfs.c | 1201 | // the reported block size. | COMMENT |
| LOW | test/linux/unit_tests/drvfs.c | 1721 | COMMENT | |
| 307 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | src/linux/plan9/p9handler.cpp | 899 | // Step 1: Find the parent of the final item. | COMMENT |
| LOW | src/linux/plan9/p9handler.cpp | 922 | // Step 2: Find the item, unless it's an exclusive create. | COMMENT |
| LOW | src/linux/plan9/p9handler.cpp | 956 | // Step 3: Create the item if it didn't exist and the user wants to create it. | COMMENT |
| LOW | src/linux/plan9/p9handler.cpp | 1004 | // Step 4: Check the file type. | COMMENT |
| LOW⚡ | src/linux/plan9/p9handler.cpp | 1016 | // Step 5: Check for delete access. | COMMENT |
| LOW⚡ | src/linux/plan9/p9handler.cpp | 1026 | // Step 6: Check how to handle leaf symlinks. | COMMENT |
| LOW | src/linux/plan9/p9handler.cpp | 1041 | // Step 7: Open if needed. This is only needed if: | COMMENT |
| LOW | src/linux/plan9/p9handler.cpp | 1063 | // Step 8: Get the attributes and reply | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | src/linux/plan9/p9handler.cpp | 899 | // Step 1: Find the parent of the final item. | COMMENT |
| LOW | src/linux/plan9/p9handler.cpp | 922 | // Step 2: Find the item, unless it's an exclusive create. | COMMENT |
| LOW | src/linux/plan9/p9handler.cpp | 956 | // Step 3: Create the item if it didn't exist and the user wants to create it. | COMMENT |
| LOW | src/linux/plan9/p9handler.cpp | 1004 | // Step 4: Check the file type. | COMMENT |
| LOW⚡ | src/linux/plan9/p9handler.cpp | 1016 | // Step 5: Check for delete access. | COMMENT |
| LOW⚡ | src/linux/plan9/p9handler.cpp | 1026 | // Step 6: Check how to handle leaf symlinks. | COMMENT |
| LOW | src/linux/plan9/p9handler.cpp | 1041 | // Step 7: Open if needed. This is only needed if: | COMMENT |
| LOW | src/linux/plan9/p9handler.cpp | 1063 | // Step 8: Get the attributes and reply | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/devops/validate-localization.py | 146 | CODE | |
| LOW | tools/devops/validate-localization.py | 232 | CODE | |
| LOW | tools/test/loop-tests.py | 198 | CODE | |
| LOW | tools/test/loop-tests.py | 356 | CODE | |
| LOW | tools/test/gh-release-server.py | 21 | CODE | |
| LOW | tools/test/gh-release-server.py | 38 | CODE | |
| LOW | distributions/validate-modern.py | 95 | CODE | |
| LOW | distributions/validate-modern.py | 237 | CODE | |
| LOW | distributions/validate-modern.py | 307 | CODE | |
| LOW | distributions/validate-modern.py | 372 | CODE | |
| LOW | distributions/validate-modern.py | 387 | CODE | |
| LOW | distributions/validate-modern.py | 498 | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | .pipelines/build-stage.yml | 68 | # ── x64 build stage ────────────────────────────────────────────────── | COMMENT |
| MEDIUM | .pipelines/build-stage.yml | 88 | # ── arm64 build stage (runs in parallel with build_x64) ────────────── | COMMENT |
| MEDIUM | .pipelines/build-stage.yml | 148 | # ── package stage (release and nightly only) ───────────────────────── | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/devops/find-release.py | 11 | CODE | |
| LOW | tools/test/gh-release-server.py | 5 | CODE | |
| LOW | tools/test/gh-release-server.py | 9 | CODE | |
| LOW | distributions/validate-modern.py | 3 | CODE | |
| LOW | distributions/validate-modern.py | 14 | CODE | |
| LOW | distributions/validate.py | 1 | CODE | |
| LOW | distributions/validate.py | 8 | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | tools/devops/create-change.py | 41 | repo.git.push('origin', branch) | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | distributions/validate-modern.py | 367 | except KeyError: | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | test/windows/wsl/UnitTests.cpp | 1456 | // TODO: Add test coverage for the Linux => Windows code paths of $WSLENV | COMMENT |
| LOW | test/windows/wsl/InstallerTests.cpp | 481 | // TODO: Add test coverage for a more recent version of the package that doesn't support the SDK, if ever needed | COMMENT |
| LOW | test/windows/wslc/WSLCTests.cpp | 13544 | // TODO: Add test coverage for exposed UDP ports once supported. | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/test/gh-release-server.py | 34 | class ReleaseRequestHandler(SimpleHTTPRequestHandler): | CODE |
| LOW | distributions/validate-modern.py | 237 | def read_systemd_enabled_units(node, tar) -> dict: | CODE |
| LOW | distributions/validate.py | 11 | def download_and_get_manifest(url: str): | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | test/linux/unit_tests/fork.c | 427 | // Set and get the robust list. | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | distributions/validate-modern.py | 525 | except Exception as e: | CODE |
| LOW | distributions/validate-modern.py | 541 | except Exception as e: | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/devops/find-release.py | 3 | # Usage: | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/test/loop-tests.py | 76 | def update_test(self, name: str) -> None: | CODE |