Skip to content

fix: send_back grouping of send_back() in InformationFlow#197

Open
vulns-are-features-too wants to merge 1 commit into
uds-se:masterfrom
vulns-are-features-too:master
Open

fix: send_back grouping of send_back() in InformationFlow#197
vulns-are-features-too wants to merge 1 commit into
uds-se:masterfrom
vulns-are-features-too:master

Conversation

@vulns-are-features-too
Copy link
Copy Markdown

I believe the grouping is wrong, as not s.taint == 'SECRET' is unreachable if not isinstance(s, tstr).

@vulns-are-features-too vulns-are-features-too changed the title fix: not-grouping in InformationFlow fix: send_back grouping of send_back() in InformationFlow Apr 1, 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.

1 participant