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. |