This commit is contained in:
Erik Krogh Kristensen 2021-12-20 17:54:18 +01:00
Родитель 4459c8e7c6
Коммит d339f13629
6 изменённых файлов: 6 добавлений и 6 удалений

Просмотреть файл

@ -489,7 +489,7 @@ module CFG {
/**
* A completion indicating that an expression was successfully evaluated to Boolean value `b`.
*
* Note that many Boolean expressions are modelled as having completion `Done()` instead.
* Note that many Boolean expressions are modeled as having completion `Done()` instead.
* Completion `Bool` is only used in contexts where the Boolean value can be determined.
*/
Bool(boolean b) { b = true or b = false } or

Просмотреть файл

@ -100,7 +100,7 @@ private module Internal {
/**
* Holds if the `i`th node of basic block `bb` may induce a pseudo-definition for
* modelling updates to captured variable `v`. Whether the definition is actually
* modeling updates to captured variable `v`. Whether the definition is actually
* introduced depends on whether `v` is live at this point in the program.
*/
private predicate mayCapture(ReachableBasicBlock bb, int i, SsaSourceVariable v) {

Просмотреть файл

@ -1,5 +1,5 @@
/**
* Provides classes modelling taint propagation through marshalling and encoding functions.
* Provides classes modeling taint propagation through marshalling and encoding functions.
*/
import go

Просмотреть файл

@ -60,7 +60,7 @@ module Protobuf {
}
/**
* Additional taint-flow step modelling flow from `MarshalInput.Message` to `MarshalOutput`,
* Additional taint-flow step modeling flow from `MarshalInput.Message` to `MarshalOutput`,
* mediated by a `MarshalOptions.MarshalState` call.
*
* Note we can taint the whole `MarshalOutput` as it only has one field (`Buf`), and taint-

Просмотреть файл

@ -5,7 +5,7 @@
import go
private import semmle.go.security.OpenUrlRedirectCustomizations
/** Provides classes and methods modelling the Revel web framework. */
/** Provides classes and methods modeling the Revel web framework. */
module Revel {
/** Gets the package name `github.com/revel/revel`. */
string packagePath() { result = package(["github.com/revel", "github.com/robfig"], "revel") }

Просмотреть файл

@ -87,7 +87,7 @@ module TestFile {
}
}
/** Provides classes modelling Ginkgo. */
/** Provides classes modeling Ginkgo. */
module Ginkgo {
/** Gets the package path `github.com/onsi/ginkgo`. */
string packagePath() { result = package("github.com/onsi/ginkgo", "") }