File tree Expand file tree Collapse file tree 3 files changed +6
-6
lines changed
javascript/ql/src/semmle/javascript Expand file tree Collapse file tree 3 files changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -84,7 +84,7 @@ abstract private class CollectionFlowStep extends DataFlow::AdditionalFlowStep {
84
84
}
85
85
86
86
/**
87
- * A collection of predicates and clases for type-tracking collections.
87
+ * Provides predicates and clases for type-tracking collections.
88
88
*/
89
89
module CollectionsTypeTracking {
90
90
/**
@@ -220,9 +220,9 @@ private module CollectionDataFlow {
220
220
* A call to the `set` method on a Map.
221
221
*
222
222
* If the key of the call to `set` has a known string value,
223
- * then the value will be saved into a pseudo-property corresponding to the known string value.
224
- * Otherwise the value will be saved into a pseudo-property corresponding to values with unknown keys.
225
- * The value will additionally be saved into a pseudo-property corresponding to all values.
223
+ * then the value will be stored into a pseudo-property corresponding to the known string value.
224
+ * Otherwise the value will be stored into a pseudo-property corresponding to values with unknown keys.
225
+ * The value will additionally be stored into a pseudo-property corresponding to all values.
226
226
*/
227
227
class MapSet extends CollectionFlowStep , DataFlow:: MethodCallNode {
228
228
MapSet ( ) { this .getMethodName ( ) = "set" }
Original file line number Diff line number Diff line change @@ -611,7 +611,7 @@ module PseudoProperties {
611
611
/**
612
612
* Gets a pseudo-property for the location of map values, where the key is unknown.
613
613
*/
614
- string mapValueUnknownKey ( ) { result = pseudoProperty ( "unknownMapValue " ) }
614
+ string mapValueUnknownKey ( ) { result = pseudoProperty ( "mapValueUnknownKey " ) }
615
615
616
616
/**
617
617
* Gets a pseudo-property for the location of all the values in a map.
Original file line number Diff line number Diff line change @@ -66,7 +66,7 @@ class StepSummary extends TStepSummary {
66
66
exists ( string prop | this = CopyStep ( prop ) | result = "copy " + prop )
67
67
or
68
68
exists ( string fromProp , string toProp | this = LoadStoreStep ( fromProp , toProp ) |
69
- result = "copy " + fromProp + " to " + toProp
69
+ result = "load " + fromProp + " and store to " + toProp
70
70
)
71
71
}
72
72
}
You can’t perform that action at this time.
0 commit comments