Update ql/src/semmle/go/dataflow/internal/DataFlowDispatch.qll

Co-Authored-By: Sauyon Lee <sauyon@github.com>
This commit is contained in:
Max Schaefer
2020-03-25 15:04:48 +00:00
committed by GitHub
parent 6edbe74c09
commit e6bdc1809b

View File

@@ -11,7 +11,7 @@ private predicate isInterfaceCallReceiver(DataFlow::CallNode call, DataFlow::Nod
m = call.getCalleeName()
}
/** Holds if `nd` may flow into the receiver value of `call`, which is an interface value. */
/** Gets a data-flow node that may flow into the receiver value of `call`, which is an interface value. */
private DataFlow::Node getInterfaceCallReceiverSource(DataFlow::CallNode call) {
isInterfaceCallReceiver(call, result.getASuccessor*(), _)
}