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

Merge pull request #12930 from aschackmull/dataflow/split-typedcontent

Browse Source 
Dataflow: Refactor access paths to split TypedContent into an explicit pair
This commit is contained in:
Anders Schack-Mulligen
2023-05-01 14:58:15 +02:00
committed by GitHub
parent 3a8a585335 71ae0909d8
commit 6c8cb0dc5e
18 changed files with 5286 additions and 5702 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
csharp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
View File

@@ -139,9 +139,9 @@ module ThroughFlowConfig implements DataFlow::StateConfigSig {
predicate isAdditionalFlowStep(
DataFlow::Node node1, FlowState state1, DataFlow::Node node2, FlowState state2
) {
exists(DataFlowImplCommon::TypedContent tc |
DataFlowImplCommon::store(node1, tc, node2, _) and
isRelevantContent(tc.getContent()) and
exists(DataFlow::Content c |
DataFlowImplCommon::store(node1, c, node2, _, _) and
isRelevantContent(c) and
(
state1 instanceof TaintRead and state2.(TaintStore).getStep() = 1
or