hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

[DIFF-INFORMED] C++: ExecTainted

Browse Source
This commit is contained in:
Nora Dimitrijević
2025-07-16 10:19:49 +02:00
parent a77cab6981
commit 80da00b599
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
cpp/ql/src/Security/CWE/CWE-078/ExecTainted.ql
View File

@@ -150,6 +150,17 @@ module ExecTaintConfig implements DataFlow::StateConfigSig {
predicate isBarrierOut(DataFlow::Node node) { predicate isBarrierOut(DataFlow::Node node) {
isSink(node, _) // Prevent duplicates along a call chain, since `shellCommand` will include wrappers isSink(node, _) // Prevent duplicates along a call chain, since `shellCommand` will include wrappers
} }
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSinkLocation(DataFlow::Node sink) {
exists(DataFlow::Node concatResult, Expr command, ExecState state |
result = [concatResult.getLocation(), command.getLocation()] and
isSink(sink, state) and
isSinkImpl(sink, command, _) and
concatResult = state.getOutgoingNode()
)
}
} }
module ExecTaint = TaintTracking::GlobalWithState<ExecTaintConfig>; module ExecTaint = TaintTracking::GlobalWithState<ExecTaintConfig>;