Support approximate related locations - #19943

Merged

jbj merged 11 commits into

github:mainfrom

asgerf:approximate-related-location

Jul 11, 2025

Commits on Jul 2, 2025

Shared: Factor out some helper predicates in alert filtering
asgerf
committed
d1b4172
Shared: Add approximate version of getASelected{Source,Sink}Location
asgerf
committed
8b34551
Ruby: enable for PolyReDos but document why it still doesnt work
asgerf
committed
d65da1f
Python: enable diff-informedness for poly redos using approximate related locations
asgerf
committed
a46b5f9
Java: use approximate related sink locations in polynomial redos
asgerf
committed
82d190f
Shared: Make approximate location filtering the default behaviour
asgerf
committed
4a2d795

Commits on Jul 3, 2025

Merge branch 'main' into approximate-related-location
asgerf
authored
bb45d06

Commits on Jul 9, 2025