We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
LocalFlowSource
UncontrolledFormatString
1 parent 89bdb7f commit f488f23Copy full SHA for f488f23
csharp/ql/src/Security Features/CWE-134/UncontrolledFormatString.ql
@@ -17,7 +17,9 @@ import semmle.code.csharp.frameworks.Format
17
import FormatString::PathGraph
18
19
module FormatStringConfig implements DataFlow::ConfigSig {
20
- predicate isSource(DataFlow::Node source) { source instanceof ThreatModelFlowSource }
+ predicate isSource(DataFlow::Node source) {
21
+ source instanceof ThreatModelFlowSource or source instanceof LocalFlowSource
22
+ }
23
24
predicate isSink(DataFlow::Node sink) {
25
sink.asExpr() = any(FormatCall call | call.hasInsertions()).getFormatExpr()
0 commit comments