add model for async-execute

This commit is contained in:
Erik Krogh Kristensen
2021-03-18 19:40:46 +01:00
parent 1d9f8c2d37
commit 28ad667578
3 changed files with 23 additions and 3 deletions

View File

@@ -43,9 +43,15 @@ private predicate execApi(string mod, int cmdArg, int optionsArg, boolean shell)
)
or
shell = true and
mod = "exec" and
optionsArg = -2 and
cmdArg = 0
(
mod = "exec" and
optionsArg = -2 and
cmdArg = 0
or
mod = "async-execute" and
optionsArg = 1 and
cmdArg = 0
)
}
private class SystemCommandExecutors extends SystemCommandExecution, DataFlow::InvokeNode {