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:
554554
555555|cfg2 |
556556
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
558558an analysis would be able to conclude that the field read ``p.f `` is safe because it is immediately
559559preceded by a condition guard node guaranteeing that ``p `` is not ``nil ``.
560560
Original file line number Diff line number Diff line change @@ -469,6 +469,6 @@ https://github.com/github/codeql/pull/1718 for details.
469469### Consistency checks
470470
471471The 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
473473invariants that are expected by the shared implementation. Run these queries to
474474check for inconsistencies.
You can’t perform that action at this time.
0 commit comments