import java
import semmle.code.java.dataflow.ExternalFlow
import utils.test.InlineFlowTest
import DefaultFlowTest
import ModelValidation
import TaintFlow::PathGraph