From 82cf53897fc3c6d9c17b8bfb42b209faee217f96 Mon Sep 17 00:00:00 2001 From: Erik Krogh Kristensen Date: Fri, 5 Jun 2020 11:35:39 +0200 Subject: [PATCH] TypeOfCheck -> TypeOfUndefinedSanitizer Co-authored-by: Asger F --- .../ql/src/semmle/javascript/dataflow/TaintTracking.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/javascript/ql/src/semmle/javascript/dataflow/TaintTracking.qll b/javascript/ql/src/semmle/javascript/dataflow/TaintTracking.qll index 80d50b228af..e3621c58a0d 100644 --- a/javascript/ql/src/semmle/javascript/dataflow/TaintTracking.qll +++ b/javascript/ql/src/semmle/javascript/dataflow/TaintTracking.qll @@ -828,11 +828,11 @@ module TaintTracking { } /** A check of the form `type x === "undefined"`, which sanitized `x` in its "then" branch. */ - class TypeOfCheck extends AdditionalSanitizerGuardNode, DataFlow::ValueNode { + class TypeOfUndefinedSanitizer extends AdditionalSanitizerGuardNode, DataFlow::ValueNode { Expr x; override EqualityTest astNode; - TypeOfCheck() { + TypeOfUndefinedSanitizer() { exists(StringLiteral str, TypeofExpr typeof | astNode.hasOperands(str, typeof) | str.getValue() = "undefined" and typeof.getOperand() = x