597 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	4bf63fedc9	Merge pull request #18179 from aschackmull/dataflow/accesspath-notypes ... Dataflow: Remove tracked types from Access Paths, track tainted object type, and tweak type pruning.	2024-12-05 09:58:36 +01:00
github-actions[bot]	cf71a1525b	Post-release preparation for codeql-cli-2.20.0	2024-12-04 18:36:17 +00:00
github-actions[bot]	96564b7128	Release preparation for version 2.20.0	2024-12-04 16:01:14 +00:00
Henry Mercer	963f084d87	Merge branch 'main' into henrymercer/merge-back-rc-3.16	2024-12-04 13:39:10 +00:00
Anders Schack-Mulligen	c187a7ad34	Dataflow: Address review comments.	2024-12-04 11:22:51 +01:00
Anders Schack-Mulligen	b65a4e45ab	Dataflow: Postpone type pruning until stage 5.	2024-12-03 10:59:12 +01:00
Anders Schack-Mulligen	4933e803cf	Dataflow: Track stored type.	2024-12-03 10:59:11 +01:00
Tom Hvitved	fbeb6f3940	Shared: Move shared logic into FlowSummaryImpl.qll	2024-12-03 09:11:11 +01:00
Anders Schack-Mulligen	e9bd1e5b79	Dataflow: Remove types from access paths.	2024-12-02 13:31:51 +01:00
Anders Schack-Mulligen	5d13d3b434	Dataflow: Refactor - deduplicate fwdFlowRead+consCand join.	2024-12-02 13:02:33 +01:00
Anders Schack-Mulligen	70a8bc302c	Dataflow: Rename typecheckStore.	2024-12-02 12:48:19 +01:00
Tom Hvitved	7f9adbd371	Address review comments	2024-12-02 11:44:17 +01:00
Tom Hvitved	7402276ec7	Data flow: Move more logic into DataFlowImplCommon	2024-11-27 09:03:37 +01:00
Alexander Eyers-Taylor	c0474c4e45	Revert "Revert "Post-release preparation for codeql-cli-2.19.4""	2024-11-21 15:37:52 +00:00
Alexander Eyers-Taylor	4effe9e364	Revert "Post-release preparation for codeql-cli-2.19.4"	2024-11-21 14:43:15 +00:00
Tom Hvitved	3f56fc9e89	Address review comments	2024-11-20 13:15:50 +01:00
Tom Hvitved	e5eed2302f	Data flow: Track call contexts in parameterFlow	2024-11-20 12:57:56 +01:00
github-actions[bot]	3909df75dc	Post-release preparation for codeql-cli-2.19.4	2024-11-19 17:54:03 +00:00
github-actions[bot]	9783a11565	Release preparation for version 2.19.4	2024-11-19 16:21:37 +00:00
Tom Hvitved	a35a4b2d98	Merge pull request #17887 from hvitved/dataflow/provenance-order ... Data flow: Order provenance output by textual representation	2024-11-07 14:19:18 +01:00
Tom Hvitved	26b048a645	Address review comment	2024-11-07 10:40:03 +01:00
Geoffrey White	b3f7a8a46f	Merge pull request #17908 from geoffw0/dfcons ... Rust: Expose counts of data flow inconsistencies	2024-11-06 19:11:04 +00:00
Geoffrey White	a645a9e829	Rust: Add getInconsistencyCounts predicate to the shared DataFlowImplConsistency.qll, so it's possibly to access inconsistency data as a whole.	2024-11-04 18:52:20 +00:00
github-actions[bot]	f107d16b4e	Post-release preparation for codeql-cli-2.19.3	2024-11-04 17:20:08 +00:00
github-actions[bot]	cc7b724123	Release preparation for version 2.19.3	2024-11-04 16:37:28 +00:00
Tom Hvitved	8b8b721788	Data flow: Order provenance output by textual representation	2024-11-04 08:47:30 +01:00
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	b111194fbc	Shared: Simplify PrettyPrintModels.ql	2024-10-29 13:35:28 +01:00
Tom Hvitved	2e7b71c28d	Data flow: Prevent quadratic blowup in Stage6Param::localStep	2024-10-23 10:41:12 +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
Rasmus Lerchedahl Petersen	22d621c625	shared: add locations to typetracking nodes	2024-10-16 15:16:18 +02: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
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