hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

introduce pseudoProperty helper predicates

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-04-01 14:08:56 +02:00
parent 59840149e8
commit b1bf7f9f3d
1 changed files with 14 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
javascript/ql/src/semmle/javascript/dataflow/Configuration.qll
View File

@@ -576,26 +576,32 @@ abstract class AdditionalFlowStep extends DataFlow::Node {
/**
* A collection of pseudo-properties that are used in multiple files.
*
* A pseudo-property represents the location where some value is stored in an object.
*
*
* A pseudo-property represents the location where some value is stored in an object.
*
* For use with load/store steps in `DataFlow::AdditionalFlowStep` and TypeTracking.
*/
module PseudoProperties {
bindingset[s]
private string pseudoProperty(string s) { result = "$" + s + "$" }
bindingset[s, v]
private string pseudoProperty(string s, string v) { result = "$" + s + "|" + v + "$" }
/**
* Gets a pseudo-property for the location of elements in a `Set`
*/
string setElement() { result = "$setElement$" }
string setElement() { result = pseudoProperty("setElement") }
/**
* Gets a pseudo-property for the location of elements in a JavaScript iterator.
*/
string iteratorElement() { result = "$iteratorElement$" }
string iteratorElement() { result = pseudoProperty("iteratorElement") }
/**
* Gets a pseudo-property for the location of elements in an `Array`.
*/
string arrayElement() { result = "$arrayElement$" }
string arrayElement() { result = pseudoProperty("arrayElement") }
/**
* Gets a pseudo-property for the location of elements in some array-like object. (Set, Array, or Iterator).
@@ -605,7 +611,7 @@ module PseudoProperties {
/**
* Gets a pseudo-property for the location of map values, where the key is unknown.
*/
string mapValueUnknownKey() { result = "$UnknownMapValue$" }
string mapValueUnknownKey() { result = pseudoProperty("unknownMapValue") }
/**
* Gets a pseudo-property for the location of a map value where the key is `key`.
@@ -613,7 +619,7 @@ module PseudoProperties {
*/
pragma[inline]
string mapValueKnownKey(DataFlow::Node key) {
exists(string s | key.mayHaveStringValue(s) | result = "$mapValue|" + s + "$")
result = pseudoProperty("mapValue", any(string s | key.mayHaveStringValue(s)))
}
/**