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

Skip to content

Commit 21887d7

Browse files
hvitvedhvitved
committed
C#: Refactor SSA liveness logic
Simplify liveness analysis by avoiding the two extra copies of `liveAtRank()` (and other auxiliary predicates) for fields/captured variables analysis.
1 parent b38effd commit 21887d7

1 file changed

Lines changed: 135 additions & 177 deletions

File tree

  • csharp/ql/src/semmle/code/csharp/dataflow

0 commit comments

Comments
 (0)