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

Update CaptureModels.qll

Browse Source
This commit is contained in:
Tom Hvitved
2022-04-22 15:49:17 +02:00
parent bc6ee10583
commit 3edc72feb6
2 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/src/utils/model-generator/internal/CaptureModels.qll
View File

@@ -130,9 +130,9 @@ private class ThroughFlowConfig extends TaintTracking::Configuration {
DataFlow::Node node1, DataFlow::FlowState state1, DataFlow::Node node2,
DataFlow::FlowState state2
) {
exists(DataFlow::Content c |
DataFlowImplCommon::storeSet(node1, c, node2, _, _) and
isRelevantContent(c) and
exists(DataFlowImplCommon::TypedContent tc |
DataFlowImplCommon::store(node1, tc, node2, _) and
isRelevantContent(tc.getContent()) and
(state1 instanceof TaintRead or state1 instanceof TaintStore) and
state2 instanceof TaintStore
)