Update python/ql/src/semmle/python/dataflow/new/TypeTracker.qll

tausbn · RasmusWL · web-flow · commit e9cbdc4ad321 · 2021-02-18T15:53:15.000+01:00
Co-authored-by: Rasmus Wriedt Larsen &lt;rasmuswriedtlarsen@gmail.com&gt;
diff --git a/python/ql/src/semmle/python/dataflow/new/TypeTracker.qll b/python/ql/src/semmle/python/dataflow/new/TypeTracker.qll
@@ -330,8 +330,8 @@ private newtype TTypeBackTracker = MkTypeBackTracker(Boolean hasReturn, Optional
 /**
  * Summary of the steps needed to back-track a use of a value to a given dataflow node.
  *
- * This can be used to track callbacks that are passed to a certian API call, and are
- * therefore expected to called with a certain type of value.
+ * This can for example be used to track callbacks that are passed to a certain API,
+ * so we can model specific parameters of that callback as having a certain type.
  *
  * Note that type back-tracking does not provide a source/sink relation, that is,
  * it may determine that a node will be used in an API call somewhere, but it won't

Original file line number	Diff line number	Diff line change
`@@ -330,8 +330,8 @@ private newtype TTypeBackTracker = MkTypeBackTracker(Boolean hasReturn, Optional`
`330`	`330`	`/**`
`331`	`331`	`* Summary of the steps needed to back-track a use of a value to a given dataflow node.`
`332`	`332`	`*`
`333`		`- * This can be used to track callbacks that are passed to a certian API call, and are`
`334`		`- * therefore expected to called with a certain type of value.`
	`333`	`+ * This can for example be used to track callbacks that are passed to a certain API,`
	`334`	`+ * so we can model specific parameters of that callback as having a certain type.`
`335`	`335`	`*`
`336`	`336`	`* Note that type back-tracking does not provide a source/sink relation, that is,`
`337`	`337`	`* it may determine that a node will be used in an API call somewhere, but it won't`