A config that tracks dataflow to initializing a cipher with a static initialization vector.
Import path
import semmle.code.java.security.StaticInitializationVectorQueryA config that tracks dataflow to initializing a cipher with a static initialization vector.
import semmle.code.java.security.StaticInitializationVectorQuery