Unified: Basic data flow and clear-text logging query - #22560

Open

asgerf wants to merge 29 commits into

github:mainfrom

asgerf:unified/dataflow2

Commits on Sep 14, 2026

unified: Add ExprPositions
asgerf
committed
f6bd6e8
unified: Scaffold empty data flow graph with test
asgerf
committed
ed87152
unified: Add taint through +
asgerf
committed
a35466d
unified: Add basic test with tuples
asgerf
committed
75d215d
unified: Add steps for member access and tuples
asgerf
committed
a1bca71
unified: Add query for viewing data flow graph
asgerf
committed
eadbcd1
unified: Add incoming-value nodes
asgerf
committed
e8ee131
unified: CFG-insensitive variable flow
asgerf
committed
a87414c
unified: Add post-update nodes
asgerf
committed
dfd1a50
unified: Add variable-ref nodes
asgerf
committed
707238e
unified: Update debug graph
asgerf
committed
b5c2ff6
unified: Add LocalSsa
asgerf
committed
d0e5d1b
unified: Include SSA steps in debug view
asgerf
committed
e5efdbd
unified: Handle implicit 'self' references
asgerf
committed
bf3aae6
unified: Add some tests with assignment-timing
asgerf
committed
ff8e042
unified: Instantiate DataFlowConsistency
asgerf
committed
098e7e0
unified: Add flow through string interpolation
asgerf
committed
09cfe5d
unified: Add dumb version of CleartextLogging
asgerf
committed
a03cd48
unified: Copy query help from old swift
asgerf
committed
2d1a99c
Add support for AssociatedTypeDeclaration return type

asgerf
and
Copilot
authored
02564e9
Update unified/ql/src/queries/security/CWE-312/CleartextLogging.qhelp

asgerf
and
geoffw0
authored
3c332a3

Commits on Sep 15, 2026

unified: Add plugin
asgerf
committed
0b48cd4
unified: Add local SSA consistency-query
asgerf
committed
2acd6da
unified: Add sink calls without flow
asgerf
committed
6fe1db0
unified: Explain the "local" in "local SSA"
asgerf
committed
dea3219
unified: Rename to TExprPostUpdateNode for clarity
asgerf
committed
5f2b8e8
unified: Fill in nodeIsVisible and neverSkipInPathGraph
asgerf
committed
535b215
unified: Include path problem output tuples
asgerf
committed
6f0f14a
unified: Omit "unit" type from path steps
asgerf
committed
11bcf84