Make taintStep public

This commit is contained in:
Sauyon Lee
2019-11-21 22:58:25 -08:00
parent a54d30c053
commit c0730fe4cc

View File

@@ -132,7 +132,7 @@ module TaintTracking {
/**
* Holds if taint flows from `pred` to `succ` in one step.
*/
private predicate taintStep(DataFlow::Node pred, DataFlow::Node succ) {
predicate taintStep(DataFlow::Node pred, DataFlow::Node succ) {
referenceStep(pred, succ) or
fieldReadStep(pred, succ) or
arrayStep(pred, succ) or