X Tutup
The Wayback Machine - https://web.archive.org/web/20211025232858/https://github.com/github/codeql/pull/6931
Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Data flow: Restrict derived flow summaries #6931

Open
wants to merge 5 commits into
base: main
Choose a base branch
from

Conversation

@hvitved
Copy link
Contributor

@hvitved hvitved commented Oct 21, 2021

This PR restricts how we generate derived flow summaries, to avoid spurious flow.

For derived fluent flow, this is now restricted to summaries where a parameter is returned (possibly in a (nested) field).

For derived flow through callback parameters, this is now restricted to summaries that are not themselves derived.

@hvitved hvitved force-pushed the dataflow/restrict-derived-summaries branch from b59b8bd to 4a4fd46 Oct 21, 2021
@hvitved hvitved force-pushed the dataflow/restrict-derived-summaries branch from 4a4fd46 to b25ca39 Oct 22, 2021
@hvitved hvitved marked this pull request as ready for review Oct 22, 2021
@hvitved hvitved requested review from as code owners Oct 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant
X Tutup