Skip to content

Commit 9249444

Browse files
aschackmullaschackmull
authored
Merge pull request #4554 from aschackmull/dataflow/reverse-partial
Dataflow: Add support reverse partial flow exploration.
2 parents 104ff5d + 2971784 commit 9249444

File tree

27 files changed

+8171
-805
lines changed

27 files changed

+8171
-805
lines changed

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

Lines changed: 353 additions & 35 deletions
Large diffs are not rendered by default.

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

Lines changed: 353 additions & 35 deletions
Large diffs are not rendered by default.

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

Lines changed: 353 additions & 35 deletions
Large diffs are not rendered by default.

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

Lines changed: 353 additions & 35 deletions
Large diffs are not rendered by default.

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

Lines changed: 353 additions & 35 deletions
Large diffs are not rendered by default.

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

Lines changed: 353 additions & 35 deletions
Large diffs are not rendered by default.

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

Lines changed: 353 additions & 35 deletions
Large diffs are not rendered by default.

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

Lines changed: 353 additions & 35 deletions
Large diffs are not rendered by default.

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

Lines changed: 353 additions & 35 deletions
Large diffs are not rendered by default.

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

Lines changed: 353 additions & 35 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)