This repository was archived by the owner on Jan 5, 2023. It is now read-only.

Port recent data-flow improvements#62

Merged

max-schaefer merged 11 commits into

github:masterfrom

max-schaefer:update-data-flow

May 7, 2020

Commits on May 6, 2020

Fix performance issue in partial paths exploration.
Max Schaefer
committed
Fix bug in type pruning.
Max Schaefer
committed
Update expected output.
Max Schaefer
committed
Data flow: Refactoring + performance improvements
Max Schaefer
committed
Fix up `hasLocationInfo` predicate.
Max Schaefer
committed
Data flow: No magic in returnFlowCallableCand.
Max Schaefer
committed
Data flow: Exclude param-param flow through identical params.
Max Schaefer
committed
Revert the join order fix from https://github.com/github/codeql/pull/2872.
Max Schaefer
committed
Data flow: No more summaries
Max Schaefer
committed
Data flow: Support stores into nodes that are not `PostUpdateNode`s.
Max Schaefer
committed

Commits on May 7, 2020

Add change note.
Max Schaefer
committed