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

Merge pull request #7458 from erik-krogh/modelling

Browse Source 
QL: add "modelling/modeling" to `ql/non-us-spelling`
This commit is contained in:
Erik Krogh Kristensen
2022-01-04 13:33:54 +01:00
committed by GitHub
parent 6457f42497 8019b52838
commit b9964799f3
55 changed files with 117 additions and 113 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ruby/ql/lib/codeql/ruby/dataflow/SSA.qll
View File

@@ -18,7 +18,7 @@ module Ssa {
/**
* Gets the control flow node of this SSA definition, if any. Phi nodes are
* examples of SSA definitions without a control flow node, as they are
* modelled at index `-1` in the relevant basic block.
* modeled at index `-1` in the relevant basic block.
*/
final CfgNode getControlFlowNode() {
exists(BasicBlock bb, int i | this.definesAt(_, bb, i) | result = bb.getNode(i))

2
ruby/ql/lib/codeql/ruby/security/BadTagFilterQuery.qll
View File

@@ -61,7 +61,7 @@ private module RegexpMatching {
/**
* Gets a state the regular expression `reg` can be in after matching the `i`th char in `str`.
* The regular expression is modelled as a non-determistic finite automaton,
* The regular expression is modeled as a non-determistic finite automaton,
* the regular expression can therefore be in multiple states after matching a character.
*
* It's a forward search to all possible states, and there is thus no guarantee that the state is on a path to an accepting state.