Repository navigation

Unified: Data flow through enum constructors and operators - #22751

Open

asgerf wants to merge 18 commits into

github:mainfrom

asgerf:unified/more-data-flow

Commits on Oct 8, 2026
- unified: Add test with flow through enums
  asgerf
  committed
  dcdf0a0
- unified: Support flow through enum constructors
  asgerf
  committed
  7aae4bc
- unified: Model postfix "!" as a read step
  asgerf
  committed
  ce622db
- unified: Model more unary and cast operators
  asgerf
  committed
  a58747a
- unified: Add basic flow through arrays
  asgerf
  committed
  488f131
- unified: Also treat "!" as a taint step and update test output
  asgerf
  committed
  a0c937c
- unified: Manually add one-argument version of Data.init(contentsOf:)
  asgerf
  committed
  dca1b90
- unified: Add path-injection specific step through 'path'
  asgerf
  committed
  143aef9
- unified: Dont show ExprPattern in path
  asgerf
  committed
  7c4a2e8
- unified: Improve join order
  asgerf
  committed
  61fc5fd
- unified: Record consistency errors
  asgerf
  committed
  6ab5435
- unified: Add consistency exclusion, but record the miss in a test case
  asgerf
  committed
  677f52e
- unified: Fix bug in test case
  asgerf
  committed
  c811698
- unified: Make the test case type-checkable
  asgerf
  committed
  c413773
- unified: Mention flattening behavior of 'try?'
  asgerf
  committed
  18f97f7
- unified: Add test case for one-arg Data call
  asgerf
  committed
  f1aeecb
- unified: Update test output after rebasing
  asgerf
  committed
  9211707
- unified: Fix typo
  asgerf
  committed
  303385e