Java: Fix qldoc.

This commit is contained in:
Anders Schack-Mulligen
2020-02-17 14:44:12 +01:00
parent 85adc3be10
commit cabe627d1e

View File

@@ -389,7 +389,7 @@ private predicate argToMethodStep(Expr tracked, MethodAccess sink) {
}
/**
* Holds if `method` is a library method that return tainted data if any
* Holds if `method` is a library method that returns tainted data if any
* of its arguments are tainted.
*/
private predicate taintPreservingArgumentToMethod(Method method) {
@@ -398,7 +398,7 @@ private predicate taintPreservingArgumentToMethod(Method method) {
}
/**
* Holds if `method` is a library method that return tainted data if its
* Holds if `method` is a library method that returns tainted data if its
* `arg`th argument is tainted.
*/
private predicate taintPreservingArgumentToMethod(Method method, int arg) {