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

spelling: reachable

Browse Source 
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
This commit is contained in:
Josh Soref
2022-10-13 12:31:15 -04:00
parent f063904739
commit e231c64404
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
View File

@@ -803,14 +803,14 @@ private module CapturedVariableImpl {
* Holds if `c` is a relevant part of the call graph for
* `updatesCapturedVariable` based on following edges in forward direction.
*/
private predicate reachbleFromSource(Callable c) {
private predicate reachableFromSource(Callable c) {
source(_, _, _, c, _)
or
exists(Callable mid | reachbleFromSource(mid) | callEdge(mid, c))
exists(Callable mid | reachableFromSource(mid) | callEdge(mid, c))
}
private predicate sink(Callable c, CapturedWrittenLocalScopeVariable captured) {
reachbleFromSource(c) and
reachableFromSource(c) and
relevantDefinition(c, captured, _)
}
@@ -932,14 +932,14 @@ private module CapturedVariableLivenessImpl {
* Holds if `c` is a relevant part of the call graph for
* `readsCapturedVariable` based on following edges in forward direction.
*/
private predicate reachbleFromSource(Callable c) {
private predicate reachableFromSource(Callable c) {
source(_, _, _, c, _)
or
exists(Callable mid | reachbleFromSource(mid) | callEdge(mid, c))
exists(Callable mid | reachableFromSource(mid) | callEdge(mid, c))
}
private predicate sink(Callable c, CapturedReadLocalScopeVariable captured) {
reachbleFromSource(c) and
reachableFromSource(c) and
capturerReads(c, captured)
}