Commits

Commit history

1. Commits on Nov 10, 2026

   • SSA: Rename Expr-named classes.

     aschackmull

     committed
     649c487View commit details

     Copy full SHA for 649c487

     View code at this pointBrowse repository at this point

   • SSA: Remove Expr from df-integration signature.

     aschackmull

     committed
     dcf80b7View commit details

     Copy full SHA for dcf80b7

     View code at this pointBrowse repository at this point

   • SSA: Replace Expr-based member predicates in df-integration.

     aschackmull

     committed
     becc2d8View commit details

     Copy full SHA for becc2d8

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

   • Dataflow: Allow a config ap limit above the language default.

     aschackmull

     committed
     d4875b8View commit details

     Copy full SHA for d4875b8

     View code at this pointBrowse repository at this point

   • Dataflow: Use the config rather than the language default ap limit.

     aschackmull

     committed
     e79ec4bView commit details

     Copy full SHA for e79ec4b

     View code at this pointBrowse repository at this point
3. Commits on Nov 4, 2026

   • SSA: Tie caching of all 3 SSA modules together.

     aschackmull

     committed
     88c24ecView commit details

     Copy full SHA for 88c24ec

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

   • Add missing QLDoc in library

     owen-mc

     committed
     2ba1367View commit details

     Copy full SHA for 2ba1367

     View code at this pointBrowse repository at this point
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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
21. 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