Holds if data can flow from source
to sink
with ComputationallyExpensiveHashFunction::Flow
.
Import path
import semmle.python.security.dataflow.WeakSensitiveDataHashingQuery
predicate computationallyExpensiveHashFunctionFlowPath(PathNode source, PathNode sink)