916 Commits

Author	SHA1	Message	Date
Tom Hvitved	2b37c6cd32	Merge pull request #17548 from hvitved/shared/inline-test-post-process ... Shared: Post-processing query for inline test expectations	2024-10-31 11:40:11 +01:00
Tom Hvitved	c936468b17	Merge pull request #17739 from hvitved/dataflow/big-step-quadratic	2024-10-31 08:16:16 +01:00
Anders Schack-Mulligen	b556590ef8	Merge pull request #17663 from aschackmull/dataflow/speculative-flow ... Dataflow: Add support for speculative taint flow.	2024-10-31 08:12:43 +01:00
Anders Schack-Mulligen	570b042645	Dataflow: Rename SpeculativeFlow to SpeculativeGlobal.	2024-10-30 15:23:15 +01:00
Tom Hvitved	495c92df38	Shared: Also take query ID into account in PathProblemSourceTestInput	2024-10-30 10:54:40 +01:00
Tom Hvitved	e7a3e6bfed	Shared: Post-processing query for inline test expectations	2024-10-29 13:35:29 +01:00
Tom Hvitved	b111194fbc	Shared: Simplify PrettyPrintModels.ql	2024-10-29 13:35:28 +01:00
Tom Hvitved	7c4d5981dd	Shared: Add missing spaces in inline test expectation output	2024-10-25 13:23:03 +02:00
Tom Hvitved	2e7b71c28d	Data flow: Prevent quadratic blowup in Stage6Param::localStep	2024-10-23 10:41:12 +02:00
Tom Hvitved	c4c936d6fa	Rust: Speedup SummaryStats.ql	2024-10-21 15:21:13 +02:00
Chuan-kai Lin	41e811773c	Merge pull request #17648 from github/cklin/dataflow-diff-informed-filtering ... Dataflow: apply diff-informed filtering consistently	2024-10-18 06:02:28 -07:00
Chuan-kai Lin	1aa3eb527f	Dataflow: apply diff-informed filtering consistently	2024-10-17 10:23:38 -07:00
Anders Schack-Mulligen	c20f12fa6c	Add qldoc.	2024-10-16 14:35:23 +02:00
Anders Schack-Mulligen	6c6b6061bc	Dataflow: Add consistency check.	2024-10-16 14:35:19 +02:00
Anders Schack-Mulligen	7d123296f8	Dataflow: Add speculative flow modules.	2024-10-16 14:35:18 +02:00
Anders Schack-Mulligen	c80627a3d3	Dataflow: add plumbing for adding provenance to state-steps.	2024-10-16 14:35:18 +02:00
github-actions[bot]	079ab77a38	Post-release preparation for codeql-cli-2.19.2	2024-10-15 12:16:59 +00:00
github-actions[bot]	255f55cf1a	Release preparation for version 2.19.2	2024-10-15 10:29:25 +00:00
Tom Hvitved	4df9cd88ef	Merge pull request #17658 from hvitved/shared/cfg-conditional-splitting ... Shared `ConditionalCompletionSplitting` implementation	2024-10-10 13:21:38 +02:00
Tom Hvitved	6a87eb0c73	Merge pull request #17696 from hvitved/rust/captured-variables ... Rust: Account for captured variables	2024-10-09 19:42:03 +02:00
Tom Hvitved	aa7215bbd5	Address review comments	2024-10-09 17:22:16 +02:00
Michael Nebel	79871aa51e	Merge pull request #17687 from michaelnebel/modelgen/removeduplicatedf ... C#/Java: Avoid `df` and `dfc` overlap in model generation.	2024-10-09 14:04:31 +02:00
Michael Nebel	5d4ceeebb5	Shared: Only generate df summary model in the mixed query in case no context sensitive model exist.	2024-10-09 13:04:32 +02:00
Tom Hvitved	3d95369608	Shared ConditionalSplitting implementation	2024-10-09 11:02:13 +02:00
Tom Hvitved	9952997b48	Shared: Add DenseRank library	2024-10-09 10:16:59 +02:00
Asger F	5a4cd1c578	Merge pull request #17661 from asgerf/shared/js-useuse-ssa-changes ... SSA: Add BarrierGuardWithState	2024-10-08 08:27:18 +02:00
Asger F	1ce0ba5083	SSA: Make WithState private	2024-10-07 14:48:28 +02:00
Asger F	9902874ddd	SSA: Add BarrierGuardWithState	2024-10-03 13:48:44 +02:00
Michael Nebel	104d448b16	Shared: Only use heuristic summary flow in case there is no content based flow.	2024-10-02 15:24:01 +02: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	6f74387600	Merge pull request #17521 from michaelnebel/modelgen/moreimprovements ... C#/Java: Content based model generation improvements.	2024-09-30 11:22:30 +02:00
Michael Nebel	baae8d0bb2	Shared: Address model generator review comments.	2024-09-30 09:12:30 +02:00
Michael Nebel	80497f551e	Shared: Only make unlifted models in case the API itself is relevant.	2024-09-27 09:22:25 +02:00
Michael Nebel	8310faa2e9	C#/Java: Add a query that uses both content based and non-content based model generation.	2024-09-27 09:22:11 +02:00
Tom Hvitved	7c473c38c0	Merge pull request #17585 from hvitved/shared/cfg-scope-no-first-consistency ... Shared: Add CFG consistency check for scopes with missing entry points	2024-09-26 14:05:08 +02:00
Michael Nebel	2a5dc204fb	Shared: Add dfc as a valid model origin.	2024-09-26 13:00:57 +02:00
Michael Nebel	e70297a7bc	Shared: Content based models is now printed with dfc-generated provenance.	2024-09-26 13:00:39 +02:00
Michael Nebel	53c20ccaeb	Shared: Some model generator re-factoring.	2024-09-26 12:55:01 +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
Michael Nebel	6cd548f410	Shared: Only exclude API and parameter combinations where we could get more than three summaries.	2024-09-26 12:00:04 +02:00
Rasmus Wriedt Larsen	431a1af628	Merge branch 'main' into threat-models	2024-09-26 11:44:24 +02:00
Michael Nebel	dd993c3900	Merge pull request #17509 from michaelnebel/modelgen/parammodule ... C#/Java: Re-factor the model generator to be a parameterized module.	2024-09-26 10:57:16 +02:00
Tom Hvitved	ce2d959b7e	Shared: Add CFG consistency check for scopes with missing entry points	2024-09-25 16:43:00 +02:00
Tom Hvitved	90869ec96a	Merge pull request #17558 from hvitved/rust/cfg-consistency-queries ... Rust: Enable CFG consistency checks	2024-09-25 15:14:44 +02:00
Anders Schack-Mulligen	cc63abf0af	Merge pull request #17578 from aschackmull/cpp/fix-inline-sink2 ... Cpp: Replace sink inlining with a forward scan from source.	2024-09-25 13:54:48 +02:00
Tom Hvitved	d299380a5a	Rust: Enable CFG consistency checks	2024-09-25 10:56:44 +02:00
Tom Hvitved	1fb9835f23	Merge pull request #17557 from hvitved/rust/cfg-improvements ... Rust: CFG improvements	2024-09-25 10:54:49 +02:00
Anders Schack-Mulligen	3a1b618a74	Cpp: Replace sink inlining with a forward scan from source.	2024-09-25 10:28:23 +02:00
Michael Nebel	e6085759ae	Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.	2024-09-24 15:46:44 +02:00