Files

11 lines
313 B
Plaintext

import java
import utils.test.InlineFlowTest
module FieldValueConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) { source instanceof DataFlow::FieldValueNode }
predicate isSink(DataFlow::Node sink) { DefaultFlowConfig::isSink(sink) }
}
import TaintFlowTest<FieldValueConfig>