Apply suggestions from code review

Co-authored-by: Chris Smowton <smowton@github.com>
This commit is contained in:
Anders Schack-Mulligen
2021-04-19 15:45:58 +02:00
committed by GitHub
parent 7d84cfacef
commit 80eb0a2df6
2 changed files with 2 additions and 2 deletions

View File

@@ -7,7 +7,7 @@ private import internal.FlowSummaryImpl as Impl
private import internal.DataFlowDispatch
private import internal.DataFlowPrivate
// import all instances below
// import all instances of SummarizedCallable below
private module Summaries {
private import semmle.code.java.dataflow.ExternalFlow
}

View File

@@ -156,7 +156,7 @@ predicate simpleLocalFlowStep(Node node1, Node node2) {
// to B as well. As an example, this simplifies modeling of fluent methods:
// for `StringBuilder.append(x)` with a specified value flow from qualifier to
// return value and taint flow from argument 0 to the qualifier, then this
// allows the inferral of taint flow from argument 0 to the return value.
// allows us to infer taint flow from argument 0 to the return value.
node1.(SummaryNode).(PostUpdateNode).getPreUpdateNode().(ParameterNode) = node2
}