Repository navigation

fix(core, analyzer): Anyfield cleanup - #322

Merged

Saloed merged 27 commits into

misonijnik/4-configfrom

misonijnik/4.5-anyfield-cleanup

Oct 26, 2026

Merged

fix(core, analyzer): Anyfield cleanup#322
Saloed merged 27 commits into
misonijnik/4-configfrom
misonijnik/4.5-anyfield-cleanup

Commits on Oct 25, 2026
- feat(rules): express Spring whole-object source and sink taint via the star
  misonijnik
  committed
  d6c861a
- refactor(rules): field-sensitive java.io.File model and $*VAR syntax
  misonijnik
  committed
  5dd306c
- test(querylang): coverage for the changed passthrough config entries
  misonijnik
  committed
  cfe5aaa
- test(querylang): java.nio buffer passthrough coverage before the rule-storage collapse
  misonijnik
  committed
  56fc2c9
- refactor(config): split NameClassPair name/className/nameInNamespace
  misonijnik
  committed
  d252c13
- test(e2e): behavioural coverage for the 9 rule-storage cleanup fixes
  misonijnik
  committed
  032e6c1
- fix(config): close BasicControl#getID whole-object leak (star ctrlSink)
  misonijnik
  committed
  24a1d7a
- test(phase3): probe DateFormatSymbols generic set./get. whole-object channel
  misonijnik
  committed
  30a0685
- fix(config): close DateFormatSymbols set./get. whole-object leak
  misonijnik
  committed
  5558090
- test(config): pin taint isolation for 8 more split bean classes
  misonijnik
  committed
  311a448
- test(config): reframe ScriptContext key-insensitivity as accepted, close remaining gaps
  misonijnik
  committed
  7e579ba
- test(querylang): pin that a starred source reaches a field-sensitive external getter
  misonijnik
  committed
  1c4834c
- fix(analyzer): Field based default get
  
  Saloed
  authored and
  misonijnik
  committed
  9a9540d
- refactor(dataflow): drop the <rule-storage> unroll exception
  misonijnik
  committed
  35dace6
- fix(dataflow): apply the default get model only when no rule matched
  misonijnik
  committed
  17b6bec
- refactor(dataflow): delete the String bytes clean special case
  misonijnik
  committed
  7c2d829
- fix(querylang): honour focus-metavariable on sanitizers
  misonijnik
  committed
  8d6f4b0
- fix(dataflow): answer the field-unfold request on fact-to-fact edges
  misonijnik
  committed
  17264fc
- refactor(dataflow): delete the array-element mechanism
  misonijnik
  committed
  86589ce
- test(dataflow): pin that only the star gives element taint
  misonijnik
  committed
  b0d205d
- test(dataflow): cover interprocedural any-field unfolding
  
  Saloed
  authored and
  misonijnik
  committed
  28a9869
- reduce mark request handling workload
  
  Saloed
  authored and
  misonijnik
  committed
  3d9a948
- reduce mark request handling workload 2.0
  
  Saloed
  authored and
  misonijnik
  committed
  21cf902
- reduce mark request handling workload 3.0
  
  Saloed
  authored and
  misonijnik
  committed
  11e0558
- Fix exclusion
  
  Saloed
  authored and
  misonijnik
  committed
  15192f6
- refactor(dataflow): hold the unfold demand per analysed method
  
  authored and
  misonijnik
  committed
  58c7ff5
- Align Phase3 fixtures with field and array taint
  misonijnik
  committed
  1296a8e

Commits

Commits on Oct 25, 2026