Skip to content

Run the test suites under sanitizers and CodeQL #148

Closed

Description

@dimensionscape

Most memory-safety and race fixes so far (int overflows, out-of-bounds reads, GC and thread races) are the kind UBSan, ASan and TSan find on their own. Add CI jobs that build the regression, std and GC stress suites with them, with the GC's conservative stack and heap scanning excluded from ASan, and enable CodeQL for the C++ sources. Fuzz the parsers (cppia loader, UTF-8 and String, Bytes, Serializer) next.

Activity

  1. added this to the 6.0.0 milestone on Oct 15, 2026
  2. dimensionscape commented on Oct 21, 2026

    @dimensionscape
    MemberAuthor

    Done: the regression, std and GC stress suites build and run under UBSan, ASan and TSan in CI (the Check with UBSan, ASan and TSan jobs), with the GC's conservative scanning excluded from ASan, and CodeQL scans the C++ sources (codeql.yml). Fuzzing the parsers, the next step listed here, is now #257.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions