576 Commits

Author	SHA1	Message	Date
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
Anders Schack-Mulligen	bbdae5188d	Dataflow: Add ArgNodeEx column to fwdFlowIsEntered.	2024-06-21 14:10:37 +02:00
Anders Schack-Mulligen	fa13861e53	Dataflow: Add Debug module with stage references.	2024-06-21 14:02:07 +02:00
Michael Nebel	197cdab43d	Merge pull request #16752 from michaelnebel/shared/sourcesinkcallables ... C#/Java: Add some (shared) helper classes for Neutrals, Sources and Sink	2024-06-17 14:58:27 +02:00
Anders Schack-Mulligen	0e8af39b77	Merge pull request #16719 from aschackmull/shared/fix-qldoc ... Shared: Fix file-module qldoc.	2024-06-17 13:26:57 +02:00
Michael Nebel	57925373c6	Address review comment.	2024-06-17 13:02:25 +02:00
Michael Nebel	3d53ddf919	DataFlow: Add some shared classes for Neutrals, Source and Sink callables.	2024-06-17 12:53:03 +02:00
Mathias Vorreiter Pedersen	3351b9547d	Merge branch 'rc/3.14' into rc-3.14-mergeback	2024-06-11 16:21:08 +01:00
Anders Schack-Mulligen	939ae4a561	Dataflow: Remove unused import.	2024-06-11 08:55:44 +02:00
Anders Schack-Mulligen	87316784ad	Shared: Fix file-module qldoc.	2024-06-11 08:49:15 +02:00
github-actions[bot]	8a25081a0e	Post-release preparation for codeql-cli-2.17.5	2024-06-10 15:33:08 +00:00
github-actions[bot]	877bfa2468	Release preparation for version 2.17.5	2024-06-10 13:40:39 +00:00
Anders Schack-Mulligen	7e980d9524	Add a bit more qldoc.	2024-06-07 11:47:50 +02:00