github
/
codeql
зеркало из https://github.com/github/codeql.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

C#: Update test as we now also implicitly gets flow summary for StreamReader.

This commit is contained in:
Michael Nebel 2021-12-13 13:51:53 +01:00
Родитель a6eba04793
Коммит ba23393c0d
1 изменённых файлов: 13 добавлений и 0 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

13
csharp/ql/test/library-tests/dataflow/library/FlowSummaries.expected
Просмотреть файл

@ -1097,6 +1097,19 @@
| System.IO;Stream;true;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);;Argument[-1];Argument[0];taint |
| System.IO;Stream;true;Write;(System.Byte[],System.Int32,System.Int32);;Argument[0];Argument[-1];taint |
| System.IO;Stream;true;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);;Argument[0];Argument[-1];taint |
| System.IO;StreamReader;false;Read;();;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;Read;(System.Char[],System.Int32,System.Int32);;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;Read;(System.Span<System.Char>);;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;ReadAsync;(System.Char[],System.Int32,System.Int32);;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;ReadAsync;(System.Memory<System.Char>,System.Threading.CancellationToken);;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;ReadBlock;(System.Char[],System.Int32,System.Int32);;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;ReadBlock;(System.Span<System.Char>);;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;ReadBlockAsync;(System.Char[],System.Int32,System.Int32);;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;ReadBlockAsync;(System.Memory<System.Char>,System.Threading.CancellationToken);;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;ReadLine;();;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;ReadLineAsync;();;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;ReadToEnd;();;Argument[-1];ReturnValue;taint |
| System.IO;StreamReader;false;ReadToEndAsync;();;Argument[-1];ReturnValue;taint |
| System.IO;StringReader;false;Read;();;Argument[-1];ReturnValue;taint |
| System.IO;StringReader;false;Read;(System.Char[],System.Int32,System.Int32);;Argument[-1];ReturnValue;taint |
| System.IO;StringReader;false;Read;(System.Span<System.Char>);;Argument[-1];ReturnValue;taint |