hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Rearrange PotentiallyDangerousFunction.ql.

Browse Source
This commit is contained in:
Geoffrey White
2019-01-29 10:41:12 +00:00
parent f47a77b442
commit bbc8e7886b
1 changed files with 10 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
cpp/ql/src/Security/CWE/CWE-676/PotentiallyDangerousFunction.ql
View File

@@ -11,14 +11,16 @@
*/
import cpp
predicate dangerousFunction(Function function) {
exists (string name | name = function.getQualifiedName() |
name = "gmtime")
predicate potentiallyDangerousFunction(Function f, string message) {
(
f.getQualifiedName() = "gmtime" and
message = "Call to gmtime is potentially dangerous"
)
}
from FunctionCall call, Function target
where call.getTarget() = target
and dangerousFunction(target)
select call, "Call to " + target.getQualifiedName() + " is potentially dangerous"
from FunctionCall call, Function target, string message
where
call.getTarget() = target and
potentiallyDangerousFunction(target, message)
select call, message