Apply suggestions from code review

aschackmull · smowton · web-flow · commit 80eb0a2df680 · 2021-04-19T15:45:58.000+02:00
Co-authored-by: Chris Smowton &lt;smowton@github.com&gt;
diff --git a/java/ql/src/semmle/code/java/dataflow/FlowSummary.qll b/java/ql/src/semmle/code/java/dataflow/FlowSummary.qll
@@ -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
 }
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowUtil.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowUtil.qll
@@ -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
 }
 

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ private import internal.FlowSummaryImpl as Impl`
`7`	`7`	`private import internal.DataFlowDispatch`
`8`	`8`	`private import internal.DataFlowPrivate`
`9`	`9`
`10`		`-// import all instances below`
	`10`	`+// import all instances of SummarizedCallable below`
`11`	`11`	`private module Summaries {`
`12`	`12`	`private import semmle.code.java.dataflow.ExternalFlow`
`13`	`13`	`}`
Original file line number	Diff line number	Diff line change
`@@ -156,7 +156,7 @@ predicate simpleLocalFlowStep(Node node1, Node node2) {`
`156`	`156`	`// to B as well. As an example, this simplifies modeling of fluent methods:`
`157`	`157`	// for `StringBuilder.append(x)` with a specified value flow from qualifier to
`158`	`158`	`// return value and taint flow from argument 0 to the qualifier, then this`
`159`		`- // allows the inferral of taint flow from argument 0 to the return value.`
	`159`	`+ // allows us to infer taint flow from argument 0 to the return value.`
`160`	`160`	`node1.(SummaryNode).(PostUpdateNode).getPreUpdateNode().(ParameterNode) = node2`
`161`	`161`	`}`
`162`	`162`