JavaScript: Avoid duplicate source/sink nodes due to flow labels.#2201

Merged

semmle-qlci merged 11 commits intogithub:masterfrom

max-schaefer:js/avoid-duplicate-source-and-sink-nodes

Oct 31, 2019

Commits on Oct 29, 2019

JavaScript: Restrict `edges` to only contain `nodes`.
Max Schaefer
committed
JavaScript: Make `Configuration::isLive` nullary.
Max Schaefer
committed
JavaScript: Introduce `PathNode::wraps`.
Max Schaefer
committed
JavaScript: Rename `MkPathNode` to `MkMidNode`.
Max Schaefer
committed
JavaScript: Turn `PathNode::getASuccessorInternal` and `PathNode::getAHiddenSuccessor` into top-level predicates.
Max Schaefer
committed
JavaScript: Move suppression of hidden nodes into `edges` predicate.
Max Schaefer
committed
JavaScript: Factor out `MidPathNode` into its own class.
Max Schaefer
committed
JavaScript: Collapse flow labels at start/end nodes to avoid duplication.
Max Schaefer
committed
JavaScript: Update expected output.
Max Schaefer
committed
JavaScript: Collapse edges instead of hiding nodes.
Max Schaefer
committed
JavaScript: Update expected output.
Max Schaefer
committed