Predicate possibleLivenessCause
Compute a list of callables such that the liveness of any result
would imply the liveness of c
.
Import path
import semmle.code.java.deadcode.DeadCode
Callable possibleLivenessCause(Callable c, string reason)
Compute a list of callables such that the liveness of any result
would imply the liveness of c
.
import semmle.code.java.deadcode.DeadCode
Callable possibleLivenessCause(Callable c, string reason)