hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 01:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix typo

Browse Source
This commit is contained in:
Shati Patel
2019-12-06 15:56:01 +00:00
parent b940f3e637
commit f40b1b570c
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
csharp/ql/src/semmle/code/csharp/dataflow/SSA.qll
View File

@@ -1765,7 +1765,7 @@ module Ssa {
*
* The write is live because of the implicit entry definition `def`, which can be
* reached using one or more calls (as indicated by `additionalCalls`), starting
* from call `c`. That is, data can flow from the write at index `i` into the the
* from call `c`. That is, data can flow from the write at index `i` into the
* callable containing `def`.
*
* Example:
@@ -2329,7 +2329,7 @@ module Ssa {
* ```
*
* If this definition is the update of `i` on line 5, then the value may be read inside
* `M2` via the the call on line 6.
* `M2` via the call on line 6.
*/
predicate isCapturedVariableDefinitionFlowIn(
ImplicitEntryDefinition def, ControlFlow::Nodes::ElementNode c, boolean additionalCalls
@@ -2356,7 +2356,7 @@ module Ssa {
* ```
*
* If this definition is the update of `i` on line 4, then the value may be read outside
* of `M2` via the the call on line 5.
* of `M2` via the call on line 5.
*/
predicate isCapturedVariableDefinitionFlowOut(
ImplicitCallDefinition cdef, boolean additionalCalls