Commits

Commit history

1. Commits on Oct 14, 2026

   • Shared: Force join order in VariableCapture

     asgerf

     committed
     d0a38cbView commit details

     Copy full SHA for d0a38cb

     View code at this pointBrowse repository at this point

   • unified: Add TCaptureSsaNode

     asgerf

     committed
     8e5b2c6View commit details

     Copy full SHA for 8e5b2c6

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

   • ssa: Expose new consistency check from VariableCapture.qll

     asgerf

     committed
     b1b2b20View commit details

     Copy full SHA for b1b2b20

     View code at this pointBrowse repository at this point
3. Commits on Sep 1, 2026

   • FlowSummaryImpl: Model more source/sink steps as jump steps

     hvitved

     committed
     6608984View commit details

     Copy full SHA for 6608984

     View code at this pointBrowse repository at this point

   • FlowSummaryImpl: Align source/sink/barrier prioriterization with that for summaries

     hvitved

     committed
     872aabcView commit details

     Copy full SHA for 872aabc

     View code at this pointBrowse repository at this point
4. Commits on Aug 21, 2026

   • Potential fix for pull request finding

     Show description for dfe567a
     

     hvitved

     and

     Copilot

     authored
     dfe567aView commit details

     Copy full SHA for dfe567a

     View code at this pointBrowse repository at this point

   • Data flow: Track access path lengths in stages 3 and 4

     hvitved

     committed
     0d8e951View commit details

     Copy full SHA for 0d8e951

     View code at this pointBrowse repository at this point
5. Commits on Aug 14, 2026

   • Address review comments

     hvitved

     committed
     4fda454View commit details

     Copy full SHA for 4fda454

     View code at this pointBrowse repository at this point

   • FlowSummaryImpl: Fix CP

     hvitved

     committed
     163e3caView commit details

     Copy full SHA for 163e3ca

     View code at this pointBrowse repository at this point

   • FlowSummaryImpl: Embed AST nodes in source/sink summary nodes for better flow paths

     hvitved

     committed
     d4cefadView commit details

     Copy full SHA for d4cefad

     View code at this pointBrowse repository at this point

   • FlowSummaryImpl: Introduce `Make2` parameterization

     hvitved

     committed
     7e1f7edView commit details

     Copy full SHA for 7e1f7ed

     View code at this pointBrowse repository at this point
6. Commits on Aug 13, 2026

   • Data flow: Remove unused variable

     hvitved

     committed
     aa48658View commit details

     Copy full SHA for aa48658

     View code at this pointBrowse repository at this point

   • Update shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

     Show description for ccbab33
     

     hvitved

     and

     aschackmull

     authored
     ccbab33View commit details

     Copy full SHA for ccbab33

     View code at this pointBrowse repository at this point
7. Commits on Aug 12, 2026

   • Data flow: Earlier pruning based on `accessPathLimit`

     hvitved

     committed
     6b3afeeView commit details

     Copy full SHA for 6b3afee

     View code at this pointBrowse repository at this point
8. Commits on Jun 26, 2026

   • Shared: Fix grammar.

     MathiasVP

     committed
     caef09bView commit details

     Copy full SHA for caef09b

     View code at this pointBrowse repository at this point
9. Commits on Jun 25, 2026

   • Shared: Remove useless existential.

     MathiasVP

     committed
     84a3435View commit details

     Copy full SHA for 84a3435

     View code at this pointBrowse repository at this point
10. Commits on Jun 23, 2026

    • Shared: Support "reverse flow" summaries. That is, summaries starting from the return value of a call.

      MathiasVP

      committed
      bb2ec12View commit details

      Copy full SHA for bb2ec12

      View code at this pointBrowse repository at this point
11. Commits on Apr 23, 2026

    • Shared: Remove deprecated code

      hvitved

      committed
      90ae086View commit details

      Copy full SHA for 90ae086

      View code at this pointBrowse repository at this point
12. Commits on Apr 14, 2026

    • Merge pull request #21584 from owen-mc/shared/update-mad-comments

      Show description for 7458674
      owen-mc

      authored
      7458674View commit details

      Copy full SHA for 7458674

      View code at this pointBrowse repository at this point
13. Commits on Apr 9, 2026

    • Merge pull request #21592 from hvitved/dataflow/source-call-context-type-flow

      Show description for 33cc887
      hvitved

      authored
      33cc887View commit details

      Copy full SHA for 33cc887

      View code at this pointBrowse repository at this point

    • Fix CP in `typeFlowParamType`

      Show description for d704b75
      hvitved

      committed
      d704b75View commit details

      Copy full SHA for d704b75

      View code at this pointBrowse repository at this point
14. Commits on Apr 7, 2026

    • Shared: Respond to review comments.

      MathiasVP

      committed
      e06294bView commit details

      Copy full SHA for e06294b

      View code at this pointBrowse repository at this point

    • Address review comments

      hvitved

      committed
      0d4524fView commit details

      Copy full SHA for 0d4524f

      View code at this pointBrowse repository at this point

    • Data flow: Add hook for preventing lambda dispatch in source call contexts

      hvitved

      committed
      1e1a873View commit details

      Copy full SHA for 1e1a873

      View code at this pointBrowse repository at this point
15. Commits on Apr 2, 2026

    • Shared: Also expose dataflow stage 1's forward flow predicate.

      MathiasVP

      committed
      4d8b782View commit details

      Copy full SHA for 4d8b782

      View code at this pointBrowse repository at this point
16. Commits on Mar 27, 2026

    • Replace `branch` with `acceptingValue`

      owen-mc

      committed
      37aac05View commit details

      Copy full SHA for 37aac05

      View code at this pointBrowse repository at this point

    • Replace `acceptingvalue` with `acceptingValue`

      owen-mc

      committed
      a7fdc4bView commit details

      Copy full SHA for a7fdc4b

      View code at this pointBrowse repository at this point
17. Commits on Mar 20, 2026

    • Add `FlowBarrierGuard` to FlowBarrier.qll

      owen-mc

      committed
      7d65bacView commit details

      Copy full SHA for 7d65bac

      View code at this pointBrowse repository at this point

    • Shared: Add `barrierElement` in FlowSummaryImpl.qll

      owen-mc

      committed
      f455054View commit details

      Copy full SHA for f455054

      View code at this pointBrowse repository at this point
18. Commits on Mar 4, 2026

    • Address review comments

      hvitved

      committed
      db491fcView commit details

      Copy full SHA for db491fc

      View code at this pointBrowse repository at this point

    • Data flow: Add `FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext)` flow feature

      hvitved

      committed
      189c160View commit details

      Copy full SHA for 189c160

      View code at this pointBrowse repository at this point
19. 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
20. 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
21. 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