From bc5b477f79e2dd992032e973852596574b5033b2 Mon Sep 17 00:00:00 2001 From: Asger Feldthaus Date: Tue, 30 Mar 2021 21:26:58 +0100 Subject: [PATCH] JS: Change kind of summary-extraction queries to table --- .../ql/src/experimental/Summaries/ExtractFlowStepSummaries.ql | 2 +- .../ql/src/experimental/Summaries/ExtractSinkSummaries.ql | 2 +- .../ql/src/experimental/Summaries/ExtractSourceSummaries.ql | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/javascript/ql/src/experimental/Summaries/ExtractFlowStepSummaries.ql b/javascript/ql/src/experimental/Summaries/ExtractFlowStepSummaries.ql index 14f51f07646..36be3c03606 100644 --- a/javascript/ql/src/experimental/Summaries/ExtractFlowStepSummaries.ql +++ b/javascript/ql/src/experimental/Summaries/ExtractFlowStepSummaries.ql @@ -5,7 +5,7 @@ * user-controlled exit node of portal `p1` to an escaping entry node of portal `p2`, * and have label `lbl2` at that point. Moreover, the path from `p1` to `p2` contains * no sanitizers specified by configuration `cfg`. - * @kind flow-step-summary + * @kind table * @id js/step-summary-extraction */ diff --git a/javascript/ql/src/experimental/Summaries/ExtractSinkSummaries.ql b/javascript/ql/src/experimental/Summaries/ExtractSinkSummaries.ql index ddc1c950740..af998563be4 100644 --- a/javascript/ql/src/experimental/Summaries/ExtractSinkSummaries.ql +++ b/javascript/ql/src/experimental/Summaries/ExtractSinkSummaries.ql @@ -3,7 +3,7 @@ * @description Extracts sink summaries, that is, tuples `(p, lbl, cfg)` representing the fact * that data with flow label `lbl` may flow from a user-controlled exit node of portal * `p` to a known sink for configuration `cfg`. - * @kind sink-summary + * @kind table * @id js/sink-summary-extraction */ diff --git a/javascript/ql/src/experimental/Summaries/ExtractSourceSummaries.ql b/javascript/ql/src/experimental/Summaries/ExtractSourceSummaries.ql index 86741b692b8..6e0b8e1c622 100644 --- a/javascript/ql/src/experimental/Summaries/ExtractSourceSummaries.ql +++ b/javascript/ql/src/experimental/Summaries/ExtractSourceSummaries.ql @@ -3,7 +3,7 @@ * @description Extracts source summaries, that is, tuples `(p, lbl, cfg)` representing the fact * that data may flow from a known source for configuration `cfg` to an escaping entry * node of portal `p`, and have flow label `lbl` at that point. - * @kind source-summary + * @kind table * @id js/source-summary-extraction */