84161 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
REDMOND\brodes	fb495bf665	Crypto: Update expected files. There are failures, but accepting them for now and noting the issue for a future PR.	2025-06-13 12:02:57 -04:00
REDMOND\brodes	cf2f0f16b8	Crypto: Initial model of signatures. Still incomplete for verification and correct handling of MACs.	2025-06-13 11:52:37 -04:00
Jeroen Ketema	c7a7447768	C++: Generate an SEH exception edge for each call inside a SEH block	2025-06-13 16:30:25 +02:00
Jeroen Ketema	400424f13c	C++: Add change note	2025-06-13 16:30:24 +02:00
Jeroen Ketema	6f41d3c4e3	C++: Use SEH exception edges for functions that unconditionally throw those	2025-06-13 16:30:23 +02:00
Jeroen Ketema	0038d0f17c	C++: Deprecate ThrowingFunction and no longer use in IR	2025-06-13 16:30:20 +02:00
Idriss Riouak	70647ce290	Merge pull request #19734 from github/idrissrio/goto ... C++: Add support to `__leave`	2025-06-13 16:20:26 +02:00
Simon Friis Vindum	0a6d88487a	Merge pull request #19749 from paldepind/rust/impl-parameter-resolution ... Rust: Disambiguate some method calls based on argument types	2025-06-13 16:14:13 +02:00
Simon Friis Vindum	ef15df35c6	Rust: Apply review suggestions	2025-06-13 15:43:44 +02:00
Simon Friis Vindum	eacf034dde	Rust: Disambiguate some method calls based on argument types	2025-06-13 15:43:39 +02:00
Simon Friis Vindum	d1aee7f704	Rust: Add type inference test	2025-06-13 15:42:08 +02:00
Vasco-jofra	ddf77a0b72	Remove unnecessary spaces	2025-06-13 15:37:27 +02:00
Vasco-jofra	4ea53773b9	Model the TypeORM Repository API	2025-06-13 15:35:46 +02:00
Tom Hvitved	6cca01662d	Merge pull request #19755 from hvitved/rust/type-inference-operand-workaround ... Rust: Temporarily disable type information to flow into operands	2025-06-13 15:25:34 +02:00
Tom Hvitved	7051ad50ea	Merge pull request #19751 from hvitved/rust/type-inference-macro-expr ... Rust: Type inference for macro expressions	2025-06-13 15:24:56 +02:00
Geoffrey White	14b75a968b	Apply suggestions from code review ... Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>	2025-06-13 14:09:49 +01:00
Anders Schack-Mulligen	8838104d6a	Merge pull request #19733 from aschackmull/java/assert-cfg ... Java: Update the CFG for assert statements to make them proper guards.	2025-06-13 14:52:57 +02:00
Geoffrey White	6194676b7d	Rust: Accept consistency failures (for now).	2025-06-13 13:51:01 +01:00
Geoffrey White	62e3cc57c6	Merge branch 'main' into typeinfer	2025-06-13 13:45:19 +01:00
Tom Hvitved	5f4d588cd9	Rust: Temporarily disable type information to flow into operands	2025-06-13 14:21:02 +02:00
Joe Farebrother	e04dea10c8	Merge pull request #19554 from joefarebrother/python-qual-iter-not-return-self ... Python: Modernize iter not returning self query	2025-06-13 13:13:31 +01:00
Anders Schack-Mulligen	6131c680f6	Update java/ql/lib/semmle/code/java/ControlFlowGraph.qll ... Co-authored-by: Tom Hvitved <hvitved@github.com>	2025-06-13 14:07:46 +02:00
Geoffrey White	b89d6d3402	Rust: Implement type inference for ArrayRepeatExprs.	2025-06-13 12:58:51 +01:00
Geoffrey White	51343a5c03	Rust: Implement type inference for ArrayListExprs.	2025-06-13 12:58:49 +01:00
Geoffrey White	f76b56291b	Rust: Implement type inference for 'for' loops on arrays.	2025-06-13 12:58:47 +01:00
Geoffrey White	840ef5ce92	Rust: Add test cases for type inference in loops.	2025-06-13 12:37:32 +01:00
Napalys Klicius	0906d85b39	Merge pull request #19726 from Napalys/js/quality/string_interpolation ... JS: Promote `js/template-syntax-in-string-literal` to the Code Quality suite.	2025-06-13 13:36:53 +02:00
Tom Hvitved	2f698d1590	Rust: Type inference for macro expressions	2025-06-13 13:11:11 +02:00
Tom Hvitved	fd59a27bd2	Rust: Add macro expr type inference test	2025-06-13 13:11:07 +02:00
Tom Hvitved	ad64e04475	Merge pull request #19737 from hvitved/rust/type-inference-string-str-deref ... Rust: Model `String` -> `str` implicit conversion in type inference	2025-06-13 13:09:24 +02:00
Paolo Tranquilli	ad3a5d777d	Rust: add public preview change notes	2025-06-13 13:03:39 +02:00
Mathias Vorreiter Pedersen	c14a4a66d5	C++: Accept test changes. Nothing exciting here.	2025-06-13 11:41:01 +01:00
Paolo Tranquilli	cae4a0459b	Rust: update supported-frameworks.rst	2025-06-13 12:38:33 +02:00
Mathias Vorreiter Pedersen	458a9b0359	C++: Add change note.	2025-06-13 11:06:45 +01:00
Mathias Vorreiter Pedersen	e72fe9b88b	C++: Generate lots of new models.	2025-06-13 10:57:44 +01:00
Mathias Vorreiter Pedersen	b02d859216	C++: Add lots of MaD model generation targets.	2025-06-13 10:56:19 +01:00
Paolo Tranquilli	ff9ac3bb6f	Rust: accept test changes	2025-06-13 11:56:12 +02:00
Tom Hvitved	66c0ff61bb	Rust: Model String -> str implicit conversion in type inference	2025-06-13 11:32:23 +02:00
Tom Hvitved	1acd636553	Merge pull request #19745 from hvitved/rust/path-resolution-has-implementation ... Rust: Use `hasImplementation` in path resolution	2025-06-13 11:17:03 +02:00
idrissrio	7af828720a	C++: address review comments	2025-06-13 09:44:27 +02:00
idrissrio	ac1824aba7	C++: update stats file	2025-06-13 09:44:26 +02:00
idrissrio	7152e68a4d	C++: add upgrade and downgrade scripts	2025-06-13 09:44:25 +02:00
idrissrio	e6faebf850	C++: add change note for LeaveStmt	2025-06-13 09:44:14 +02:00
idrissrio	a6b3310f77	C++: test new class LeaveStmt	2025-06-13 09:44:03 +02:00
idrissrio	f6fa707770	C++: Add LeaveStmt class	2025-06-13 09:44:01 +02:00
idrissrio	7a4de55ac2	C++: Add leave statement to dbscheme	2025-06-13 09:44:00 +02:00
Paolo Tranquilli	118456d127	Rust: regenerate models ... Models are regenerated with the fix from https://github.com/github/codeql/pull/19744 which corrects the order of generation.	2025-06-13 09:06:15 +02:00
Paolo Tranquilli	5df292c286	MaD generator: apply black formatting to all sources	2025-06-13 08:47:07 +02:00
Paolo Tranquilli	1a36374718	MaD generator: really fix ordering problem	2025-06-13 08:45:55 +02:00
Tom Hvitved	3d18e3ea8f	Rust: Use hasImplementation in path resolution	2025-06-13 08:44:44 +02:00