Predicate ZipSlipConfig::isBarrier
Holds if data flow through node is prohibited. This completely removes
node from the data flow graph.
Import path
import semmle.code.java.security.ZipSlipQueryHolds if data flow through node is prohibited. This completely removes
node from the data flow graph.
import semmle.code.java.security.ZipSlipQuery