Skip to content

Commit d4877a9

Browse files
authored
Merge pull request github#5572 from asgerf/js/remove-flow-summary-kinds
JS: Change kind of summary-extraction queries to table
2 parents 0cc8eaf + bc5b477 commit d4877a9

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

javascript/ql/src/experimental/Summaries/ExtractFlowStepSummaries.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
* user-controlled exit node of portal `p1` to an escaping entry node of portal `p2`,
66
* and have label `lbl2` at that point. Moreover, the path from `p1` to `p2` contains
77
* no sanitizers specified by configuration `cfg`.
8-
* @kind flow-step-summary
8+
* @kind table
99
* @id js/step-summary-extraction
1010
*/
1111

javascript/ql/src/experimental/Summaries/ExtractSinkSummaries.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
* @description Extracts sink summaries, that is, tuples `(p, lbl, cfg)` representing the fact
44
* that data with flow label `lbl` may flow from a user-controlled exit node of portal
55
* `p` to a known sink for configuration `cfg`.
6-
* @kind sink-summary
6+
* @kind table
77
* @id js/sink-summary-extraction
88
*/
99

javascript/ql/src/experimental/Summaries/ExtractSourceSummaries.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
* @description Extracts source summaries, that is, tuples `(p, lbl, cfg)` representing the fact
44
* that data may flow from a known source for configuration `cfg` to an escaping entry
55
* node of portal `p`, and have flow label `lbl` at that point.
6-
* @kind source-summary
6+
* @kind table
77
* @id js/source-summary-extraction
88
*/
99

0 commit comments

Comments
 (0)