diff --git a/javascript/ql/lib/semmle/javascript/Promises.qll b/javascript/ql/lib/semmle/javascript/Promises.qll index 57e07c5203e..92ef9146cdf 100644 --- a/javascript/ql/lib/semmle/javascript/Promises.qll +++ b/javascript/ql/lib/semmle/javascript/Promises.qll @@ -183,12 +183,12 @@ module Promises { /** * Gets the pseudo-field used to describe resolved values in a promise. */ - string valueProp() { result = "$PromiseResolveField$" } + string valueProp() { none() } /** * Gets the pseudo-field used to describe rejected values in a promise. */ - string errorProp() { result = "$PromiseRejectField$" } + string errorProp() { none() } } /** diff --git a/javascript/ql/lib/semmle/javascript/dataflow/Configuration.qll b/javascript/ql/lib/semmle/javascript/dataflow/Configuration.qll index 5a9b3de4a9b..bc49f39922e 100644 --- a/javascript/ql/lib/semmle/javascript/dataflow/Configuration.qll +++ b/javascript/ql/lib/semmle/javascript/dataflow/Configuration.qll @@ -756,10 +756,10 @@ private class AdditionalFlowStepAsSharedStep extends SharedFlowStep { */ module PseudoProperties { bindingset[s] - private string pseudoProperty(string s) { result = "$" + s + "$" } + private string pseudoProperty(string s) { none() } bindingset[s, v] - private string pseudoProperty(string s, string v) { result = "$" + s + "|" + v + "$" } + private string pseudoProperty(string s, string v) { none() } /** * Gets a pseudo-property for the location of elements in a `Set`