C++: Model BSL in Getenv.qll.

geoffw0 · geoffw0 · commit e17d53988396 · 2021-02-16T17:56:48.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Getenv.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/Getenv.qll
@@ -9,7 +9,7 @@ import semmle.code.cpp.models.interfaces.FlowSource
  * The POSIX function `getenv`.
  */
 class Getenv extends LocalFlowSourceFunction {
-  Getenv() { this.hasGlobalName("getenv") }
+  Getenv() { this.hasGlobalOrStdOrBslName("getenv") }
 
   override predicate hasLocalFlowSource(FunctionOutput output, string description) {
     (

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ import semmle.code.cpp.models.interfaces.FlowSource`
`9`	`9`	* The POSIX function `getenv`.
`10`	`10`	`*/`
`11`	`11`	`class Getenv extends LocalFlowSourceFunction {`
`12`		`- Getenv() { this.hasGlobalName("getenv") }`
	`12`	`+ Getenv() { this.hasGlobalOrStdOrBslName("getenv") }`
`13`	`13`
`14`	`14`	`override predicate hasLocalFlowSource(FunctionOutput output, string description) {`
`15`	`15`	`(`