hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 18:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #12984 from aschackmull/dataflow/instanceof-node

Browse Source 
Dataflow: Replace "extends Node" with "instanceof Node".
This commit is contained in:
Anders Schack-Mulligen
2023-05-02 13:52:33 +02:00
committed by GitHub
parent 0ce27d13a7 ca09649679
commit 353d5f82a6
12 changed files with 364 additions and 44 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/src/utils/modelgenerator/internal/CaptureModels.qll
View File

@@ -178,7 +178,7 @@ string captureThroughFlow(DataFlowTargetApi api) {
string output
|
ThroughFlow::flow(p, returnNodeExt) and
returnNodeExt.getEnclosingCallable() = api and
returnNodeExt.(DataFlow::Node).getEnclosingCallable() = api and
input = parameterNodeAsInput(p) and
output = returnNodeAsOutput(returnNodeExt) and
input != output and

2
java/ql/src/utils/modelgenerator/internal/CaptureModelsSpecific.qll
View File

@@ -184,7 +184,7 @@ string returnNodeAsOutput(DataFlowImplCommon::ReturnNodeExt node) {
exists(int pos |
pos = node.getKind().(DataFlowImplCommon::ParamUpdateReturnKind).getPosition()
|
result = parameterAccess(node.getEnclosingCallable().getParameter(pos))
result = parameterAccess(node.(DataFlow::Node).getEnclosingCallable().getParameter(pos))
or
result = qualifierString() and pos = -1
)