2994 Commits

Author	SHA1	Message	Date
Jeroen Ketema	5455a365d1	C++: Update tests after extractor changes	2024-07-30 13:52:23 +02:00
Mathias Vorreiter Pedersen	afc0d0a078	C++: Accept test changes.	2024-07-30 11:54:20 +01:00
Mathias Vorreiter Pedersen	f932e515a7	C++: Accept test changes.	2024-07-30 11:11:38 +01:00
Mathias Vorreiter Pedersen	8edf19adc0	C++: Add MaD model for 'std::format'.	2024-07-30 10:15:39 +01:00
Mathias Vorreiter Pedersen	ff788c93c0	C++: Add a model for 'std::format' and a failing test.	2024-07-30 10:13:39 +01:00
Alexandre Boulgakov	2396c3c798	C++: Update MaD tests with correct template parameter counting in the presence of packs.	2024-07-29 14:59:49 +01:00
Jeroen Ketema	e1329dff72	Merge pull request #16947 from github/calumgrant/attributes ... C++: Update attributes test output	2024-07-26 21:05:46 +02:00
Mathias Vorreiter Pedersen	c0263bef5a	Merge pull request #17062 from MathiasVP/speed-up-alias-analysis-4 ... C++: Speed up alias analysis	2024-07-26 10:02:02 +01:00
Jeroen Ketema	a944922c97	C++: Add more explicit(bool) tests	2024-07-26 09:47:01 +02:00
Jeroen Ketema	3e7a60c1a6	C++: Add additional test cases for explict and explicit(bool) specifiers ... Note that the `explict(bool)` specifiers currently do not end up in the database.	2024-07-25 14:41:44 +02:00
Mathias Vorreiter Pedersen	099c282277	C++: Move large function to its own file.	2024-07-25 12:11:09 +01:00
Mathias Vorreiter Pedersen	c5da43e691	Merge pull request #16981 from MathiasVP/phi-escape-5-follow-up-2 ... C++: Alias analysis follow-up to #16907	2024-07-25 11:59:44 +01:00
Calum Grant	d8cc92068a	C++: Update attributes test output	2024-07-24 17:48:35 +01:00
Mathias Vorreiter Pedersen	4a34dc125b	C++: Expand the macro manually to work around an extractor bug.	2024-07-24 15:51:54 +01:00
Mathias Vorreiter Pedersen	b3bffb6826	Merge branch 'main' into phi-escape-5-follow-up-2	2024-07-24 15:22:40 +01:00
Mathias Vorreiter Pedersen	5e484e4006	C++: Accept test changes.	2024-07-24 14:29:42 +01:00
Mathias Vorreiter Pedersen	28cff2ea20	C++: Add a testcase with many def/use pairs in alias analysis.	2024-07-24 13:46:31 +01:00
Mathias Vorreiter Pedersen	854a277ab5	Merge branch 'main' into more-alias-and-side-effect-models	2024-07-24 10:53:27 +01:00
Jeroen Ketema	acbca9c108	C++: Support destroying deletes	2024-07-24 08:21:01 +02:00
Mathias Vorreiter Pedersen	281212a22c	C++: Accept test changes.	2024-07-22 16:23:26 +01:00
Geoffrey White	98319be3a7	Merge pull request #16985 from geoffw0/madprov ... C++: Support MaD alert provenance	2024-07-17 16:25:49 +01:00
Mathias Vorreiter Pedersen	1c8e0c453c	C++: Fix more inconsistencies.	2024-07-17 15:44:50 +01:00
Mathias Vorreiter Pedersen	45ba0c3319	Merge pull request #16907 from MathiasVP/phi-escape-5 ... C++: Add a new `MemoryLocation` to represent sets of `Allocation`s	2024-07-17 15:44:04 +01:00
Mathias Vorreiter Pedersen	9504e0f119	C++: Accept test changes.	2024-07-16 16:24:00 +01:00
Geoffrey White	195c20cfd5	C++: Fix provenance for sources/sinks.	2024-07-16 09:33:51 +01:00
Geoffrey White	eefbb676e9	C++: Support alert provenance.	2024-07-16 09:33:48 +01:00
Geoffrey White	391816c9e7	C++: Add path graph to one of the external models tests.	2024-07-15 17:37:55 +01:00
Alexandre Boulgakov	faf77d5526	C++: Update special members test results.	2024-07-12 18:10:32 +01:00
Alexandre Boulgakov	b3b04b4e5b	C++: Extend template member test to better test on-demand indexing of special member functions.	2024-07-12 18:08:18 +01:00
Alexandre Boulgakov	18d9310a61	C++: Update tests to reflect on-demand indexing of special member functions. ... None of these tests were relying on the removed rows.	2024-07-12 18:06:56 +01:00
Mathias Vorreiter Pedersen	7a2b170da2	C++: Accept test changes.	2024-07-12 09:54:20 +01:00
Calum Grant	24914efcb8	Merge pull request #16956 from github/calumgrant/cpp20-array-sizes ... C++: Test C++20 implicit array sizes.	2024-07-11 17:44:08 +01:00
Calum Grant	29df3cb5b3	C++: Add test for C++20 implicit array sizes ... Implement NewArrayExpr.getArraySize()	2024-07-11 12:59:52 +01:00
Jeroen Ketema	87d9218369	Merge pull request #16951 from jketema/builtin-op ... C++: Support more builtin operations	2024-07-11 12:50:46 +02:00
Jeroen Ketema	5e0ce7efc4	C++: Fix test	2024-07-11 11:58:25 +02:00
Jeroen Ketema	3f789bad60	C++: Support more builtin operations	2024-07-10 21:27:09 +02:00
Mathias Vorreiter Pedersen	8ccdc2518f	C++: Accept test changes.	2024-07-06 12:27:41 +01:00
Mathias Vorreiter Pedersen	79919d3c58	C++: Add FP dataflow test.	2024-07-05 17:36:47 +01:00
Mathias Vorreiter Pedersen	4893785c68	C++: Accept test changes to GVN.	2024-07-04 15:15:46 +01:00
Mathias Vorreiter Pedersen	6ef9dba2fb	C++: Accept test changes.	2024-07-04 14:22:04 +01:00
Mathias Vorreiter Pedersen	d1e1037586	C++: Accept test changes.	2024-07-04 14:22:00 +01:00
Mathias Vorreiter Pedersen	c5c4f08bea	C++: Rename from 'getAllocation' to 'getAnAllocation'.	2024-07-04 12:12:00 +01:00
Mathias Vorreiter Pedersen	4953e7e7fa	C++: Add tests.	2024-07-04 12:11:50 +01:00
Mathias Vorreiter Pedersen	8e18e7d4e6	Merge pull request #16791 from MathiasVP/collection-content-2 ... C++: Add support for `Element` content	2024-07-04 08:52:33 +01:00
Mathias Vorreiter Pedersen	356d928544	C++: Accept test changes.	2024-07-03 18:16:20 +01:00
Mathias Vorreiter Pedersen	b8c01e2901	C++: Accept test changes.	2024-07-03 11:18:21 +01:00
Mathias Vorreiter Pedersen	4535043e90	C++: Accept test changes.	2024-06-27 20:15:58 +01:00
Jeroen Ketema	8defd27b49	C++: Update test expectations	2024-06-27 17:45:33 +02:00
Mathias Vorreiter Pedersen	e845204ec9	C++: Add tests of internal MaD predicates and accept test changes.	2024-06-26 14:10:31 +01:00
Jeroen Ketema	285ed3630b	C++: Update expected test results	2024-06-25 09:16:05 +02:00