Fix encryption sanitizer

It now discards sensitive exprs (sources) instead of sinks for better precision
This commit is contained in:
Tony Torralba
2021-09-14 12:49:38 +02:00
parent 51d2b5225e
commit d0b9920cac

View File

@@ -88,7 +88,7 @@ private class EncryptedValueFlowConfig extends DataFlow4::Configuration {
src.asExpr() instanceof EncryptedSensitiveMethodAccess
}
override predicate isSink(DataFlow::Node sink) { sink instanceof CleartextStorageSink }
override predicate isSink(DataFlow::Node sink) { sink.asExpr() instanceof SensitiveExpr }
}
/** A taint step for `EditText.toString` in Android. */