Apply suggestions from code review

This commit is contained in:
Taus
2021-03-12 14:28:59 +01:00
committed by GitHub
parent ffe5d30c2b
commit c6d6d07720

View File

@@ -54,7 +54,7 @@ DataFlow::Node vulnerableHostnameRef(string hostname) {
vulnerableHostnameRef(DataFlow::TypeTracker::end(), hostname).flowsTo(result)
}
/** Gets a reference to a tuple containing a hostname as the first element, that can be used to bind to all interfaces. */
/** Gets a reference to a tuple for which the first element is a hostname that can be used to bind to all interfaces. */
private DataFlow::LocalSourceNode vulnerableAddressTuple(DataFlow::TypeTracker t, string hostname) {
t.start() and
result.asExpr() = any(Tuple tup | tup.getElt(0) = vulnerableHostnameRef(hostname).asExpr())
@@ -76,7 +76,7 @@ private predicate vulnerableAddressTuple_first_join(
DataFlow::StepSummary::step(vulnerableAddressTuple(t2, hostname), res, summary)
}
/** Gets a reference to a tuple containing a hostname as the first element, that can be used to bind to all interfaces. */
/** Gets a reference to a tuple for which the first element is a hostname that can be used to bind to all interfaces. */
DataFlow::Node vulnerableAddressTuple(string hostname) {
vulnerableAddressTuple(DataFlow::TypeTracker::end(), hostname).flowsTo(result)
}