12189 Commits

Author	SHA1	Message	Date
github-actions[bot]	258f72db46	Post-release preparation for codeql-cli-2.19.4	2024-11-21 18:01:56 +00:00
github-actions[bot]	f7448f5b43	Release preparation for version 2.19.4	2024-11-21 16:55:07 +00:00
Alex Eyers-Taylor	50ec400fe4	Revert "Merge pull request #18036 from github/release-prep/2.19.4" ... This reverts commit aa4cc72f30, reversing changes made to e5951516b8.	2024-11-21 15:41:08 +00:00
Jeroen Ketema	fa8aba88af	Revert "Merge pull request #17938 from MathiasVP/fix-fp-in-missing-check-scanf-fixing-take-2" ... This reverts commit 6785b93ed8, reversing changes made to d9b86f55c8.	2024-11-21 15:39:00 +01:00
github-actions[bot]	9783a11565	Release preparation for version 2.19.4	2024-11-19 16:21:37 +00:00
Calum Grant	2bfd7326d9	Merge pull request #18004 from github/revert-17948-revert-17694-multiple-entry-point ... Revert "Revert "C++: Do not generate IR for functions with multiple entry points""	2024-11-19 09:20:24 +00:00
Mathias Vorreiter Pedersen	f2f83f77e0	Merge pull request #18013 from MathiasVP/non-boolean-consistency-check ... C++: Add another IR consistency query	2024-11-18 17:27:33 +00:00
Mathias Vorreiter Pedersen	ccca0b6ba4	C++: Also update syntax-zoo tests.	2024-11-18 15:56:41 +00:00
Mathias Vorreiter Pedersen	4a4552bbc1	C++: Also update the consistency query itself.	2024-11-18 15:55:25 +00:00
Mathias Vorreiter Pedersen	28391d19b6	C++: Add some more tests to expose consistency issues.	2024-11-18 15:25:57 +00:00
Mathias Vorreiter Pedersen	493ea6da31	C++: Add a new consistency check for branching on non-boolean values.	2024-11-18 15:21:28 +00:00
Mathias Vorreiter Pedersen	86e95f14e0	Update cpp/ql/lib/change-notes/2024-11-18-guard-conditions.md ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-11-18 14:37:52 +00:00
Mathias Vorreiter Pedersen	90d7616f14	C++: Add change note.	2024-11-18 14:31:36 +00:00
Calum Grant	6a0a7dda76	Revert "Revert "C++: Do not generate IR for functions with multiple entry points""	2024-11-18 10:31:04 +00:00
Mathias Vorreiter Pedersen	19d53fba8c	C++: Exclude guards in static local or global initializers.	2024-11-17 19:51:35 +00:00
Mathias Vorreiter Pedersen	409f2c1251	C++: Make the formatting of conjunct when using 'getDualValue' consistent.	2024-11-15 15:20:04 +00:00
Mathias Vorreiter Pedersen	459bb6ed04	Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-11-15 14:43:04 +00:00
Mathias Vorreiter Pedersen	5f9d3d7b09	C++: Rename 'ScrutineeValueNumber' to 'SwitchConditionValueNumber'.	2024-11-15 14:28:56 +00:00
Mathias Vorreiter Pedersen	feea29b8fe	C++: Move classes.	2024-11-15 14:21:18 +00:00
Mathias Vorreiter Pedersen	c80bea33e5	C++: Stylistic fixes.	2024-11-15 14:20:12 +00:00
Mathias Vorreiter Pedersen	42c1937776	Update IRGuards.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-11-14 21:28:54 +00:00
Mathias Vorreiter Pedersen	229d40ad8b	Update IRGuards.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-11-14 21:28:43 +00:00
Mathias Vorreiter Pedersen	b10696c155	Update IRGuards.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-11-14 21:28:33 +00:00
Mathias Vorreiter Pedersen	6e7256f9d4	C++: Delete unused predicates.	2024-11-14 16:46:19 +00:00
Mathias Vorreiter Pedersen	bb85aa2fc9	C++: Accept test changes.	2024-11-14 16:29:51 +00:00
Mathias Vorreiter Pedersen	442968c3c2	C++: Properly restrict 'unary_simple_comparison_eq'.	2024-11-14 16:29:49 +00:00
Mathias Vorreiter Pedersen	db38069290	C++: Use value numbering in IRGuards.	2024-11-14 16:29:48 +00:00
Mathias Vorreiter Pedersen	a40c1d50b8	C++: Add FP tests.	2024-11-14 16:13:46 +00:00
Calum Grant	67684d1813	Merge pull request #17948 from github/revert-17694-multiple-entry-point ... Revert "C++: Do not generate IR for functions with multiple entry points"	2024-11-13 12:11:02 +00:00
Calum Grant	1a688456f6	Merge pull request #17892 from github/calumgrant/telemetry ... C++: Initial telemetry queries	2024-11-12 11:51:37 +00:00
Calum Grant	91b1cb8a76	C++: Some renaming	2024-11-12 09:49:10 +00:00
Jeroen Ketema	79a9e9c6c0	C++: Address review comments	2024-11-12 10:13:37 +01:00
Jeroen Ketema	a29b958f5f	C++: Address review comments	2024-11-12 09:08:36 +01:00
Calum Grant	317f43d325	C++: Don't use PrintAST in a test	2024-11-11 17:16:47 +00:00
Calum Grant	2351328aa1	C++: Rename SourceFiles metric	2024-11-11 17:16:46 +00:00
Calum Grant	593dcb646b	C++: Remove missing includes test	2024-11-11 17:16:44 +00:00
Calum Grant	fb82d435b5	C++: Various renamings	2024-11-11 17:16:43 +00:00
Calum Grant	34ee947d2f	C++: Limit number of errors/includes to 50	2024-11-11 17:16:42 +00:00
Calum Grant	e6f3512056	C++: Remove unused class UndefinedIdentifier	2024-11-11 17:16:41 +00:00
Calum Grant	faeff396eb	C++: Limit metrics to top 500	2024-11-11 17:16:39 +00:00
Calum Grant	067ecdeea0	C++: Match more tags	2024-11-11 17:16:38 +00:00
Calum Grant	9a81ce8bb4	C++: Separate int and float metrics	2024-11-11 17:16:37 +00:00
Calum Grant	8d2cef632e	C++: Minor edits	2024-11-11 17:16:36 +00:00
Calum Grant	6c402adbcc	C++: Minor edits	2024-11-11 17:16:35 +00:00
Calum Grant	a53e1dec20	C++: Minor edits	2024-11-11 17:16:34 +00:00
Calum Grant	f6776a4249	C++: Initial telemetry queries and tests	2024-11-11 17:16:32 +00:00
Jeroen Ketema	a5a6445b2e	C++: Add tests for experimental cpp/guarded-free query	2024-11-11 17:29:28 +01:00
Calum Grant	2f032ec7b8	C++: Revert 17694 and keep tests	2024-11-11 13:06:50 +00:00
Calum Grant	39b2d2c3d8	Merge pull request #17906 from github/calumgrant/bmn/wrong-number-format-args ... C++: Fix FPs in cpp/wrong-number-format-arguments	2024-11-07 15:05:39 +00:00
Anders Schack-Mulligen	4df4a1e6c6	Merge pull request #17863 from aschackmull/shared/universal-flow ... Shared: Add a Universal Flow library and refactor TypeFlow to use it.	2024-11-06 13:46:13 +01:00