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

Java/C#: Update CaptureModels.qll

Browse Source
This commit is contained in:
Tom Hvitved
2022-04-04 09:47:51 +02:00
parent 57f2a74636
commit 415a1c2107
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(DataFlowImplCommon::TypedContent tc |
DataFlowImplCommon::store(node1, tc, node2, _) and
isRelevantContent(tc.getContent()) and
exists(DataFlow::Content c |
DataFlowImplCommon::storeSet(node1, c, node2, _, _) and
isRelevantContent(c) and
(state1 instanceof TaintRead or state1 instanceof TaintStore) and
state2 instanceof TaintStore
)