8143 Commits

Author	SHA1	Message	Date
Jeroen Ketema	0acca2ba76	Merge pull request #12687 from jketema/unit-2 ... Make imports of `codeql.util.Unit` private	2023-03-29 13:07:12 +02:00
Anders Schack-Mulligen	7c74fd07e9	Merge pull request #12684 from aschackmull/dataflow/remove-footgun ... Dataflow: Remove accidentally exposed predicates.	2023-03-28 15:14:58 +02:00
Michael Nebel	9966e09fd7	C#: Add operator dataflow test case with checked and unchecked examples.	2023-03-28 15:05:48 +02:00
Michael Nebel	50c3c159a9	C#: Make checked and unchecked as a local flow step.	2023-03-28 15:03:33 +02:00
Jeroen Ketema	3b8ad087eb	Make imports of codeql.util.Unit private	2023-03-28 14:14:13 +02:00
Anders Schack-Mulligen	47e7aa9566	Dataflow: Add change note.	2023-03-28 13:17:48 +02:00
Anders Schack-Mulligen	d406b051fc	Dataflow: Remove accidentally exposed predicates.	2023-03-28 10:04:21 +02:00
Michael Nebel	730848cee8	Merge pull request #12648 from michaelnebel/csharp/cs-web-debug-binary ... C#: Improve cs/web/debug-binary to repect the RemoveAttributes transformation.	2023-03-28 09:40:46 +02:00
Michael Nebel	4a64479551	C#: Add change note.	2023-03-27 10:42:14 +02:00
Michael Nebel	32ea8420a9	C#: Move the existing tests into separate folders to emulate separate projects and add some more tests.	2023-03-27 10:42:14 +02:00
Michael Nebel	9f88a72d9f	C#: Make cs/web/debug-binary respect transformation file RemoveAttribute.	2023-03-27 10:39:44 +02:00
Jeroen Ketema	977f15f8a4	Merge pull request #12649 from jketema/unit ... Replace all definitions of `Unit` by `import codeql.util.Unit`	2023-03-27 08:49:50 +02:00
Anders Schack-Mulligen	85511ba19d	Dataflow: Sync	2023-03-24 12:42:06 +01:00
Jeroen Ketema	a87a9438c7	Replace all definitions of Unit by import codeql.util.Unit	2023-03-24 10:39:34 +01:00
Anders Schack-Mulligen	9d88f01c82	Merge pull request #12645 from aschackmull/dataflow/renaming ... Dataflow: Rename Make to Global and hasFlow to flow	2023-03-24 08:48:31 +01:00
Tom Hvitved	110d666010	Merge pull request #12421 from kaspersv/kaspersv/dataflow-proper-unit ... Dataflow: Instantiate stage 1 access paths with proper unit type	2023-03-23 20:29:04 +01:00
Anders Schack-Mulligen	d440bc2d0c	Dataflow: Sync.	2023-03-23 13:40:23 +01:00
Anders Schack-Mulligen	1c1aa7ecdd	Dataflow: Add change notes.	2023-03-23 13:17:36 +01:00
Anders Schack-Mulligen	ab95a0b9f0	Java/C#: Rename references	2023-03-23 13:09:09 +01:00
Anders Schack-Mulligen	2761aa73ca	Dataflow: Sync.	2023-03-23 13:06:19 +01:00
Michael Nebel	d258a1c728	C#/Java: Some light re-factoring.	2023-03-23 10:24:46 +01:00
Michael Nebel	b17a71674a	C#: Refactor the model generator configurations to use the new API.	2023-03-23 10:17:37 +01:00
Michael Nebel	d0732a765b	C#: Sync files.	2023-03-23 09:52:42 +01:00
Kasper Svendsen	ce6be1f636	Dataflow: Instantiate stage 1 access paths with proper unit type	2023-03-23 08:32:16 +01:00
Michael Nebel	915efffe21	Merge pull request #12610 from michaelnebel/java/validatespecs ... Java/C#: Validate all AccessPaths.	2023-03-22 16:22:54 +01:00
Anders Schack-Mulligen	dc6729d0bf	Merge pull request #12616 from aschackmull/java-csharp/redundant-sign-analysis-case ... Java/C#: Remove useless disjuncts.	2023-03-22 13:33:46 +01:00
Michael Nebel	71d184e8c0	C#: Validate all access paths except for Field and Property.	2023-03-22 10:05:46 +01:00
Anders Schack-Mulligen	89d9d65755	Java/C#: Remove useless disjuncts.	2023-03-21 14:45:29 +01:00
Anders Schack-Mulligen	0d6dd7d25a	DataFlow: Sync.	2023-03-21 14:27:25 +01:00
Asger F	6d665da4dc	Merge pull request #12570 from github/post-release-prep/codeql-cli-2.12.5 ... Post-release preparation for codeql-cli-2.12.5	2023-03-21 13:06:25 +01:00
Anders Schack-Mulligen	3876e4335f	Merge pull request #12420 from kaspersv/kaspersv/dataflow-remove-alias-preds ... Dataflow: Remove revFlowAlias and revFlowApAlias predicates	2023-03-20 16:30:15 +01:00
Michael Nebel	17b3383043	Merge pull request #12556 from michaelnebel/java/argumentthis ... Java: Argument[-1] -> Argument[this]	2023-03-20 15:59:59 +01:00
Jeroen Ketema	2968c12e12	Merge pull request #12583 from jketema/move-print ... C++: Move SsaConsistency to its own file	2023-03-20 13:41:29 +01:00
Kasper Svendsen	1d2f1b6ae6	Address comments	2023-03-20 13:34:14 +01:00
Kasper Svendsen	e0e3a1d621	Dataflow: remove revFlowApAlias trick	2023-03-20 13:04:13 +01:00
Jeroen Ketema	91b069603d	C++: Move SsaConsistency to its own file ... This removes the import of the `Print` library in places that are used in production and not just debugging.	2023-03-20 10:31:33 +01:00
Michael Nebel	e78af3e66c	C#: Introduce Argument and Parameter index validation for models.	2023-03-20 09:38:40 +01:00
Michael Nebel	37484a415f	Sync files.	2023-03-20 09:38:40 +01:00
Michael Nebel	352bb5a29a	C#: Update internal documentation for this parameter in models.	2023-03-20 09:38:39 +01:00
Kasper Svendsen	9630feb5e4	Dataflow: Remove revFlowAlias trick	2023-03-20 09:04:35 +01:00
github-actions[bot]	981e171525	Post-release preparation for codeql-cli-2.12.5	2023-03-17 13:27:00 +00:00
Jeroen Ketema	e7079b35bc	Apply suggestions from code review	2023-03-16 14:28:17 +01:00
Michael Nebel	3fea9e4d0b	Sync files.	2023-03-16 14:12:29 +01:00
github-actions[bot]	fe4d27e8cc	Release preparation for version 2.12.5	2023-03-16 12:58:50 +00:00
Michael Nebel	a9e5b34ad6	Merge pull request #12200 from michaelnebel/csharp/viablestatic ... C#: Support for virtual dispatch for operators.	2023-03-16 13:36:00 +01:00
Tom Hvitved	64f13fa08f	C#: Exclude call inside static field initializers from consistency check	2023-03-16 08:40:53 +01:00
Tom Hvitved	9f798902bd	Data flow: Add consistency check for DataFlowCall::getEnclosingCallable	2023-03-16 08:40:53 +01:00
Henry Mercer	a90f4915a7	C#: Add new lines before call to action	2023-03-15 12:00:47 +00:00
Arthur Baars	fbe9823a42	Merge branch 'main' into henrymercer/polish-diagnostics	2023-03-14 23:42:33 +01:00
Henry Mercer	1454890a58	C#: Add new paragraphs before call to action	2023-03-14 21:52:23 +00:00