3366 Commits

Author	SHA1	Message	Date
Arthur Baars	e387d602b2	C# remove spurious spaces in <code> tag	2021-07-15 14:38:01 +02:00
Anders Schack-Mulligen	8ccdd4fb9f	Merge pull request #6211 from aschackmull/dataflow/refactor-call-context-check ... Dataflow: Refactor call context check	2021-07-15 12:27:23 +02:00
Tom Hvitved	caf88a2d31	C#: Remove redundant conjunct in ssaDefReachesReadWithinBlock	2021-07-15 12:25:33 +02:00
edvraa	fd4d8e2595	Use HasFlow instead HasFlowPath	2021-07-14 16:06:34 +03:00
Anders Schack-Mulligen	11fc23ba09	Merge pull request #6030 from smowton/smowton/admin/test-generator ... Add test-generator script + add generated models for Spring summary steps	2021-07-14 14:44:07 +02:00
Anders Schack-Mulligen	0ccb213ec5	Dataflow: Sync.	2021-07-14 10:36:09 +02:00
Tom Hvitved	febebed15e	Data flow: Use cached predicates from DataFlowImplCommon in FlowSummaryImpl.qll	2021-07-13 16:15:00 +02:00
edvraa	a0942e0360	JsonConvert	2021-07-12 15:23:04 +03:00
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
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
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
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	2a75989881	Migrate StringContent sink to CSV format	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	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
Anders Schack-Mulligen	95ad8b55fe	Merge pull request #6107 from aschackmull/dataflow/implicit-reads ... Dataflow: Add support for implicit reads	2021-06-24 15:38:35 +02:00
Anders Schack-Mulligen	cd0efbe7ce	Dataflow: Sync.	2021-06-24 14:19:17 +02:00
Edoardo Pirovano	0909c9ff22	Performance: Fix bad join order in dataflow library	2021-06-24 08:24:17 +01:00
Tamas Vajk	1188e1b678	Fix extra constructor stubbing	2021-06-23 13:50:54 +02:00