spelling: captured

jsoref · jsoref · commit fe7bd81c9ad8 · 2022-10-13T10:52:01.000-04:00
Signed-off-by: Josh Soref &lt;2119212+jsoref@users.noreply.github.com&gt;
diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/SsaImpl.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/SsaImpl.qll
@@ -64,7 +64,7 @@ predicate uninitializedWrite(Cfg::EntryBasicBlock bb, int i, LocalVariable v) {
   i = -1
 }
 
-/** Holds if `bb` contains a caputured read of variable `v`. */
+/** Holds if `bb` contains a captured read of variable `v`. */
 pragma[noinline]
 private predicate hasCapturedVariableRead(Cfg::BasicBlock bb, LocalVariable v) {
   exists(LocalVariableReadAccess read |
@@ -74,7 +74,7 @@ private predicate hasCapturedVariableRead(Cfg::BasicBlock bb, LocalVariable v) {
   )
 }
 
-/** Holds if `bb` contains a caputured write to variable `v`. */
+/** Holds if `bb` contains a captured write to variable `v`. */
 pragma[noinline]
 private predicate writesCapturedVariable(Cfg::BasicBlock bb, LocalVariable v) {
   exists(LocalVariableWriteAccess write |

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ predicate uninitializedWrite(Cfg::EntryBasicBlock bb, int i, LocalVariable v) {`
`64`	`64`	`i = -1`
`65`	`65`	`}`
`66`	`66`
`67`		-/** Holds if `bb` contains a caputured read of variable `v`. */
	`67`	+/** Holds if `bb` contains a captured read of variable `v`. */
`68`	`68`	`pragma[noinline]`
`69`	`69`	`private predicate hasCapturedVariableRead(Cfg::BasicBlock bb, LocalVariable v) {`
`70`	`70`	`exists(LocalVariableReadAccess read \|`
`@@ -74,7 +74,7 @@ private predicate hasCapturedVariableRead(Cfg::BasicBlock bb, LocalVariable v) {`
`74`	`74`	`)`
`75`	`75`	`}`
`76`	`76`
`77`		-/** Holds if `bb` contains a caputured write to variable `v`. */
	`77`	+/** Holds if `bb` contains a captured write to variable `v`. */
`78`	`78`	`pragma[noinline]`
`79`	`79`	`private predicate writesCapturedVariable(Cfg::BasicBlock bb, LocalVariable v) {`
`80`	`80`	`exists(LocalVariableWriteAccess write \|`