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.
1 parent a8a920c commit 1b4c3c7Copy full SHA for 1b4c3c7
csharp/ql/src/semmle/code/csharp/security/dataflow/flowsources/Local.qll
@@ -26,11 +26,9 @@ class SystemConsoleReadSource extends LocalUserInputSource {
26
SystemConsoleReadSource() {
27
this.asExpr() =
28
any(MethodCall call |
29
- call.getTarget().hasQualifiedName("System.Console", "ReadLine") or
30
- call.getTarget().hasQualifiedName("System.Console", "Read") or
31
- call.getTarget().hasQualifiedName("System.Console", "ReadKey")
+ call.getTarget().hasQualifiedName("System.Console", ["ReadLine", "Read", "ReadKey"])
32
)
33
}
34
35
- override string getSourceType() { result = "TextBox text" }
+ override string getSourceType() { result = "System.Console input" }
36
0 commit comments