Repository navigation

Unified: flow summaries - #22809

Draft

asgerf wants to merge 25 commits into

github:mainfrom

asgerf:unified/flow-summaries

Draft

Unified: flow summaries#22809
asgerf wants to merge 25 commits into
github:mainfrom
asgerf:unified/flow-summaries

Commits on Oct 15, 2026
- unified: Minimal flow-summary test
  asgerf
  committed
  2312383
- unified: Move isReturnNode and isOutNode into predicate
  asgerf
  committed
  beadc8f
- unified: Explicitly bind the ReturnKind
  asgerf
  committed
  9bacf06
- unified: First implementation
  asgerf
  committed
  5725c0c
- unified: More cases
  asgerf
  committed
  1fdab4b
- unified: Add debugSummarizedCallable.ql
  asgerf
  committed
  a74615e
- unified: Use EmptyLocation for summary elements
  asgerf
  committed
  48825a2
- unified: Update test output
  asgerf
  committed
  c979232
- unified: Update path injection output
  asgerf
  committed
  e37077b
- unified: Mark alerts that have moved
  asgerf
  committed
  92455b7
- unified: More tests
  asgerf
  committed
  be1b295
- unified: Regression test for names only mentioned in MaD
  asgerf
  committed
  84f3ee8
- unified: Fix for members only appearing in MaD
  asgerf
  committed
  72e2f06
- unified: Add callback tests
  asgerf
  committed
  dd61a2a
- unified: Add test with taint summary
  asgerf
  committed
  a8b89e7
Commits on Oct 19, 2026
- unified: Respect bypassContentSet in more places
  asgerf
  committed
  3f6faa8
- unified: Add failing test for flow into 'inout' param
  asgerf
  committed
  bcbea15
- unified: Model flow through the 'inout' operator '&'
  asgerf
  committed
  2ca28c2
- unified: Model postfix "!" with exprMustFlow
  asgerf
  committed
  43ff5c7
- unified: Exclude summary nodes from postWithInFlowExclude
  asgerf
  committed
  90321a8
- unified: Add test with flow through Argument[self]
  asgerf
  committed
  d539a41
- unified: Fix MaD for Argument[self]
  asgerf
  committed
  e1e8652
- unified: Update path injection test output
  asgerf
  committed
  ccdc8fa
- unified: Handle TupleElement
  asgerf
  committed
  26ab8b2
- unified: Avoid double representatives for self
  asgerf
  committed
  2b34b93

Commits

Commits on Oct 15, 2026

Commits on Oct 19, 2026