12813 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	9e9a580d02	C++: Add MaD generation test with union content.	2025-04-23 11:11:17 +01:00
Mathias Vorreiter Pedersen	07d8f8dd0d	C++: Add an empty model to prevent a warning.	2025-04-23 10:24:17 +01:00
Mathias Vorreiter Pedersen	3fd760c632	C++: Move 'InlineMadTest.qll' out of 'lib/utils/test' and into 'test' since C++ has no external packs depending on MaD testing.	2025-04-20 16:49:02 +01:00
Mathias Vorreiter Pedersen	6fcf56e6e1	C++: Add more tests.	2025-04-20 16:49:00 +01:00
Mathias Vorreiter Pedersen	f6f5f97109	C++: Also make protected members irrelevant.	2025-04-20 16:48:58 +01:00
Mathias Vorreiter Pedersen	e55f94c364	C++: Move contents of 'isUninterestingForDataFlowModels' to 'relevant'	2025-04-20 16:48:56 +01:00
Mathias Vorreiter Pedersen	9cba91c682	C++: Add another entry to 'qlpack' for external models.	2025-04-20 16:48:54 +01:00
Mathias Vorreiter Pedersen	0ce6ab5444	Remove an unnecessary if.	2025-04-20 16:48:53 +01:00
Mathias Vorreiter Pedersen	5462dcdf75	C++: Make final member functions not extensible.	2025-04-20 16:48:51 +01:00
Mathias Vorreiter Pedersen	1f43e51be4	C++: Fix ql-for-ql findings.	2025-04-20 16:48:49 +01:00
Mathias Vorreiter Pedersen	1465058da0	C++: Add copy-pasted files from C#.	2025-04-20 16:48:47 +01:00
Mathias Vorreiter Pedersen	09ebd6e87d	C++: Instantiate inline expectation test framework to test model generation.	2025-04-20 16:48:45 +01:00
Mathias Vorreiter Pedersen	f241e4b537	C++: Add tests that will soon succeed.	2025-04-20 16:48:43 +01:00
Mathias Vorreiter Pedersen	3d48b23428	C++: Instantiate model generation library.	2025-04-20 16:48:41 +01:00
Jeroen Ketema	0bcee84117	C++: Minor textual fixes	2025-04-17 12:33:27 +02:00
idrissrio	15fe2fbba6	C++: update stats file	2025-04-16 20:45:33 +02:00
idrissrio	36a425715c	C++: add upgrade and downgrade scripts	2025-04-16 17:07:25 +02:00
idrissrio	d8afd2a786	C++: add change note for designator-based initializations	2025-04-16 16:23:32 +02:00
idrissrio	49183bb82a	C++: add predicate to distinguish between array/field designators	2025-04-16 16:19:26 +02:00
Ian Lynagh	bdd3207752	Merge branch 'main' into post-release-prep/codeql-cli-2.21.1	2025-04-16 11:54:23 +01:00
github-actions[bot]	d78736b1bf	Post-release preparation for codeql-cli-2.21.1	2025-04-15 16:33:15 +00:00
idrissrio	202040fad4	C++: update stats file	2025-04-15 13:36:24 +02:00
idrissrio	ae07272c44	C++: add upgrade and downgrade scripts	2025-04-15 11:09:31 +02:00
idrissrio	15ba9e0c66	C++: add change note for VLAs	2025-04-15 11:06:19 +02:00
idrissrio	033bade0ab	C++: add isVLA() to ArrayType to identify variable-length arrays	2025-04-15 11:03:26 +02:00
github-actions[bot]	b961c5961d	Release preparation for version 2.21.1	2025-04-14 09:53:06 +00:00
Mathias Vorreiter Pedersen	deef95d384	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll ... Co-authored-by: Taus <tausbn@github.com>	2025-04-11 12:43:59 +01:00
Mathias Vorreiter Pedersen	bfc494c0e1	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll ... Co-authored-by: Taus <tausbn@github.com>	2025-04-11 12:43:51 +01:00
Mathias Vorreiter Pedersen	3bb249f580	C++: Ensure we always have 'Position's even if there are no calls in the DB.	2025-04-10 14:28:40 +01:00
Mathias Vorreiter Pedersen	b678112f4d	C++: Add a few predicates to 'ReturnKind'.	2025-04-10 14:28:38 +01:00
Mathias Vorreiter Pedersen	960e9900af	C++: Move the 'getArgumentIndex' into the abstract 'Position' class. It is implemented in all subclasses anyway.	2025-04-10 14:28:36 +01:00
Mathias Vorreiter Pedersen	94e08e318d	C++: Expose a few predicates from 'ExternalFlow'.	2025-04-10 14:18:47 +01:00
idrissrio	14a84c3209	C++: update expected test results after extractor changes	2025-04-02 15:20:06 +02:00
Arthur Baars	0e23b86bf5	Merge pull request #19182 from github/post-release-prep/codeql-cli-2.21.0 ... Post-release preparation for codeql-cli-2.21.0	2025-04-01 15:12:29 +02:00
github-actions[bot]	10205cb990	Post-release preparation for codeql-cli-2.21.0	2025-04-01 11:30:43 +00:00
Idriss Riouak	1ebce01c95	Merge pull request #19159 from github/idrissrio/calling-conventions ... C++: Add class representing calling conventions	2025-04-01 10:31:16 +02:00
idrissrio	d61d9730c8	C++: add change note for calling conventions	2025-04-01 09:53:36 +02:00
github-actions[bot]	84f6564cc0	Release preparation for version 2.21.0	2025-03-31 17:35:15 +00:00
idrissrio	9ec7f3c9a5	C++: add test for calling conventions	2025-03-31 17:45:44 +02:00
idrissrio	f83f14bab2	C++: add calling convention specifier class	2025-03-31 17:44:56 +02:00
Anders Schack-Mulligen	a6a694dec6	C++: Use DataFlowIntegration in IteratorFlow.	2025-03-31 10:49:43 +02:00
Anders Schack-Mulligen	aaa7e4cf95	C++: Def is only used in defToNode, which doesn't include phi reads nodes.	2025-03-31 10:49:43 +02:00
Anders Schack-Mulligen	133f08784f	C++: Eliminate dead code, uncertain is always false.	2025-03-31 10:49:42 +02:00
Anders Schack-Mulligen	a8b19d2b21	Merge pull request #19147 from aschackmull/ssa/writedef-source-refactor ... Ssa: Refactor data flow integration to make the input signature simpler	2025-03-31 10:07:09 +02:00
Jeroen Ketema	86ecef6481	Merge pull request #19144 from jketema/dollar-escape ... C++: Escape any `$` - specifically in `$@` - coming from error messages	2025-03-28 12:40:08 +01:00
Anders Schack-Mulligen	5a986f5327	SSA: Remove empty predicates and dead code.	2025-03-28 12:00:38 +01:00
Anders Schack-Mulligen	308d15401f	C++: Add ssaDefHasSource.	2025-03-28 11:57:30 +01:00
Anders Schack-Mulligen	0c74f21107	Merge pull request #19044 from aschackmull/ssa/useuse-trim ... Ssa: Trim the use-use relation to skip irrelevant nodes	2025-03-28 11:55:34 +01:00
Idriss Riouak	2a78211dde	Merge pull request #19087 from github/idrissrio/preprocessor-multiline ... C++: Add QL Tests for Multiline Directive Support	2025-03-28 11:02:19 +01:00
Jeroen Ketema	8dbd81b296	C++: Add test for $` escaping	2025-03-28 10:57:23 +01:00