Module ExposedForTestingOnly
Import path
import semmle.code.csharp.dataflow.internal.SsaImpl
Aliases
phiHasInputFromBlockExt |
NB: If this predicate is exposed, it should be cached. |
ssaDefReachesReadExt |
NB: If this predicate is exposed, it should be cached. |