Repository navigation

Unified: flow summaries - #22809

Draft

asgerf wants to merge 51 commits into

github:mainfrom

asgerf:unified/flow-summaries

Draft

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

Commits on Oct 9, 2026
- unified: Add some tests with captured vars
  asgerf
  committed
  5971591
- unified: Split Node into "stage 1" and "final stage"
  asgerf
  committed
  e740d30
- unified: Factor out LocalVariableRefNode
  asgerf
  committed
  90e6dee
- unified: Add canonical callable node
  asgerf
  committed
  9bcca40
- unified: Exclude function types from DataFlowCallable
  asgerf
  committed
  e81b947
- unified: Function declaration names belong to the outer scope
  asgerf
  committed
  139b30c
- unified: Instantiate capture lib and enable consistency queries
  asgerf
  committed
  c5c2a69
- unified: Add Stage2Node
  asgerf
  committed
  a4d8732
- unified: Use local data flow for alias detection
  asgerf
  committed
  f4925db
- unified: Add TCaptureSsaNode
  asgerf
  committed
  967a078
- unified: Add callee param/arg position
  asgerf
  committed
  0584b7d
- unified: Callee always has a post-update
  asgerf
  committed
  c9b1e0a
- unified: Generalize receiver nodes to implicit arg/param nodes
  asgerf
  committed
  955cbb5
- unified: Add convenience getters
  asgerf
  committed
  dacf690
- unified: Mapping capture nodes to data flow nodes
  asgerf
  committed
  128084d
- unified: Add CapturedVariable content
  asgerf
  committed
  e08ec61
- unified: Add CaptureSsa steps and post-updates
  asgerf
  committed
  47afdee
- unified: Update debug graph
  asgerf
  committed
  cfa7ec0
- unified: Add lambda flow
  asgerf
  committed
  fefa31f
- unified: Add some tests with local function declarations
  asgerf
  committed
  2602940
- unified: Add test with local function used before its declaration
  asgerf
  committed
  29d4083
- unified: Hoist local functions
  asgerf
  committed
  e5ffce0
- unified: Add tests with capture declarations
  asgerf
  committed
  9aa5698
- unified: Desugar capture declaration list
  asgerf
  committed
  5992bd0
- unified: Update test case
  asgerf
  committed
  e3a42fa
- unified: Fix scoping for capture declarations
  asgerf
  committed
  a5c75e2
- unified: Simplify with getParentIndex
  asgerf
  committed
  9280533
- Shared: Force join order in VariableCapture
  asgerf
  committed
  0076a21
- unified: Remove blank lines from expected file
  asgerf
  committed
  f61479b
- unified: model "weak" operator
  asgerf
  committed
  1771600
- unified: Add flow through 'unowned'
  asgerf
  committed
  25a57b3
- unified: Auto-format self_access.swift
  asgerf
  committed
  b9910e3
- unified: Fix variable not being used in all disjuncts
  asgerf
  committed
  bf77a42
Commits on Oct 12, 2026
- unified: Minimal flow-summary test
  asgerf
  committed
  5fc88cc
- unified: Frist implementation
  asgerf
  committed
  f83591c
- unified: Add debugSummarizedCallable.ql
  asgerf
  committed
  44d9883
- unified: Use EmptyLocation for summary elements
  asgerf
  committed
  822d070
- unified: Move isReturnNode into predicate
  asgerf
  committed
  0b579ec
- unified: Move isOutNode into predicate
  asgerf
  committed
  80f3790
- unified: More cases
  asgerf
  committed
  cf3cc29
- unified: Update test output
  asgerf
  committed
  cdd20b6
- unified: Update path injection output
  asgerf
  committed
  08b8e94
- unified: Mark alerts that have moved
  asgerf
  committed
  72420b6
- fixup! Move test model into test case
  asgerf
  committed
  9dec99a
- fixup! rename test.yml -> test.ext.yml
  asgerf
  committed
  004c709
- unified: More tests
  asgerf
  committed
  2723c80
- unified: Regression test for names only mentioned in MaD
  asgerf
  committed
  e46adca
- fixup! Line in test case
  asgerf
  committed
  9af1095
- unified: Fix for members only appearing in MaD
  asgerf
  committed
  7a82544
- unified: Add callback tests
  asgerf
  committed
  379f56c
- unified: Add test with taint summary
  asgerf
  committed
  161f843

Commits

Commits on Oct 9, 2026

Commits on Oct 12, 2026