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

Commit 3e78c26

committed

C#: Generalize pre-SSA library to include local-scope-like fields/properties

1 parent 2515026 commit 3e78c26Copy full SHA for 3e78c26

4 files changed

csharp/ql
- src/semmle/code/csharp
  - controlflow
    - ControlFlowGraph.qll
  - dataflow
    - SSA.qll
    - internal
      - BaseSSA.qll
- test/library-tests/dataflow/ssa
  - PreSsaConsistency.ql

Comments

(0)