feat(analyzer): Add `$*` star operator - #313

Open

misonijnik wants to merge 66 commits into

mainfrom

misonijnik/2-star

Commits on Jul 30, 2026

DeepMarkExclusion

Saloed
authored and
misonijnik
committed
6c45307
Handle deep exclusion in exclusion set

Saloed
authored and
misonijnik
committed
87f89cf
Handle deep exclusion in exclusion set

Saloed
authored and
misonijnik
committed
8ae1347
Handle deep ex in summary

Saloed
authored and
misonijnik
committed
534b86b
Tree set

Saloed
authored and
misonijnik
committed
9a7a212
Automata set

Saloed
authored and
misonijnik
committed
111a37a
Interner

Saloed
authored and
misonijnik
committed
7863a8a
Deep prepend

Saloed
authored and
misonijnik
committed
cbe070a
Cactus set

Saloed
authored and
misonijnik
committed
08225aa
ban deep ex

Saloed
authored and
misonijnik
committed
1e41084
Tree abstraction

Saloed
authored and
misonijnik
committed
81b7690
Automata abstraction

Saloed
authored and
misonijnik
committed
e92f80d
Ban deep ex

Saloed
authored and
misonijnik
committed
b4e0a4d
Ban deep ex

Saloed
authored and
misonijnik
committed
1e43db2
Delta

Saloed
authored and
misonijnik
committed
fbaa657
ban

Saloed
authored and
misonijnik
committed
ca2be51
split delta

Saloed
authored and
misonijnik
committed
1d65ca2
automata delta

Saloed
authored and
misonijnik
committed
129a19f
summary storage

Saloed
authored and
misonijnik
committed
0e2ed01
summary handler

Saloed
authored and
misonijnik
committed
5c522ba
ban

Saloed
authored and
misonijnik
committed
21412cc
minor

Saloed
authored and
misonijnik
committed
5e905d6
serializer

Saloed
authored and
misonijnik
committed
bc9f731
minor

Saloed
authored and
misonijnik
committed
0f4b9e1
exclude deep

Saloed
authored and
misonijnik
committed
8920999
ban

Saloed
authored and
misonijnik
committed
4707021
serializer

Saloed
authored and
misonijnik
committed
71d5d96
Cleaner

Saloed
authored and
misonijnik
committed
8926db1
minor

Saloed
authored and
misonijnik
committed
077707a
tests

Saloed
authored and
misonijnik
committed
2d225c9
minor

Saloed
authored and
misonijnik
committed
c7484b7
fix(dataflow): deep mark exclusions survive summary application
misonijnik
committed
89741f9
test(dataflow): isolate what decides a cleaner's field sensitivity
misonijnik
committed
3e638af
refactor(dataflow): AccessNode abstraction carries an excluded-mark annotation
misonijnik
committed
677533c
feat(dataflow): structural deep clean on the tree, with its laws pinned
misonijnik
committed
a9e3ba3
fix(dataflow): the starred clean is field-sensitive across summaries (tree)
misonijnik
committed
25cc84c
refactor(dataflow): tree merge sites assert the deep-free invariant
misonijnik
committed
5e4ded4
feat(dataflow): persist the abstraction annotation; version the summary store
misonijnik
committed
d0f4740
refactor(dataflow): prune dead annotation API; defaults no longer hide the claim
misonijnik
committed
2e6fe72
fix(dataflow): the deep-clean claim survives partitions and abstract attachments
misonijnik
committed
d767b7b
Refactor cleaner effects out of analysis exclusions
misonijnik
committed
f283fd6
Separate demand state from cleaner representations
misonijnik
committed
3526e2b
Model cleaners with position access
misonijnik
committed
b17833f
Add exhaustive cleaner DSL analysis tests
misonijnik
committed
8e62869
Add cleaner control-flow scenarios
misonijnik
committed
db454a4
test(dataflow): expose cleaner abstraction leaks
misonijnik
committed
ba2fdd0
fix(dataflow): preserve cleaner and wildcard semantics
misonijnik
committed
dffa44c
test(dataflow): reject exact sources for wildcard demand
misonijnik
committed
03e574a
test(dataflow): distinguish exact and AnyField cleanup reach
misonijnik
committed
878ec79
fix(dataflow): reject exact sources for wildcard demand
misonijnik
committed
6a9e099
fix(dataflow): separate automaton cleanup reach
misonijnik
committed
8cb6b8a
fix(dataflow): preserve cleanup reach in summaries
misonijnik
committed
6c2f09b
refactor(dataflow): separate AnyField mark exclusions
misonijnik
committed
0cec5d1
refactor(dataflow): remove Cactus exclusion wrapper
misonijnik
committed
4050182
refactor(dataflow): store cleaner state in access values
misonijnik
committed
7e22d5f
refactor(dataflow): remove stale cleaner compatibility code
misonijnik
committed
97473a0
fix(dataflow): preserve empty automata summaries
misonijnik
committed
5361e30
feat(querylang): parse the star operator and thread it through the pipeline
misonijnik
committed
43d453b
feat(querylang): starred source, sanitizer and sink semantics
misonijnik
committed
c79fc90
feat(go-querylang): star operator parity for Go, and real any-field resolution
misonijnik
committed
f556149
refactor(querylang): settle on the $*VAR star syntax
misonijnik
committed
14653b5
test(querylang): exhaustive star-operator matrix and root-cause analysis
misonijnik
committed
6df4a58
test(querylang): deep-exclusion composition samples for starred cleans
misonijnik
committed
dc0f545
test(querylang): cover starred sanitizer assignments
misonijnik
committed
0953c43
test(dataflow): align cleaner coverage with access DSL
misonijnik
committed
a555f61
test(dataflow): isolate cleaner matrix from object sink compatibility
misonijnik
committed
d5139a1