hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 08:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Disable field flow from the 'cpp/type-confusion' query to fix performance on ChakraCore.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-03-07 13:44:41 -08:00
parent 4f9bdca4f0
commit 761f6d3a7e
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/src/Security/CWE/CWE-843/TypeConfusion.ql
View File

@@ -215,6 +215,8 @@ module RelevantStateConfig implements DataFlow::ConfigSig {
predicate isSink(DataFlow::Node sink) {
exists(UnsafeCast cast | sink.asExpr() = cast.getUnconverted())
}
int fieldFlowBranchLimit() { result = 0 }
}
module RelevantStateFlow = DataFlow::Global<RelevantStateConfig>;
@@ -253,6 +255,8 @@ module BadConfig implements DataFlow::StateConfigSig {
predicate isSink(DataFlow::Node sink, FlowState state) { isSinkImpl(sink, state, _, false) }
predicate isBarrierOut(DataFlow::Node sink, FlowState state) { isSink(sink, state) }
int fieldFlowBranchLimit() { result = 0 }
}
module BadFlow = DataFlow::GlobalWithState<BadConfig>;
@@ -307,6 +311,8 @@ module GoodConfig implements DataFlow::StateConfigSig {
isSinkImpl(sink, state, _, true) and
BadFlow::flowTo(sink)
}
int fieldFlowBranchLimit() { result = 0 }
}
module GoodFlow = DataFlow::GlobalWithState<GoodConfig>;