538 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	e73fc94354	Dataflow: Add change note.	2024-08-20 10:12:01 +02:00
Anders Schack-Mulligen	4afdb0927e	Dataflow: Remove src/sink grouping feature.	2024-08-20 10:07:36 +02:00
Anders Schack-Mulligen	86708c9ff8	Dataflow: Fix missing subpaths due to type strengthening.	2024-08-15 18:57:10 +02:00
Anders Schack-Mulligen	7d61d9282c	Merge pull request #17233 from aschackmull/dataflow/match-summarylabel ... Dataflow: Fix missing join on summaryLabel.	2024-08-15 14:55:38 +02:00
Anders Schack-Mulligen	2c591f5420	Dataflow: Fix missing join on summaryLabel.	2024-08-15 11:05:08 +02:00
Michael Nebel	f0817dc07c	C#/Java: Use a parameterized module for making the source and sink callable classes.	2024-08-14 09:50:38 +02:00
Anders Schack-Mulligen	a782952969	Merge pull request #17202 from aschackmull/dataflow/stagepathgraph-strengthen ... Dataflow: bugfix add missing typeStrengthen in StagePathGraph throughflow.	2024-08-13 14:59:47 +02:00
Tom Hvitved	aeabee3e34	Merge pull request #17179 from hvitved/shared/pretty-print-models ... Go/Java: Share more `PrettyPrintModels.ql` logic	2024-08-13 14:15:40 +02:00
Tom Hvitved	51077ce2e7	Merge pull request #17173 from hvitved/shared/inline-flow-provenance ... Shared: Apply `ShowProvenance` in `InlineFlowTest.qll`	2024-08-13 14:15:08 +02:00
Tom Hvitved	f83df76928	Shared: Apply ShowProvenance in InlineFlowTest.qll	2024-08-13 13:34:43 +02:00
Tom Hvitved	d5a0df3f87	Go/Java: Share more PrettyPrintModels.ql logic	2024-08-13 12:48:22 +02:00
Tom Hvitved	fbcb4498fe	Merge pull request #16817 from hvitved/csharp/multi-body-dataflow-dispatch ... C#: Restrict multi-body dataflow dispatch based on file-system distance	2024-08-13 12:15:22 +02:00
Anders Schack-Mulligen	757fdf567d	Dataflow: bugfix add missing typeStrengthen in StagePathGraph throughflow.	2024-08-12 15:53:58 +02:00
Anders Schack-Mulligen	3d5d270dfb	Dataflow: Reduce duplication, define PathGraphSig only once.	2024-08-12 15:22:17 +02:00
Michael Nebel	4a5c9f0ec4	Merge pull request #17007 from michaelnebel/shared/neutralimplementation ... C#/Java/Go: Neutrals are split into separate classes.	2024-08-12 13:58:12 +02:00
Anders Schack-Mulligen	3c6459e65a	Merge pull request #17029 from aschackmull/dataflow/stagepathgraph-provenance ... Dataflow: Add provenance to StagePathGraph.	2024-08-12 13:30:03 +02:00
Anders Schack-Mulligen	f28f42bcba	Merge pull request #17049 from aschackmull/dataflow/bugfix-flowfeature-sinkctx ... Dataflow: Fix bug causing spurious flow for FeatureHasSinkCallContext	2024-08-12 13:29:42 +02:00
github-actions[bot]	cc6d87c276	Post-release preparation for codeql-cli-2.18.2	2024-08-08 12:56:21 +00:00
github-actions[bot]	019da8c287	Release preparation for version 2.18.2	2024-08-07 14:02:38 +00:00
Alexander Eyers-Taylor	46577b585e	Revert "Release preparation for version 2.18.2"	2024-08-07 14:24:37 +01:00
github-actions[bot]	c14ba0e4bd	Release preparation for version 2.18.2	2024-08-06 12:46:15 +00:00
Anders Schack-Mulligen	90272ddbfa	Dataflow: Allow printing multiple models for one MaDId.	2024-08-01 13:04:24 +02:00
Anders Schack-Mulligen	af06763c42	Dataflow: Propagate provenance correctly for flow-through wrappers.	2024-07-31 14:37:13 +02:00
Owen Mansel-Chan	c051d33cc7	Merge branch 'main' into dataflow/provenance-postprocess-qltest	2024-07-26 08:04:05 +01:00
Anders Schack-Mulligen	7a48fe1102	Dataflow: Replace ppReprType with DataFlowType.toString.	2024-07-25 13:08:47 +02:00
Anders Schack-Mulligen	86c63dbedf	Dataflow: Fix bug causing spurious flow for FeatureHasSinkCallContext.	2024-07-23 14:59:24 +02:00
github-actions[bot]	49cc8f8ff8	Post-release preparation for codeql-cli-2.18.1	2024-07-22 22:00:48 +00:00
github-actions[bot]	368bcb684a	Release preparation for version 2.18.1	2024-07-22 21:30:50 +00:00
Chuan-kai Lin	23320b6e5e	Revert "Release preparation for version 2.18.1"	2024-07-22 13:22:49 -07:00
github-actions[bot]	55935fc123	Release preparation for version 2.18.1	2024-07-22 14:56:15 +00:00
Anders Schack-Mulligen	272e523323	Dataflow: Add provenance to StagePathGraph.	2024-07-22 15:02:13 +02:00
Michael Nebel	ca4bd0c606	C#/Java/Go: Neutrals are split into seperate classes.	2024-07-18 16:29:38 +02:00
Anders Schack-Mulligen	94078e851c	Shared: Add support for provenance pretty-printing as a qltest postprocess step.	2024-07-18 15:34:30 +02:00
Anders Schack-Mulligen	da5abc8321	Dataflow: Replace MakeSets with QlBuiltins::InternSets.	2024-07-15 13:35:57 +02:00
Tom Hvitved	0459422a6c	C#: Restrict multi-body dataflow dispatch based on file-system distance	2024-07-11 16:52:20 +02:00
github-actions[bot]	ae3aba061b	Post-release preparation for codeql-cli-2.18.0	2024-07-08 13:30:13 +00:00
github-actions[bot]	b0d6778652	Release preparation for version 2.18.0	2024-07-08 09:10:51 +00:00
Tom Hvitved	4ae8720930	SSA: Add BasicBlock.{getNode/1,length/0} to the input signature	2024-07-03 11:32:35 +02:00
Arthur Baars	b12b33c8f9	Merge remote-tracking branch 'upstream/main' into 'rc/3.14'	2024-06-28 19:50:35 +02:00
Anders Schack-Mulligen	9d8ee99c1c	Merge pull request #16806 from aschackmull/dataflow/debug-stages ... Dataflow: Add path-problem view of intermediate stages for debug purposes.	2024-06-26 12:53:12 +02:00
Anders Schack-Mulligen	1cc49af454	Dataflow: Address review comments.	2024-06-25 15:19:55 +02:00
Asger F	551743e000	Shared: add location for 'this' CaptureContainer ... Only has an effect for debugging purposes	2024-06-25 10:34:28 +02:00
github-actions[bot]	fd385736e6	Post-release preparation for codeql-cli-2.17.6	2024-06-25 06:39:45 +00:00
github-actions[bot]	e32a587078	Release preparation for version 2.17.6	2024-06-24 14:33:10 +00:00
Anders Schack-Mulligen	fdf6e30888	Dataflow: Handle non-trivial type systems with stores into a top type.	2024-06-24 13:35:50 +02:00
Anders Schack-Mulligen	a26132e818	Dataflow: Replace stage 3 type pruning with flow-insensitive type pruning.	2024-06-24 13:35:50 +02:00
Anders Schack-Mulligen	8c23e21073	Dataflow: Cache compatibleTypes.	2024-06-24 13:35:48 +02:00
Anders Schack-Mulligen	06a7e3f3ee	Dataflow: Cache typeStrongerThan.	2024-06-24 13:35:48 +02:00
Anders Schack-Mulligen	bd99f32a4b	Dataflow: Check types on ParamReturnNode.	2024-06-24 13:35:47 +02:00
Anders Schack-Mulligen	accc73d1d0	Dataflow: Add debug graph for pruning stages.	2024-06-21 14:25:32 +02:00