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

Port recent data-flow improvements#32

Merged

sauyon merged 5 commits into

github:masterfrom

max-schaefer:update-data-flow

Feb 21, 2020

Commits on Feb 17, 2020

Improve data-flow performance.
Max Schaefer
committed

Commits on Feb 18, 2020

Data flow: generalize flow-through summaries.
Max Schaefer
committed

Commits on Feb 21, 2020

Improve join-order in pathStep predicate.
Max Schaefer
committed
Track simple call contexts in `nodeCand[Fwd]1`.
Max Schaefer
committed
Simplify `getACallee()`.
Max Schaefer
committed