add support for the slash library

This commit is contained in:
Erik Krogh Kristensen
2021-07-12 16:36:54 +02:00
parent c47d680d65
commit 899e54fbc9
4 changed files with 74 additions and 0 deletions

View File

@@ -798,6 +798,12 @@ module TaintedPath {
srclabel instanceof Label::SplitPath and
dstlabel.(Label::PosixPath).canContainDotDotSlash()
)
or
exists(API::CallNode call | call = API::moduleImport("slash").getACall() |
src = call.getArgument(0) and
dst = call and
srclabel = dstlabel
)
}
/**