407 Commits

Author	SHA1	Message	Date
github-actions[bot]	255f55cf1a	Release preparation for version 2.19.2	2024-10-15 10:29:25 +00:00
github-actions[bot]	e97878ed63	Post-release preparation for codeql-cli-2.19.1	2024-09-30 19:49:00 +00:00
github-actions[bot]	455c8c5953	Release preparation for version 2.19.1	2024-09-30 17:59:48 +00:00
Michael Nebel	2a5dc204fb	Shared: Add dfc as a valid model origin.	2024-09-26 13:00:57 +02:00
Michael Nebel	b041829569	Shared: steps in synthetic path chains should just mention the same synthetic fields.	2024-09-26 12:49:07 +02:00
Anders Schack-Mulligen	3a1b618a74	Cpp: Replace sink inlining with a forward scan from source.	2024-09-25 10:28:23 +02:00
Tom Hvitved	6a11120e50	Address review comments	2024-09-24 14:21:40 +02:00
Tom Hvitved	16925355a8	Data flow: Cache TNodeEx	2024-09-24 14:21:39 +02:00
Tom Hvitved	37490de4a2	Data flow: Remove Boolean column from TNodeImplicitRead	2024-09-24 14:21:37 +02:00
Chuan-kai Lin	1cd8af54f2	Merge pull request #17190 from github/cklin/diff-informed-java-queries ... Java: add support for alert location restrictions	2024-09-23 08:39:24 -07:00
Anders Schack-Mulligen	3a1e50dcf9	Dataflow: Simplify diff-informed implementation and tweak flag name.	2024-09-20 07:07:10 -07:00
Michael Nebel	4a9e3ee3aa	Merge pull request #17363 from michaelnebel/modelgen/fieldbasedimprovements ... C#/Java: Content based model generation improvements.	2024-09-19 10:49:11 +02:00
Tom Hvitved	2972a4eace	Data flow: Remove spurious space in Sink:x provenance	2024-09-18 13:10:24 +02:00
Anders Schack-Mulligen	2837d2551a	Merge pull request #17490 from aschackmull/java/capture-in-obinit ... Java: Fix support for variable capture inside object initializers.	2024-09-18 09:29:01 +02:00
Anders Schack-Mulligen	20661a3c56	Java: Fix support for variable capture inside object initializers.	2024-09-17 10:42:21 +02:00
github-actions[bot]	79be301984	Post-release preparation for codeql-cli-2.19.0	2024-09-16 14:09:32 +00:00
github-actions[bot]	acdafd9646	Release preparation for version 2.19.0	2024-09-16 10:56:10 +00:00
Dave Bartolomeo	485fc04029	Initial merge from main	2024-09-15 08:55:31 -04:00
Chuan-kai Lin	ff78bebf19	Shared support for alert filtering	2024-09-11 13:18:26 -07:00
Michael Nebel	7c0101ad06	Shared: Add some helper predicates to the AccessPath class in content flow.	2024-09-10 15:23:08 +02:00
github-actions[bot]	97edff3f70	Post-release preparation for codeql-cli-2.18.4	2024-09-09 18:45:46 +00:00
github-actions[bot]	91537cdf9a	Release preparation for version 2.18.4	2024-09-09 16:08:48 +00:00
Anders Schack-Mulligen	7b8e707465	Merge pull request #17362 from aschackmull/dataflow/typofix ... Dataflow: Fix minor typo.	2024-09-04 10:39:31 +02:00
Anders Schack-Mulligen	a0f0854fdb	Dataflow: Fix minor typo.	2024-09-03 14:26:02 +02:00
Tom Hvitved	26c5e7b2d1	Merge pull request #17308 from hvitved/dataflow/flow-through-restriction ... Data flow: Reduce non-linear recursion in `fwdFlow0`	2024-09-03 11:30:57 +02:00
Tom Hvitved	07fcd81e7e	Address review comments	2024-09-03 10:13:09 +02:00
Tom Hvitved	1057bb443f	Data flow: Simplify FwdFlowIn interface	2024-09-02 16:10:34 +02:00
Henry Mercer	4ebfafbec2	Merge pull request #17336 from github/henrymercer/rc-3.15-mergeback ... Merge `rc/3.15` back into `main`	2024-09-02 11:43:19 +01:00
Michael Nebel	89c387cf5c	Merge pull request #17326 from michaelnebel/shared/contentflowtaint ... DataFlow: Bugfix in content flow state for value preservation.	2024-08-30 09:23:50 +02:00
Henry Mercer	3490067316	Merge branch 'main' into henrymercer/rc-3.15-mergeback	2024-08-29 19:48:01 +01:00
Michael Nebel	ff31aa540c	Address review comments.	2024-08-29 15:54:04 +02:00
Tom Hvitved	49a4f3a82f	Data flow: Reduce non-linear recursion in fwdFlow0	2024-08-28 17:29:23 +02:00
Michael Nebel	6d346dbedd	DataFlow: Bugfix in flow state for value preservation.	2024-08-28 14:40:04 +02:00
Anders Schack-Mulligen	6a9bd0de1d	Dataflow: Include FlowState in SummaryCtx.	2024-08-28 14:13:28 +02:00
Tom Hvitved	7f8e6bf574	Merge pull request #16970 from hvitved/dataflow/local-big-step-stage ... Data flow: Compute local big step relation as stage output	2024-08-28 12:28:16 +02:00
Tom Hvitved	27bc8ed6af	Address review comment	2024-08-28 11:38:29 +02:00
Tom Hvitved	b589fcad11	Data flow: Tweak join-order in toNormalSinkNodeEx	2024-08-27 15:42:24 +02:00
Tom Hvitved	80b6135a64	Data flow: Move toNormalSinkNodeEx into PathNodeMid	2024-08-27 15:42:13 +02:00
Michael Nebel	287857c5db	Merge pull request #17301 from michaelnebel/shared/contentflowbadjoin ... Shared: Fix bad join in content flow.	2024-08-27 10:17:04 +02:00
Anders Schack-Mulligen	b3fa4f3d9e	Merge pull request #17289 from aschackmull/dataflow/summaryctx ... Dataflow: Simplify using a SummaryCtx type.	2024-08-27 09:32:43 +02:00
Michael Nebel	77bfe39ca7	Shared: Address review comments.	2024-08-26 15:24:56 +02:00
Michael Nebel	4381bae5d1	Shared: Fix bad join.	2024-08-26 15:24:54 +02:00
Anders Schack-Mulligen	d8c8bcd386	Dataflow: Tweak qldoc.	2024-08-26 15:12:37 +02:00
Anders Schack-Mulligen	cbb58d0041	Dataflow: Add a getLocation rootdef.	2024-08-26 15:05:30 +02:00
Asger F	592e2eafb6	Merge pull request #17262 from asgerf/shared/implicit-read ... Shared: restrict flow after using implicit read	2024-08-26 11:48:50 +02:00
Tom Hvitved	e5d626f907	Data flow: Only recompute local big step in stage 6	2024-08-26 09:58:29 +02:00
Tom Hvitved	c92c96fa78	Data flow: Compute local big step relation per stage	2024-08-26 09:15:27 +02:00
Anders Schack-Mulligen	65189e09f5	Dataflow: Simplify using a SummaryCtx type.	2024-08-23 14:18:46 +02:00
Asger F	c3b36325b2	Shared: prevent use-use flow through implicit reads (part 1)	2024-08-23 11:02:28 +02:00
Michael Nebel	20d9fd11ac	Merge pull request #17288 from michaelnebel/shared/contentflow ... Shared: ContentFlow.	2024-08-23 09:52:27 +02:00