hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 20:25:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: Replace some uses AnalyzedValueNode with AnalyzedNode

Browse Source
This commit is contained in:
Asger F
2018-10-03 12:24:19 +01:00
parent e354694173
commit 3bc5e3bfdf
4 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
javascript/ql/src/semmle/javascript/StandardLibrary.qll
View File

@@ -62,9 +62,9 @@ class JsonParseCall extends MethodCallExpr {
* However, since the function could be invoked in another way, we additionally
* still infer the ordinary abstract value.
*/
private class AnalyzedThisInArrayIterationFunction extends AnalyzedValueNode, DataFlow::ThisNode {
private class AnalyzedThisInArrayIterationFunction extends AnalyzedNode, DataFlow::ThisNode {
AnalyzedValueNode thisSource;
AnalyzedNode thisSource;
AnalyzedThisInArrayIterationFunction() {
exists(DataFlow::MethodCallNode bindingCall, string name |
@@ -82,7 +82,7 @@ private class AnalyzedThisInArrayIterationFunction extends AnalyzedValueNode, Da
override AbstractValue getALocalValue() {
result = thisSource.getALocalValue() or
result = AnalyzedValueNode.super.getALocalValue()
result = AnalyzedNode.super.getALocalValue()
}
}

4
javascript/ql/src/semmle/javascript/dataflow/internal/InterProceduralTypeInference.qll
View File

@@ -10,7 +10,7 @@ import AbstractValuesImpl
/**
* Flow analysis for `this` expressions inside functions.
*/
private abstract class AnalyzedThisExpr extends DataFlow::AnalyzedValueNode, DataFlow::ThisNode {
private abstract class AnalyzedThisExpr extends DataFlow::AnalyzedNode, DataFlow::ThisNode {
DataFlow::FunctionNode binder;
AnalyzedThisExpr() {
@@ -29,7 +29,7 @@ private abstract class AnalyzedThisExpr extends DataFlow::AnalyzedValueNode, Dat
*/
private class AnalyzedThisInBoundFunction extends AnalyzedThisExpr {
AnalyzedValueNode thisSource;
AnalyzedNode thisSource;
AnalyzedThisInBoundFunction() {
exists(string name |

6
javascript/ql/src/semmle/javascript/frameworks/LodashUnderscore.qll
View File

@@ -27,9 +27,9 @@ module LodashUnderscore {
* However, since the function could be invoked in another way, we additionally
* still infer the ordinary abstract value.
*/
private class AnalyzedThisInBoundCallback extends AnalyzedValueNode, DataFlow::ThisNode {
private class AnalyzedThisInBoundCallback extends AnalyzedNode, DataFlow::ThisNode {
AnalyzedValueNode thisSource;
AnalyzedNode thisSource;
AnalyzedThisInBoundCallback() {
exists(DataFlow::CallNode bindingCall, string binderName, int callbackIndex, int contextIndex, int argumentCount |
@@ -128,7 +128,7 @@ private class AnalyzedThisInBoundCallback extends AnalyzedValueNode, DataFlow::T
override AbstractValue getALocalValue() {
result = thisSource.getALocalValue() or
result = AnalyzedValueNode.super.getALocalValue()
result = AnalyzedNode.super.getALocalValue()
}
}

6
javascript/ql/src/semmle/javascript/frameworks/React.qll
View File

@@ -515,9 +515,9 @@ private class FactoryDefinition extends ReactElementDefinition {
* However, since the function could be invoked in another way, we additionally
* still infer the ordinary abstract value.
*/
private class AnalyzedThisInBoundCallback extends AnalyzedValueNode, DataFlow::ThisNode {
private class AnalyzedThisInBoundCallback extends AnalyzedNode, DataFlow::ThisNode {
AnalyzedValueNode thisSource;
AnalyzedNode thisSource;
AnalyzedThisInBoundCallback() {
exists(DataFlow::CallNode bindingCall, string binderName |
@@ -533,7 +533,7 @@ private class AnalyzedThisInBoundCallback extends AnalyzedValueNode, DataFlow::T
override AbstractValue getALocalValue() {
result = thisSource.getALocalValue() or
result = AnalyzedValueNode.super.getALocalValue()
result = AnalyzedNode.super.getALocalValue()
}
}