|
3 | 3 | * cross-site scripting vulnerabilities.
|
4 | 4 | *
|
5 | 5 | * Note, for performance reasons: only import this file if
|
6 |
| - * `StoredXSS::Configuration` is needed, otherwise |
7 |
| - * `XSS::StoredXSS` should be imported instead. |
| 6 | + * `StoredXssFlow` is needed, otherwise |
| 7 | + * `XSS::StoredXss` should be imported instead. |
8 | 8 | */
|
9 | 9 |
|
10 | 10 | import codeql.ruby.AST
|
11 | 11 | import codeql.ruby.DataFlow
|
12 | 12 | import codeql.ruby.TaintTracking
|
13 | 13 |
|
14 |
| -/** Provides a taint-tracking configuration for cross-site scripting vulnerabilities. */ |
15 |
| -module StoredXss { |
| 14 | +/** |
| 15 | + * Provides a taint-tracking configuration for cross-site scripting vulnerabilities. |
| 16 | + * DEPRECATED: Use StoredXssFlow |
| 17 | + */ |
| 18 | +deprecated module StoredXss { |
16 | 19 | import XSS::StoredXss
|
17 | 20 |
|
18 | 21 | /**
|
@@ -41,20 +44,24 @@ module StoredXss {
|
41 | 44 | }
|
42 | 45 | }
|
43 | 46 |
|
44 |
| - /** |
45 |
| - * A taint-tracking configuration for reasoning about Stored XSS. |
46 |
| - */ |
47 |
| - private module Config implements DataFlow::ConfigSig { |
48 |
| - predicate isSource(DataFlow::Node source) { source instanceof Source } |
| 47 | + import TaintTracking::Global<StoredXssConfig> |
| 48 | +} |
49 | 49 |
|
50 |
| - predicate isSink(DataFlow::Node sink) { sink instanceof Sink } |
| 50 | +private module StoredXssConfig implements DataFlow::ConfigSig { |
| 51 | + private import XSS::StoredXss |
51 | 52 |
|
52 |
| - predicate isBarrier(DataFlow::Node node) { node instanceof Sanitizer } |
| 53 | + predicate isSource(DataFlow::Node source) { source instanceof Source } |
53 | 54 |
|
54 |
| - predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) { |
55 |
| - isAdditionalXssTaintStep(node1, node2) |
56 |
| - } |
57 |
| - } |
| 55 | + predicate isSink(DataFlow::Node sink) { sink instanceof Sink } |
58 | 56 |
|
59 |
| - import TaintTracking::Global<Config> |
| 57 | + predicate isBarrier(DataFlow::Node node) { node instanceof Sanitizer } |
| 58 | + |
| 59 | + predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) { |
| 60 | + isAdditionalXssTaintStep(node1, node2) |
| 61 | + } |
60 | 62 | }
|
| 63 | + |
| 64 | +/** |
| 65 | + * Taint-tracking for reasoning about Stored XSS. |
| 66 | + */ |
| 67 | +module StoredXssFlow = TaintTracking::Global<StoredXssConfig>; |
0 commit comments