File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -554,7 +554,7 @@ fact that ``p != nil`` is ``true`` at this point:
554
554
555
555
|cfg2 |
556
556
557
- A typical use of this information would be in an analyis that looks for ``nil `` dereferences: such
557
+ A typical use of this information would be in an analysis that looks for ``nil `` dereferences: such
558
558
an analysis would be able to conclude that the field read ``p.f `` is safe because it is immediately
559
559
preceded by a condition guard node guaranteeing that ``p `` is not ``nil ``.
560
560
Original file line number Diff line number Diff line change @@ -469,6 +469,6 @@ https://github.com/github/codeql/pull/1718 for details.
469
469
### Consistency checks
470
470
471
471
The file ` dataflow/internal/DataFlowImplConsistency.qll ` contains a number of
472
- consistency checks to verify that the language-specfic parts satisfy the
472
+ consistency checks to verify that the language-specific parts satisfy the
473
473
invariants that are expected by the shared implementation. Run these queries to
474
474
check for inconsistencies.
You can’t perform that action at this time.
0 commit comments