3010 Commits

Author	SHA1	Message	Date
Michael Nebel	c16d913f8a	C++: Re-factor implementation to use the new model generator interface.	2025-04-29 15:22:09 +02:00
Mathias Vorreiter Pedersen	e942ec9964	C++: Fix annotations after #19311.	2025-04-28 10:39:11 +01:00
Mathias Vorreiter Pedersen	6466a5dbaf	Merge branch 'main' into add-missing-predicate-to-mad-generation	2025-04-28 10:33:24 +01:00
Michael Nebel	a589014243	C++: Update model generator tests.	2025-04-25 15:50:10 +02:00
Mathias Vorreiter Pedersen	79c03100f8	C++: Accept test changes.	2025-04-25 12:29:38 +01:00
Mathias Vorreiter Pedersen	63b0dd68c9	C++: Add a test with missing summaries.	2025-04-25 12:18:42 +01:00
Jeroen Ketema	4093afbaab	Merge pull request #19290 from jketema/typeof ... C++: Support C23 `typeof` and `typeof_unqual`	2025-04-24 10:12:46 +02:00
Jeroen Ketema	e97f9495d0	C++: Update expected test results	2025-04-23 16:56:56 +02:00
Mathias Vorreiter Pedersen	9e9a580d02	C++: Add MaD generation test with union content.	2025-04-23 11:11: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	1465058da0	C++: Add copy-pasted files from C#.	2025-04-20 16:48:47 +01:00
Mathias Vorreiter Pedersen	f241e4b537	C++: Add tests that will soon succeed.	2025-04-20 16:48:43 +01:00
idrissrio	14a84c3209	C++: update expected test results after extractor changes	2025-04-02 15:20:06 +02: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	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
idrissrio	9af65001b3	C++: accept changes after C++ extractor preprocessor fix	2025-03-26 15:08:04 +01:00
idrissrio	148ffe8519	C++: accept changes after C++ extractor preprocessor fix	2025-03-26 09:41:20 +01:00
Anders Schack-Mulligen	8749bdb979	C++: Accept test changes.	2025-03-25 13:58:52 +01:00
idrissrio	13f4f48d27	C++: Accept changes after C++ extractor preprocessor fix	2025-03-24 15:16:26 +01:00
idrissrio	3c54722a74	C++: Accept changes after C++ extractor preprocessor fix	2025-03-21 17:33:23 +01:00
idrissrio	5eda853de4	C++: Accept changes after C++ extractor preprocessor fix	2025-03-21 15:25:41 +01:00
idrissrio	878e621a38	Improved source location extraction for directive.	2025-03-21 09:46:54 +01:00
idrissrio	11c71f03f3	C++: Accept changes after C++ extractor preprocessor fix	2025-03-19 16:34:00 +01:00
Mathias Vorreiter Pedersen	a035c9b4d1	C++: Also update source-sink tests.	2025-03-14 20:04:45 +00:00
Mathias Vorreiter Pedersen	636150ea4f	C++: Adjust tests and accept test changes.	2025-03-14 18:43:33 +00:00
Anders Schack-Mulligen	c2309442d5	C++: Accept qltest changes.	2025-03-14 10:51:28 +01:00
Mathias Vorreiter Pedersen	f9a7ac4e89	C++: Accept test changes.	2025-03-07 19:59:06 +00:00
Jeroen Ketema	324499e447	C++: Update template test to also output the value of template arguments ... These values are currently the same as the result that `getTemplateArgument` yields. However, this will change with the upcoming frontend update.	2025-03-04 16:24:21 +01:00
Jeroen Ketema	1591a56aab	C++: Update expected test results after extractor changes	2025-02-04 13:19:49 +01:00
Jeroen Ketema	94608c5996	C++: Update expected test results ... This seemed to have slipped through earlier.	2025-01-30 16:53:24 +01:00
Mathias Vorreiter Pedersen	ff9a4d02f0	Merge pull request #18592 from MathiasVP/fix-enclosing-callable-cpp ... C++: Don't generate dataflow nodes for functions with summaries	2025-01-28 16:57:44 +00:00
Mathias Vorreiter Pedersen	d40322f9eb	C++: (Bugfix 3) Don't conflate summarized callables and source callables in 'nodeGetEnclosingCallable'.	2025-01-28 13:59:19 +00:00
Mathias Vorreiter Pedersen	06bc8add9d	C++: (Bugfix 2) Don't remap isParameterOf.	2025-01-28 13:59:17 +00:00
Mathias Vorreiter Pedersen	01d7ab93e2	C++: Add consistency check to the MaD folder.	2025-01-28 13:59:14 +00:00
Geoffrey White	6337f5a08b	Merge pull request #18586 from geoffw0/floatguards ... C++: Test and (perhaps) fix an issue with guards on floating point comparisons.	2025-01-28 09:05:13 +00:00
Mathias Vorreiter Pedersen	4e44201ba8	C++: Remap calls to source functions to the summarized function.	2025-01-27 16:58:53 +00:00
Mathias Vorreiter Pedersen	ad80b36074	C++: Don't generate parameter nodes for bodyless parameters when there is a summary of the enclosing function.	2025-01-24 20:16:04 +00:00
Mathias Vorreiter Pedersen	cda629b204	C++: Accept test changes. Notice the consistency failure.	2025-01-24 20:13:21 +00:00
Geoffrey White	7664fd16e7	C++: Add more test cases for guards.	2025-01-24 17:51:45 +00:00
Mathias Vorreiter Pedersen	ccb28ed0b3	Merge pull request #18556 from MathiasVP/remove-conflation-from-pure-functions ... C++: Remove pointer/pointee conflation from models of "pure" functions	2025-01-23 15:50:39 +00:00
Mathias Vorreiter Pedersen	2cdb52cad2	C++: Accept test changes after previous commit.	2025-01-23 13:46:47 +00:00
Mathias Vorreiter Pedersen	e0f2f1dd80	Update cpp/ql/test/library-tests/dataflow/taint-tests/taint.cpp ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2025-01-23 13:41:48 +00:00
Mathias Vorreiter Pedersen	a1449bf0bd	C++: Accept test changes.	2025-01-21 20:43:54 +00:00
Mathias Vorreiter Pedersen	503f018600	C++: Add taint test with false flow from conflation.	2025-01-21 20:43:52 +00:00
Jeroen Ketema	442dad4ff9	C++: Update PreprocBlock.qll QLDoc and add C++23 test	2025-01-21 18:02:28 +01:00
Jeroen Ketema	9fd95381dc	C++: Support #elifdef #elifndef, and MSVC's #import	2025-01-21 16:14:16 +01:00
Jeroen Ketema	a0ef2888c7	C++: Add more preprocessor tests	2025-01-21 16:14:13 +01:00
Mathias Vorreiter Pedersen	ed651294b6	Merge branch 'main' into remove-conflation-from-out-nodes	2025-01-20 12:42:26 +00:00