23 Commits

Author	SHA1	Message	Date
Michael Nebel	2cd2d3fe1a	C#: Add some manual models for params ReadOnlySpan overloads of common library methods.	2025-01-31 10:37:00 +01:00
Michael Nebel	9cd9ebfda9	C#: Add manual models for StringWriter.	2024-10-23 13:08:15 +02:00
Ed Minnix	e2c2d574f8	Add FileInfo::OpenText	2024-03-21 13:06:33 -04:00
Ed Minnix	08611f0c9c	Fix flow summary tests	2024-03-21 13:06:30 -04:00
Ed Minnix	e14e47cd73	Fix Stream::Read(Span<byte>) model	2024-03-21 13:06:28 -04:00
Ed Minnix	d6f085373e	System.IO.Stream::ReadExactly models	2024-03-21 13:06:27 -04:00
Ed Minnix	2a73677fd2	Missing Stream::ReadAsync overload	2024-03-21 13:06:26 -04:00
Ed Minnix	a698684fec	System.IO.Stream::ReadAtLeast	2024-03-21 13:06:24 -04:00
Ed Minnix	9232fafde1	Add System.IO.Stream::Read(Span<Byte>) model	2024-03-21 13:06:20 -04:00
Ed Minnix	a8c5e4e0f2	FileInfo source models	2024-03-21 13:06:18 -04:00
Ed Minnix	bb9b0eabf2	Add BufferedStream summary models	2024-03-21 13:06:17 -04:00
Ed Minnix	a5b801b31f	Add File reading methods	2024-03-21 13:06:15 -04:00
Ed Minnix	527041348e	Add comment about Memory<T>	2024-03-06 10:39:31 -05:00
Ed Minnix	e065390185	Add .Element modifier to Memory<T> arguments in MaD models	2024-03-06 10:39:30 -05:00
Ed Minnix	ca55b92281	Change System.IO.TextReader models to transfer taint to out parameter instead of return value ... Some of the `System.IO.TextReader` models transfered taint to `ReturnValue`, when there is a more relevant out-parameter/array.	2024-03-06 10:39:25 -05:00
Tom Hvitved	84773fcde4	C#: Convert existing models using model converter	2023-11-09 08:34:35 +01:00
Joe Farebrother	a4d7570788	Add more sources	2023-04-21 14:23:01 +01:00
Joe Farebrother	9881fdfe27	Convert sources to MaD	2023-04-21 14:19:17 +01:00
Michael Nebel	b5e7ba6135	C#: Rename extensible predicate in data extension definitions.	2022-12-14 13:43:34 +01:00
Michael Nebel	0fdf9a42f2	C#: Cleanup and make the last StreamReader model explicit on its input.	2022-12-12 13:21:26 +01:00
Jaroslav Lobačevski	204a1d3d06	C#: Add source TCP/UDP source models and StreamReader summary models.	2022-12-12 12:56:14 +01:00
Michael Nebel	0b04505e04	C#: Update all data extensions files.	2022-11-08 16:47:02 +01:00
Michael Nebel	f181d66003	C#: Add data extensions files for handwritten models.	2022-11-04 08:20:52 +01:00