Skip to content

test(core): Fix pattern-propagator to handle taint in concatenated args#260

Closed
misonijnik wants to merge 2 commits into
mainfrom
misonijnik/repros-propagator
Closed

test(core): Fix pattern-propagator to handle taint in concatenated args#260
misonijnik wants to merge 2 commits into
mainfrom
misonijnik/repros-propagator

Conversation

@misonijnik

Copy link
Copy Markdown
Member

No description provided.

misonijnik and others added 2 commits July 6, 2026 18:31
…ctor arg

Repro for the residual #2 gap behind the path-traversal FN
`new java.net.URL("file:///..." + resource)` ->
HttpResponses.staticResource(url).

taint/WrapperPropagatorRepro: a pattern-propagator `$W = new
Wrapper($SPEC)`
(from $SPEC to $W). PositiveDirect (`new Wrapper(data)`) is reported;
PositiveConcat
(`new Wrapper("prefix/" + data)`) is MISSED — the propagator does not
observe taint
when the constructor argument is a string concatenation. Same shape as
the ssrf
URL[] case that DOES work (direct var), isolating the concat as the
trigger.

TaintTest."wrapper propagator concat-arg repro" fails today
(PositiveConcat missed)
and should pass once propagators see taint through concatenated
arguments.
@Saloed Saloed force-pushed the misonijnik/repros-propagator branch from bba5b18 to b1ef3af Compare July 6, 2026 15:37
@Saloed

Saloed commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

@misonijnik This test doesn't reproduce the mentioned issue. The actual test fail reason: config disabled in tests by default

@misonijnik misonijnik closed this Jul 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants