[Memory Safety] Memory Safety Analysis — 2026-06-01 — Build Failure (dl_util.cpp compile error)

[github-actions[bot]]

Date: 2026-06-01
Commit: ebdf031 (ebdf031c8fe6a87c2beec877bd9ef4def0dbfc98) on branch master
Commit message: ensure engine is datalog for dl_table and dl_util tests
Triggered by: schedule (Memory Safety Analysis run #26729459203)
Report run: #26729459203

---

Executive Summary

⚠️ Both ASan and UBSan builds failed due to a compile error. No sanitizer tests could run; no sanitizer findings were produced.

Category	ASan	UBSan	Total
Build failed — tests skipped	—	—	—
Total	0	0	0

Trend

• New findings since last run: 0 (build failed; no test execution)
• Resolved since last run: 0
• Unchanged: 0
• Last clean run (2026-05-25, commit 24bb93c): 0 findings
• Run before that (2026-05-18, commit bed73a3): 0 findings

⚠️ Build Failure (Action Required)

Both the ASan Build & Test and UBSan Build & Test jobs failed at the ninja build step when compiling test sources.

Root cause — compile error in src/test/dl_util.cpp:

/home/runner/work/z3/z3/src/test/dl_util.cpp:52:5: error: use of undeclared identifier 'gparams'; did you mean 'params'?
/home/runner/work/z3/z3/src/test/dl_util.cpp:52:5: error: incomplete type 'params' named in nested name specifier
2 errors generated.

This error was introduced by the commit being analyzed (ebdf031), which was intended to "ensure engine is datalog for dl_table and dl_util tests". The fix appears to have removed or not included the gparams header/namespace needed by dl_util.cpp:52.

Failed jobs:

• ASan Build & Test — failed at step 6/23 "Build Z3 with ASan"
• UBSan Build & Test — failed at step 6/23 "Build Z3 with UBSan"

ASan Findings

No ASan findings — build failed before tests could run. The asan-reports artifact (173 bytes) contains only a summary.md with "No ASan errors detected." because no test execution occurred.

UBSan Findings

No UBSan findings — build failed before tests could run. The ubsan-reports artifact (174 bytes) contains only a summary.md with "No UBSan errors detected." because no test execution occurred.

Top Affected Files

File	Issue
src/test/dl_util.cpp	Build error: undeclared identifier gparams at line 52

Recommendations

1. Fix the compile error in src/test/dl_util.cpp:52 — the identifier gparams is undeclared after the recent commit. Add the required #include for gparams or correct the namespace reference.
2. Re-run the Memory Safety Analysis after the build is fixed to obtain valid sanitizer results.
3. Previous clean runs (2026-05-18, 2026-05-25) showed zero sanitizer findings, so there is no known backlog of memory safety issues.

Raw Data

{
  "run_id": 26729459203,
  "date": "2026-06-01",
  "commit_sha": "ebdf031c8fe6a87c2beec877bd9ef4def0dbfc98",
  "commit_message": "ensure engine is datalog for dl_table and dl_util tests",
  "branch": "master",
  "trigger": "schedule",
  "asan_build_status": "failure",
  "ubsan_build_status": "failure",
  "asan_artifact_bytes": 173,
  "ubsan_artifact_bytes": 174,
  "build_failure_file": "src/test/dl_util.cpp",
  "build_failure_line": 52,
  "build_failure_error": "use of undeclared identifier 'gparams'",
  "total_findings": 0,
  "previous_run": {
    "run_id": 26377480938,
    "date": "2026-05-25",
    "commit_sha": "24bb93c3e4bd8b4a443be0b93f10084f9215ea55",
    "total_findings": 0,
    "conclusion": "success"
  }
}

Warning

Firewall blocked 1 domain

The following domain was blocked by the firewall during workflow execution:

• productionresultssa5.blob.core.windows.net

To allow these domains, add them to the network.allowed list in your workflow frontmatter:

network:
  allowed:
    - defaults
    - "productionresultssa5.blob.core.windows.net"

See Network Configuration for more information.

Generated by Memory Safety Analysis Report Generator · sonnet46 1.5M · ◷

• expires on Jun 8, 2026, 1:18 AM UTC

[github-actions[bot]]

This discussion was automatically closed because it expired on 2026-06-08T01:18:50.644Z.

Closed by Workflow