Commit history

1. Commits on Jan 29, 2026

   • Add missing QLDocs

     owen-mc

     committed
     8b936c5View commit details

     Copy full SHA for 8b936c5

     View code at this pointBrowse repository at this point
2. Commits on Jan 26, 2026

   • Shared: Shadow `hasManualModel` in `RelevantSummarizedCallable`

     hvitved

     committed
     df09f02View commit details

     Copy full SHA for df09f02

     View code at this pointBrowse repository at this point

   • Shared: Provenance-based filtering of flow summaries

     hvitved

     committed
     4ce04e4View commit details

     Copy full SHA for 4ce04e4

     View code at this pointBrowse repository at this point
3. Commits on Dec 12, 2025

   • Shared: Prefer source/sink models with manual provenance over generated

     hvitved

     committed
     c4a8e9dView commit details

     Copy full SHA for c4a8e9d

     View code at this pointBrowse repository at this point
4. Commits on Dec 11, 2025

   • Java: Add support for boolean MaD barrier guards.

     aschackmull

     committed
     8da65ecView commit details

     Copy full SHA for 8da65ec

     View code at this pointBrowse repository at this point

   • Java: Basic support for pass-through barrier models.

     aschackmull

     committed
     d24b0ffView commit details

     Copy full SHA for d24b0ff

     View code at this pointBrowse repository at this point
5. Commits on Dec 4, 2025

   • Merge pull request #20961 from aschackmull/dataflow/flowfrom

     Show description for 607ad1f
     aschackmull

     authored
     607ad1fView commit details

     Copy full SHA for 607ad1f

     View code at this pointBrowse repository at this point
6. Commits on Dec 3, 2025

   • Merge pull request #20915 from hvitved/content-flow-ap-limit

     Show description for ca9d327
     hvitved

     authored
     ca9d327View commit details

     Copy full SHA for ca9d327

     View code at this pointBrowse repository at this point

   • Dataflow: Add flowFrom predicates to mirror flowTo.

     aschackmull

     committed
     4191b18View commit details

     Copy full SHA for 4191b18

     View code at this pointBrowse repository at this point
7. Commits on Dec 1, 2025

   • Shared: Improvements to content-sensitive model generation

     hvitved

     committed
     666855dView commit details

     Copy full SHA for 666855d

     View code at this pointBrowse repository at this point
8. Commits on Nov 26, 2025

   • Add QLDoc explaining `reverseRead`

     owen-mc

     committed
     9481fc9View commit details

     Copy full SHA for 9481fc9

     View code at this pointBrowse repository at this point

   • Shared: allow exclusions to `localFlowIsLocal`

     owen-mc

     committed
     a2e6848View commit details

     Copy full SHA for a2e6848

     View code at this pointBrowse repository at this point
9. Commits on Oct 29, 2025

   • Dataflow: Minor drive-by qldoc addition.

     aschackmull

     committed
     4ea90e0View commit details

     Copy full SHA for 4ea90e0

     View code at this pointBrowse repository at this point
10. Commits on Oct 28, 2025

    • Shared: update qldoc

      d10c

      committed
      462d8c5View commit details

      Copy full SHA for 462d8c5

      View code at this pointBrowse repository at this point
11. Commits on Oct 20, 2025

    • Data flow: Add various debug predicates

      hvitved

      committed
      f71cfacView commit details

      Copy full SHA for f71cfac

      View code at this pointBrowse repository at this point
