Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 7395223

Browse files
RasmusWLRasmusWL
committed
C#: Model System.Console reads as stdin threat-model
1 parent 157d0b7 commit 7395223

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

‎csharp/ql/lib/ext/System.model.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,9 @@ extensions:
33
pack: codeql/csharp-all
44
extensible: sourceModel
55
data:
6-
- ["System", "Console", False, "Read", "", "", "ReturnValue", "local", "manual"]
7-
- ["System", "Console", False, "ReadKey", "", "", "ReturnValue", "local", "manual"]
8-
- ["System", "Console", False, "ReadLine", "", "", "ReturnValue", "local", "manual"]
6+
- ["System", "Console", False, "Read", "", "", "ReturnValue", "stdin", "manual"]
7+
- ["System", "Console", False, "ReadKey", "", "", "ReturnValue", "stdin", "manual"]
8+
- ["System", "Console", False, "ReadLine", "", "", "ReturnValue", "stdin", "manual"]
99
- ["System", "Environment", False, "ExpandEnvironmentVariables", "(System.String)", "", "ReturnValue", "environment", "manual"]
1010
- ["System", "Environment", False, "GetCommandLineArgs", "()", "", "ReturnValue", "commandargs", "manual"]
1111
- ["System", "Environment", False, "get_CommandLine", "()", "", "ReturnValue", "commandargs", "manual"]

0 commit comments

Comments
 (0)