autoformat

This commit is contained in:
Erik Krogh Kristensen
2020-05-20 15:36:46 +02:00
parent 5a3eec87c0
commit a23cde1354

View File

@@ -621,7 +621,7 @@ module TaintedPath {
}
/**
* Holds if there is a step `src -> dst` mapping `srclabel` to `dstlabel` relevant for path traversal vulnerabilities.
* Holds if there is a step `src -> dst` mapping `srclabel` to `dstlabel` relevant for path traversal vulnerabilities.
*/
predicate isAdditionalTaintedPathFlowStep(
DataFlow::Node src, DataFlow::Node dst, DataFlow::FlowLabel srclabel,