3406 Commits

Author	SHA1	Message	Date
edvraa	f4cb6c50c0	YamlDotNet	2021-07-12 13:25:50 +03:00
edvraa	1e4409f9ed	SharpSerializer	2021-07-12 13:22:20 +03:00
edvraa	c3ac3ca41c	FsPickler	2021-07-12 13:20:57 +03:00
Tom Hvitved	09daf86e33	Data flow: Fix bad join-orders in summaryNodeType	2021-07-12 12:09:06 +02:00
edvraa	1682e993bc	Merge with Main	2021-07-12 11:32:47 +03:00
edvraa	40e8a900de	Apply changes from code review	2021-07-12 02:08:23 +03:00
edvraa	6393dca22f	Apply changes from code review	2021-07-12 01:13:41 +03:00
edvraa	3de7b280e4	AuthCookie.qll moved to experimental	2021-07-12 01:13:40 +03:00
edvraa	02f0d81830	delete unused predicate	2021-07-12 01:13:40 +03:00
edvraa	3723f7f132	comments	2021-07-12 01:13:40 +03:00
edvraa	2c9d6827ad	comments	2021-07-12 01:13:40 +03:00
edvraa	74cb61a475	Autoformat	2021-07-12 01:13:40 +03:00
edvraa	65fb46af3d	fix help files	2021-07-12 01:13:40 +03:00
edvraa	d0e9a01edc	Rename files	2021-07-12 01:13:40 +03:00
edvraa	5c9a3d5ce7	Single Secure query	2021-07-12 01:13:39 +03:00
edvraa	07327984b0	Single HttpOnly query	2021-07-12 01:13:39 +03:00
edvraa	dea4d67ebd	Extract to predicate isCookieWithSensitiveName	2021-07-12 01:13:39 +03:00
edvraa	7e723e90f1	Remove redundant iResponse.getAppendMethod() = mc.getTarget(), it is already covered by higher level exists	2021-07-12 01:13:39 +03:00
edvraa	98261a63c5	typo accessibe -> accessible	2021-07-12 01:13:39 +03:00
edvraa	89c4102462	HttpOnly and Secure cookie queries	2021-07-12 01:13:39 +03:00
Tom Hvitved	4de4753c67	C#: Remove Query.qll top-level modules	2021-07-04 09:35:27 +02:00
Tom Hvitved	c812d4e4e8	C#: Add Query suffix to libraries that should only be imported by queries	2021-07-04 09:35:26 +02:00
github-actions[bot]	55aff21587	Add changed framework coverage reports	2021-07-02 00:09:02 +00:00
Tamás Vajk	05842dcdb3	Merge pull request #6181 from tamasvajk/feature/test-options-files ... C#: Start using 'options' files in tests	2021-07-01 17:03:27 +02:00
Tamas Vajk	5e2770339f	Add adjusted expected files	2021-07-01 16:09:11 +02:00
Tamas Vajk	03d1a3e0ad	Trim test files + remove duplicate newlines	2021-07-01 16:09:11 +02:00
Tamas Vajk	4900ecfabe	Manual fixes	2021-07-01 16:09:11 +02:00
Tamas Vajk	c29d11087b	C#: Start using 'options' files in tests	2021-07-01 16:08:47 +02:00
Anders Schack-Mulligen	37f8794d01	Merge pull request #6165 from edoardopirovano/fix-regression ... Performance: Improve join order in data flow library	2021-07-01 14:13:18 +02:00
Tamás Vajk	10a6089739	Merge pull request #6148 from tamasvajk/feature/try-csv-source-models ... C#: Start using CSV based flow models	2021-06-30 12:58:42 +02:00
Tamas Vajk	0946ae2ae9	Fix review findings	2021-06-30 11:39:51 +02:00
Edoardo Pirovano	8354f66c29	Performance: Improve join order in data flow library	2021-06-29 18:23:22 +01:00
Chris Smowton	bb5fefa47f	Sync FlowSummaryImpl.qll	2021-06-29 15:59:55 +01:00
Chris Smowton	28ab4c083b	Make interpretSpec/3 private again	2021-06-29 15:59:43 +01:00
Chris Smowton	036733d3e7	Sync FlowSummaryImpl.qll	2021-06-29 15:59:43 +01:00
Tom Hvitved	125d435d62	C#: Address review comments	2021-06-29 10:50:45 +02:00
Tamas Vajk	3b5856907f	Add updated C# framework coverage report	2021-06-28 11:29:46 +02:00
Tamas Vajk	a90a86bcbf	Fix flow from Element of Argument[0] for Int32.TryParse(ReadOnlySpan<Char>,...	2021-06-28 11:20:32 +02:00
Tamas Vajk	1d8b19e153	Adjust coverage report generator to allow multiple sink identifiers per CWE	2021-06-28 11:20:32 +02:00
Tamas Vajk	2a75989881	Migrate StringContent sink to CSV format	2021-06-28 11:20:32 +02:00
Tamas Vajk	5aba7142e8	C#: Add framework coverage report	2021-06-28 11:20:32 +02:00
Tamas Vajk	016e8fb2cf	Adjust framework coverage jobs to cover C#	2021-06-28 11:20:32 +02:00
Tamas Vajk	b7a43dccd3	C#: Migrate System.Int32 flow summaries to CSV	2021-06-28 11:20:32 +02:00
Tamas Vajk	a9ccd65fa9	C#: Migrate System.Web.HttpResponse sinks to CSV	2021-06-28 11:20:32 +02:00
Tamas Vajk	45568d5b10	C#: Convert System.Console.Read* local flow source to CSV	2021-06-28 11:20:32 +02:00
Tamas Vajk	9606816c39	Fix missing summarizedCallable case	2021-06-28 11:20:32 +02:00
Tom Hvitved	4f8a103df2	C#: Add active preprocessor conditions as suffix in all TRAP .push instructions	2021-06-28 10:34:42 +02:00
Tom Hvitved	e624fb46f9	Merge pull request #6152 from hvitved/csharp/dataflow/csv-out-ref	2021-06-25 18:02:59 +02:00
Anders Schack-Mulligen	2d24387e9e	Merge pull request #6149 from edoardopirovano/fix-java-regression ... Performance: Fix bad join order in Java dataflow library	2021-06-25 10:42:05 +02:00
Tom Hvitved	7a9f9e245f	C#: Handle CSV data-flow summaries with out/ref parameters	2021-06-24 18:34:25 +02:00