2355 Commits

Author	SHA1	Message	Date
Tom Hvitved	9d1ef21d85	C#: Remove deleted queries from suites	2021-03-26 11:17:27 +01:00
Tom Hvitved	d4ce42ac4f	Merge pull request #5416 from hvitved/csharp/rework-summaries ... C#: Rework flow summary implementation	2021-03-26 09:47:15 +01:00
Tom Hvitved	57fd2e3578	C#: Rename parameter in fieldOf()	2021-03-26 08:49:06 +01:00
Tom Hvitved	90868a4788	Merge pull request #5524 from hvitved/csharp/cleanup ... C#: Remove legacy queries and `@precision` tags from metric queries	2021-03-25 15:36:12 +01:00
Tom Hvitved	cdd613358b	C#: Sync SSA files	2021-03-25 15:33:06 +01:00
Tom Hvitved	7e20829f36	Merge remote-tracking branch 'upstream/main' into csharp/rework-summaries	2021-03-25 15:32:32 +01:00
Tom Hvitved	6a3859fc83	C#: Remove unnecessary pre call in FlowSummaryImpl.qll	2021-03-25 15:31:43 +01:00
Tom Hvitved	33c990f6b0	Merge pull request #5440 from hvitved/csharp/cil/ssa ... C#: Add CIL SSA library	2021-03-25 15:22:40 +01:00
Tom Hvitved	6bfc49c069	C#: Address review comments	2021-03-25 11:43:25 +01:00
Tom Hvitved	419fbe77ab	C#: Remove @precision tags from metric queries	2021-03-25 09:50:24 +01:00
Tom Hvitved	b94c189946	C#: Remove VulnerablePackage.ql query	2021-03-25 09:50:24 +01:00
Tom Hvitved	eeb8c74666	C#: Remove filter and external queries ... These are legacy queries that are no longer used.	2021-03-25 09:50:01 +01:00
Tom Hvitved	f2fb26df37	C#: Document input/output stack restrictions	2021-03-24 13:48:32 +01:00
Tom Hvitved	c5c80204d5	C#: Rework flow summary implementation	2021-03-24 11:27:01 +01:00
Tom Hvitved	6d6150d051	C#: Change some data-flow toString()s	2021-03-23 16:42:58 +01:00
Tom Hvitved	3c26779f40	Merge pull request #5415 from tamasvajk/feature/async-flow ... C#: add store step for return statements inside async methods	2021-03-23 13:59:19 +01:00
Tom Hvitved	20aa05b090	C#: Add CIL SSA library	2021-03-23 10:07:36 +01:00
Tom Hvitved	09a49e4580	Merge pull request #5311 from hvitved/dataflow/lambda ... Data flow: Move C# lambda flow logic into shared library	2021-03-19 11:44:15 +01:00
Tom Hvitved	5b2d5ee010	Merge pull request #4940 from hvitved/csharp/base-ssa-phi-input ... C#: Take phi nodes into account in `Steps::getARead()`	2021-03-17 14:33:59 +01:00
Tamas Vajk	0b1705f302	C#: Adjust Callable::canReturn to handle Task-like async return types	2021-03-17 09:25:57 +01:00
Tamas Vajk	cd820917bc	Remove duplicate yield return entries from global dataflow test	2021-03-16 21:28:58 +01:00
Tamas Vajk	2541e9cb6a	C#: Handle async data flow in expression bodied callables	2021-03-16 16:32:47 +01:00
Tamas Vajk	048c72a0f2	C#: Remove YieldReturnKind	2021-03-16 16:20:04 +01:00
Tamas Vajk	aa2abf76ba	Make ReturnNodes disjoint (normal, yield, async)	2021-03-16 16:17:27 +01:00
Tamas Vajk	732ef92830	C#: add store step for return statements inside async methods	2021-03-16 15:18:00 +01:00
Tamas Vajk	c684b74b3d	C#: Add async dataflow tests	2021-03-16 14:46:16 +01:00
Anders Schack-Mulligen	46bae88181	Merge pull request #5375 from aschackmull/dataflow/unbind ... Dataflow: Switch from unbind to pragma[only_bind_into].	2021-03-16 14:03:54 +01:00
Tom Hvitved	88b7ad001f	C#: Take phi nodes into account in Steps::getARead()	2021-03-16 13:55:30 +01:00
Tom Hvitved	cb8e2d451d	C#: Add test for DeadStoreOfLocal.ql	2021-03-16 13:52:41 +01:00
Tom Hvitved	a373a523f6	Data flow: Move C# lambda flow logic into shared library	2021-03-16 13:49:32 +01:00
Tom Hvitved	e1e4016a5c	C#: Fix missing delegate flow	2021-03-16 13:16:23 +01:00
Tom Hvitved	29c6d22163	C#: Add test exposing missing delegate flow	2021-03-16 13:16:23 +01:00
Tom Hvitved	25adcfc39d	C#: Fix missing phi flow	2021-03-16 13:16:23 +01:00
Tom Hvitved	e092b31791	C#: Add test exposing missing phi flow	2021-03-16 13:16:23 +01:00
Tamás Vajk	24140195d6	Merge pull request #5242 from tamasvajk/feature/tuple-df ... C#: Add tuple dataflow	2021-03-16 11:45:11 +01:00
Tamás Vajk	8d6b8359eb	Merge pull request #5316 from tamasvajk/feature/roslyn3.9 ... C#: Upgrade Roslyn dependencies to 3.9	2021-03-16 11:44:42 +01:00
Anders Schack-Mulligen	2d8d967060	Dataflow: Address review comment.	2021-03-16 11:07:33 +01:00
Tamas Vajk	27048191c8	C#: Add dataflow test for tuple-positional pattern	2021-03-12 17:14:24 +01:00
Tamas Vajk	9ff304ca6b	Fix missing variable binding	2021-03-12 16:14:32 +01:00
Anders Schack-Mulligen	5aa9c2bd19	Dataflow: One more pragma.	2021-03-12 15:59:19 +01:00
Anders Schack-Mulligen	674886a17d	Dataflow: Sync.	2021-03-10 16:53:51 +01:00
Tom Hvitved	fc5158c41c	Merge pull request #5338 from hvitved/dataflow/performance-tweaks ... Data flow: Performance tweaks	2021-03-10 13:56:57 +01:00
Tom Hvitved	fe6efde449	Address review comments	2021-03-09 14:30:12 +01:00
Tamas Vajk	ba05bf3ae0	Fix code review findings	2021-03-09 11:17:57 +01:00
Tamas Vajk	0defad77dd	C#: Add tuple data flow in patterns	2021-03-09 09:14:24 +01:00
Tom Hvitved	80a7b52f38	C#: Convert data-flow test queries to path-problems	2021-03-09 09:14:24 +01:00
Tom Hvitved	0698bdd907	C#: Restrict tuple read/store steps to tuple deconstructions/constructions	2021-03-09 09:14:24 +01:00
Tamas Vajk	6d409a0050	Fix failing tests	2021-03-09 09:14:24 +01:00
Tamas Vajk	fcc4758eb8	Remove old taint tracking for tuples	2021-03-09 09:14:24 +01:00
Tamas Vajk	d05a733109	Add more test cases	2021-03-09 09:14:23 +01:00