12. Commits on Oct 7, 2025

    • DataFlow: Adress comments on overlay informed dataflow

      alexet

      committed
      193cd46View commit details

      Copy full SHA for 193cd46

      View code at this pointBrowse repository at this point

    • Daatflow: Fix bug

      alexet

      committed
      7a8d239View commit details

      Copy full SHA for 7a8d239

      View code at this pointBrowse repository at this point

    • DataFlow: Add code for merging base with overlay.

      alexet

      committed
      3c110f2View commit details

      Copy full SHA for 3c110f2

      View code at this pointBrowse repository at this point

    • DataFlow: Add code to do overlay informed dataflow.

      alexet

      committed
      c49e2abView commit details

      Copy full SHA for c49e2ab

      View code at this pointBrowse repository at this point

    • DataFlow: Rearrange files to group the parts that can be shared with overlay aware.

      alexet

      committed
      8c02130View commit details

      Copy full SHA for 8c02130

      View code at this pointBrowse repository at this point
13. Commits on Sep 22, 2025

    • Rust: Ensure singleton

      paldepind

      committed
      45b84ffView commit details

      Copy full SHA for 45b84ff

      View code at this pointBrowse repository at this point

    • Shared: Pass SummaryComponentStack to isSource and getSourceType

      paldepind

      committed
      265e8b3View commit details

      Copy full SHA for 265e8b3

      View code at this pointBrowse repository at this point
14. Commits on Sep 11, 2025

    • DataFlow: Permit local flow between post-update nodes

      asgerf

      committed
      5113087View commit details

      Copy full SHA for 5113087

      View code at this pointBrowse repository at this point
15. Commits on Sep 1, 2025

    • BasicBlock: Replace entryBlock predicate with subclass.

      aschackmull

      committed
      09b2c5aView commit details

      Copy full SHA for 09b2c5a

      View code at this pointBrowse repository at this point

    • SSA/VariableCapture: Use shared BasicBlock signature.

      aschackmull

      committed
      e53b22dView commit details

      Copy full SHA for e53b22d

      View code at this pointBrowse repository at this point

    • SSA: Update input to use member predicates.

      aschackmull

      committed
      bb3abc8View commit details

      Copy full SHA for bb3abc8

      View code at this pointBrowse repository at this point
16. Commits on Jul 28, 2025

    • SSA: Update data flow integration and BarrierGuard interface to use GuardValue.

      aschackmull

      committed
      3b8234eView commit details

      Copy full SHA for 3b8234e

      View code at this pointBrowse repository at this point
17. Commits on Jun 24, 2025

    • Java: Add manual overlay annotations

      kaspersv

      committed
      b6e56f2View commit details

      Copy full SHA for b6e56f2

      View code at this pointBrowse repository at this point

    • rename overlay[caller] to overlay[caller?]

      kaspersv

      committed
      81b677aView commit details

      Copy full SHA for 81b677a

      View code at this pointBrowse repository at this point

    • Overlay: Add overlay annotations to Java & shared libraries

      kaspersv

      committed
      c207cfdView commit details

      Copy full SHA for c207cfd

      View code at this pointBrowse repository at this point
18. Commits on Jun 16, 2025

    • Shared: Make sure `getMadRepresentation` is unique

      hvitved

      committed
      41f7138View commit details

      Copy full SHA for 41f7138

      View code at this pointBrowse repository at this point
19. Commits on May 23, 2025

    • Merge pull request #19569 from MathiasVP/fix-return-value-surces-in-mad

      Show description for 0822ded
      MathiasVP

      authored
      0822dedView commit details

      Copy full SHA for 0822ded

      View code at this pointBrowse repository at this point

    • Shared: Fix QLDoc.

      MathiasVP

      committed
      92e0b64View commit details

      Copy full SHA for 92e0b64

      View code at this pointBrowse repository at this point

    • Shared: Add a 'getReturnValueKind' predicate and use it in 'interpretOutput' and 'interpretInput' to handle non-standard return value input/output. This is needed to support C++'s ReturnValue[**] n…

      Show description for 69ea19c
      MathiasVP

      committed
      69ea19cView commit details

      Copy full SHA for 69ea19c

      View code at this pointBrowse repository at this point

    • SSA: Distinguish between has and controls branch edge.

      aschackmull

      committed
      1d30103View commit details

      Copy full SHA for 1d30103

      View code at this pointBrowse repository at this point