From 3a6f061f697fadf0b97ef71c8b2552908096cf16 Mon Sep 17 00:00:00 2001 From: Esben Sparre Andreasen Date: Tue, 6 Oct 2020 13:12:39 +0200 Subject: [PATCH] Remove pseudo-properties --- javascript/ql/lib/semmle/javascript/Promises.qll | 2 +- .../ql/lib/semmle/javascript/dataflow/Configuration.qll | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/javascript/ql/lib/semmle/javascript/Promises.qll b/javascript/ql/lib/semmle/javascript/Promises.qll index f34885644e8..10ccd2795e1 100644 --- a/javascript/ql/lib/semmle/javascript/Promises.qll +++ b/javascript/ql/lib/semmle/javascript/Promises.qll @@ -183,7 +183,7 @@ 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. 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`