diff --git a/javascript/ql/lib/semmle/javascript/Promises.qll b/javascript/ql/lib/semmle/javascript/Promises.qll index f34885644e8..6cab90cea14 100644 --- a/javascript/ql/lib/semmle/javascript/Promises.qll +++ b/javascript/ql/lib/semmle/javascript/Promises.qll @@ -183,19 +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$" } - - /** A property set containing the pseudo-properites of a promise object. */ - class PromiseProps extends DataFlow::PropertySet { - PromiseProps() { this = "PromiseProps" } - - override string getAProperty() { result = [valueProp(), errorProp()] } - } + string errorProp() { none() } } /** diff --git a/javascript/ql/lib/semmle/javascript/dataflow/Configuration.qll b/javascript/ql/lib/semmle/javascript/dataflow/Configuration.qll index 19153304811..c9985664c6e 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`