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

Skip to content

Commit d5be4d7

Browse files
aschackmullaschackmull
committed
Dataflow: Add support reverse partial flow exploration.
1 parent 82f37e9 commit d5be4d7

25 files changed

Lines changed: 7360 additions & 672 deletions

File tree

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

Lines changed: 348 additions & 32 deletions
Large diffs are not rendered by default.

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

Lines changed: 348 additions & 32 deletions
Large diffs are not rendered by default.

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

Lines changed: 348 additions & 32 deletions
Large diffs are not rendered by default.

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

Lines changed: 348 additions & 32 deletions
Large diffs are not rendered by default.

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

Lines changed: 348 additions & 32 deletions
Large diffs are not rendered by default.

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

Lines changed: 348 additions & 32 deletions
Large diffs are not rendered by default.

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

Lines changed: 348 additions & 32 deletions
Large diffs are not rendered by default.

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

Lines changed: 348 additions & 32 deletions
Large diffs are not rendered by default.

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

Lines changed: 348 additions & 32 deletions
Large diffs are not rendered by default.

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

Lines changed: 348 additions & 32 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)