Repository navigation

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

Merged

asgerf merged 22 commits into

github:mainfrom

asgerf:unified/more-data-flow

Oct 9, 2026

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
Commits on Oct 9, 2026
- unified: Remove empty DataFlowConsistency.expected
  asgerf
  committed
  cfc8be4
- unified: Factor out EnumCaseClass
  asgerf
  committed
  d04059b
- unified: Use EnumCaseConstructor in TypeInference
  asgerf
  committed
  f4d4777
- unified: Elaborate QLDoc for enum cases
  asgerf
  committed
  e103940

Navigation Menu

Repository navigation

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

Unified: Data flow through enum constructors and operators#22751
asgerf merged 22 commits into
github:mainfrom
asgerf:unified/more-data-flow

Commits on Oct 8, 2026

unified: Add test with flow through enums

unified: Support flow through enum constructors

unified: Model postfix "!" as a read step

unified: Model more unary and cast operators

unified: Add basic flow through arrays

unified: Also treat "!" as a taint step and update test output

unified: Manually add one-argument version of Data.init(contentsOf:)

unified: Add path-injection specific step through 'path'

unified: Dont show ExprPattern in path

unified: Improve join order

unified: Record consistency errors

unified: Add consistency exclusion, but record the miss in a test case

unified: Fix bug in test case

unified: Make the test case type-checkable

unified: Mention flattening behavior of 'try?'

unified: Add test case for one-arg Data call

unified: Update test output after rebasing

unified: Fix typo

Commits on Oct 9, 2026

unified: Remove empty DataFlowConsistency.expected

unified: Factor out EnumCaseClass

unified: Use EnumCaseConstructor in TypeInference

unified: Elaborate QLDoc for enum cases