JavaScript: Add queries and libraries for supporting flow summaries#502

Merged

semmle-qlci merged 20 commits into

github:masterfrom

xiemaisi:js/summaries

Jan 11, 2019

Commits on Jan 9, 2019

JavaScript: Add predicate `AbstractCallable.getDefinition`.
Max Schaefer
committed
JavaScript: Add predicate `DataFlow::Node.getTopLevel()`.
Max Schaefer
committed
JavaScript: Add QL library for modelling portals between npm packages.
Max Schaefer
committed
JavaScript: Allow additional sources, sinks and steps to specify flow labels.
Max Schaefer
committed
JavaScript: Add flow summary extraction queries.
Max Schaefer
committed
JavaScript: Import flow summaries from CSV data.
Max Schaefer
committed
JavaScript: Import flow summaries through external predicates.
Max Schaefer
committed
JavaScript: Allow summary details to be omitted.
Max Schaefer
committed
JavaScript: Add support for annotation comments specifying additional sources and sinks.
Max Schaefer
committed
JavaScript: Add a few examples that cause cyclic portals.
Max Schaefer
committed
JavaScript: Add guide to using summaries.
Max Schaefer
committed
JavaScript: Exclude step summary query from `flow-summaries` suite.
Max Schaefer
committed
JavaScript: Add `ImportFromCSV` to `javascript.qll`.
Max Schaefer
committed
JavaScript: Cache portal computation.
Max Schaefer
committed
JavaScript: Fold a predicate to improve performance in the presence of many configurations with many sources/sinks.
Max Schaefer
committed
JavaScript: Change encoding of member and parameter portals for readability.
Max Schaefer
committed
JavaScript: Make configuration IDs explicit in the API.
Max Schaefer
committed
Revert "JavaScript: Add `ImportFromCSV` to `javascript.qll`."
Max Schaefer
committed
JavaScript: Autoformat new libraries.
Max Schaefer
committed
JavaScript: Fix semantic merge conflict.
Max Schaefer
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

JavaScript: Add queries and libraries for supporting flow summaries#502

JavaScript: Add queries and libraries for supporting flow summaries#502
semmle-qlci merged 20 commits into
github:masterfrom
xiemaisi:js/summaries

Commits on Jan 9, 2019

JavaScript: Add predicate `AbstractCallable.getDefinition`.

JavaScript: Add predicate `DataFlow::Node.getTopLevel()`.

JavaScript: Add QL library for modelling portals between npm packages.

JavaScript: Allow additional sources, sinks and steps to specify flow labels.

JavaScript: Add flow summary extraction queries.

JavaScript: Import flow summaries from CSV data.

JavaScript: Import flow summaries through external predicates.

JavaScript: Allow summary details to be omitted.

JavaScript: Add support for annotation comments specifying additional sources and sinks.

JavaScript: Add a few examples that cause cyclic portals.

JavaScript: Add guide to using summaries.

JavaScript: Exclude step summary query from `flow-summaries` suite.

JavaScript: Add `ImportFromCSV` to `javascript.qll`.

JavaScript: Cache portal computation.

JavaScript: Fold a predicate to improve performance in the presence of many configurations with many sources/sinks.

JavaScript: Change encoding of member and parameter portals for readability.

JavaScript: Make configuration IDs explicit in the API.

Revert "JavaScript: Add `ImportFromCSV` to `javascript.qll`."

JavaScript: Autoformat new libraries.

JavaScript: Fix semantic merge conflict.