C++: Model BSL in Fread.qll.

This commit is contained in:
Geoffrey White
2021-02-16 18:00:23 +00:00
parent e17d539883
commit 58230d6d0a

View File

@@ -2,7 +2,7 @@ import semmle.code.cpp.models.interfaces.Alias
import semmle.code.cpp.models.interfaces.FlowSource
private class Fread extends AliasFunction, RemoteFlowSourceFunction {
Fread() { this.hasGlobalName("fread") }
Fread() { this.hasGlobalOrStdOrBslName("fread") }
override predicate parameterNeverEscapes(int n) {
n = 0 or