Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 8088032

Browse files
aschackmullaschackmull
committed
Dataflow: Sync.
1 parent b7ac329 commit 8088032

27 files changed

Lines changed: 15088 additions & 10975 deletions

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll‎

Lines changed: 656 additions & 477 deletions
Large diffs are not rendered by default.

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll‎

Lines changed: 656 additions & 477 deletions
Large diffs are not rendered by default.

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll‎

Lines changed: 656 additions & 477 deletions
Large diffs are not rendered by default.

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll‎

Lines changed: 656 additions & 477 deletions
Large diffs are not rendered by default.

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -724,7 +724,6 @@ private module Cached {
724724
Node node1, Content c, Node node2, DataFlowType contentType, DataFlowType containerType
725725
) {
726726
storeStep(node1, c, node2) and
727-
read(_, c, _) and
728727
contentType = getNodeDataFlowType(node1) and
729728
containerType = getNodeDataFlowType(node2)
730729
or

0 commit comments

Comments
 (0)