597 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	e594e7283d	Dataflow: Check stateful in/out-barriers in each stage.	2024-08-21 10:44:45 +02:00
Anders Schack-Mulligen	c2b25c7f2b	Dataflow: Check clearsContent on store targets in StagePathGraph.	2024-08-21 10:44:44 +02:00
Anders Schack-Mulligen	b8d0b691da	Dataflow: Introduce sink projection and add successor as member predicate.	2024-08-21 10:44:44 +02:00
Anders Schack-Mulligen	bc1dd45d4f	Dataflow: Make private	2024-08-21 10:44:43 +02:00
Anders Schack-Mulligen	9429e5ccba	Dataflow: Update StagePathNode.toString.	2024-08-21 10:44:43 +02:00
Anders Schack-Mulligen	81a815c343	Dataflow: Add StagePathNode.getState.	2024-08-21 10:44:43 +02:00
Anders Schack-Mulligen	bdcc5e7b67	Dataflow: Refactor getLocation	2024-08-21 10:44:42 +02:00
Anders Schack-Mulligen	bc0ae4cd1e	Dataflow: Replace StagePathNode.getNode with getNodeEx.	2024-08-21 10:44:42 +02:00
Anders Schack-Mulligen	9bd3f3dee0	Dataflow: Rename StagePathNode to StagePathNodeImpl.	2024-08-21 10:44:41 +02:00
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