Skip to content

Commit f29b89b

Browse files
committed
Add back coding standards specific changes
1 parent 0a7696c commit f29b89b

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

c/cert/src/rules/FIO32-C/DoNotPerformFileOperationsOnDevices.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@
1212
*/
1313

1414
import cpp
15+
import codingstandards.c.cert
1516
import semmle.code.cpp.security.FunctionWithWrappers
1617
import semmle.code.cpp.security.Security
1718
import semmle.code.cpp.ir.IR
@@ -126,6 +127,7 @@ from
126127
FileFunction fileFunction, Expr taintedArg, Expr taintSource, TaintedPathConfiguration cfg,
127128
DataFlow::PathNode sourceNode, DataFlow::PathNode sinkNode, string taintCause, string callChain
128129
where
130+
not isExcluded(taintedArg, IO3Package::doNotPerformFileOperationsOnDevicesQuery()) and
129131
taintedArg = asSinkExpr(sinkNode.getNode()) and
130132
fileFunction.outermostWrapperFunctionCall(taintedArg, callChain) and
131133
cfg.hasFilteredFlowPath(sourceNode, sinkNode) and

0 commit comments

Comments
 (0)