Repository navigation

Unified: Add flow summary support - #22809

Merged

asgerf merged 29 commits into

github:mainfrom

asgerf:unified/flow-summaries

Oct 22, 2026

Merged

Unified: Add flow summary support#22809
asgerf merged 29 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
Commits on Oct 20, 2026
- unified: Model flow through the 'inout' operator '&'
  asgerf
  committed
  6af7b65
- unified: Model postfix "!" with exprStep
  asgerf
  committed
  74c679f
- unified: Exclude summary nodes from postWithInFlowExclude
  asgerf
  committed
  1e43ad4
- unified: Add test with flow through Argument[self]
  asgerf
  committed
  a245a44
- unified: Fix MaD for Argument[self]
  asgerf
  committed
  98b4fb4
- unified: Update path injection test output
  asgerf
  committed
  81a0755
- unified: Handle TupleElement
  asgerf
  committed
  dd97587
- unified: Avoid double representatives for self
  asgerf
  committed
  b4e903f
- unified: Add regression test for cast on LHS
  asgerf
  committed
  e3a6dda
- unified: Also use exprStep for type casts
  asgerf
  committed
  17e0a9a
- unified: Detect and fix an invalid access path
  asgerf
  committed
  80ff183
Commits on Oct 21, 2026
- unified: Rename FlowSummaries -> FlowSummary.qll
  asgerf
  committed
  be58844

Commits

Commits on Oct 15, 2026

Commits on Oct 19, 2026

Commits on Oct 20, 2026

Commits on Oct 21, 2026