JavaScript: Replace all uses of tracked nodes with type tracking.#1163

Merged

semmle-qlci merged 12 commits into

github:masterfrom

xiemaisi:js/more-type-tracking

Mar 27, 2019

Commits on Mar 25, 2019

JavaScript: Cache a bunch of flow steps to avoid recomputation.
Max Schaefer
committed
JavaScript: Cache `SourceNode::track` and `SourceNode::backtrack`.
Max Schaefer
committed
JavaScript: Refactor `Closure::isTopLevelExpr` to avoid unhelpful magic.
Max Schaefer
committed
JavaScript: Refactor AMD/CommonJS path expression analysis to avoid bad magic.
Max Schaefer
committed
JavaScript: Use type tracking to improve modelling of socket.io.
Max Schaefer
committed
JavaScript: Use type tracking instead of tracked nodes in `Express`.
Max Schaefer
committed
JavaScript: Refactor HTTP libraries to use type tracking instead of tracked nodes.
Max Schaefer
committed
JavaScript: Simplify a few `newtype`s and remove unused predicates.
Max Schaefer
committed
JavaScript: Switch from path summaries to step summaries for type tracking.
Max Schaefer
committed
JavaScript: Teach type trackers to track flow through one level of properties.
Max Schaefer
committed
JavaScript: Refactor type tracking to avoid computing very large relations.
Max Schaefer
committed

Commits on Mar 26, 2019

JavaScript: Make type tracking-related parameter and predicate names more consistent.
Max Schaefer
committed