Predicate StaticInitializationVectorConfig::isSource
Holds if source is a relevant data flow source.
Import path
import semmle.code.java.security.StaticInitializationVectorQueryHolds if source is a relevant data flow source.
import semmle.code.java.security.StaticInitializationVectorQuery