2980 Commits

Author	SHA1	Message	Date
Henry Mercer	963f084d87	Merge branch 'main' into henrymercer/merge-back-rc-3.16	2024-12-04 13:39:10 +00:00
Mathias Vorreiter Pedersen	8d035e61a3	C++: Fix test.	2024-12-04 12:33:02 +00:00
Mathias Vorreiter Pedersen	c3086d4ecd	C++: Fix models and accept test changes.	2024-12-03 19:13:00 +00:00
Mathias Vorreiter Pedersen	3abb9049bb	C++: Fix testcase to reveal problematic models.	2024-12-03 19:06:20 +00:00
Jeroen Ketema	1420f564a5	C++: Update expected test results	2024-12-03 19:18:55 +01:00
Mathias Vorreiter Pedersen	593e2233f8	C++: Update test changes after 0c8245f727.	2024-12-03 17:55:59 +00:00
Mathias Vorreiter Pedersen	0c8245f727	Update cpp/ql/test/library-tests/dataflow/taint-tests/atl.cpp ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2024-12-03 17:53:01 +00:00
Mathias Vorreiter Pedersen	3c0af498db	C++: Fix bug introduced in an earlier commit and accept test changes. They all look good.	2024-11-27 19:04:25 +00:00
Mathias Vorreiter Pedersen	19e7c37760	C++: Update the final test changes. Nothing exciting here.	2024-11-27 16:41:58 +00:00
Mathias Vorreiter Pedersen	d69de0cc76	C++: Add a MaD model for 'CRegKey' and mark query calls as local flow sources.	2024-11-27 16:41:57 +00:00
Mathias Vorreiter Pedersen	5aada39a4e	C++: Add failing tests for 'CRegKey'.	2024-11-27 16:41:55 +00:00
Mathias Vorreiter Pedersen	33212da876	C++: Add a MaD model for 'CAtlTemporaryFile' and mark reads as local flow sources.	2024-11-27 16:41:53 +00:00
Mathias Vorreiter Pedersen	67ba85a0a3	C++: Add failing tests for 'CAtlTemporaryFile'.	2024-11-27 16:41:52 +00:00
Mathias Vorreiter Pedersen	3709151353	C++: Add a MaD model for 'CAtlFileMappingBase' and mark reads as local flow sources.	2024-11-27 16:41:51 +00:00
Mathias Vorreiter Pedersen	ac0599cf75	C++: Add a failing test with 'CAtlFileMapping'.	2024-11-27 16:41:50 +00:00
Mathias Vorreiter Pedersen	74eae4a18d	C++: Add a MaD model for 'CAtlFile' and mark reads as local flow sources.	2024-11-27 16:41:48 +00:00
Mathias Vorreiter Pedersen	dee47f2111	C++: Add a failing test with 'CAtlFile'.	2024-11-27 16:41:47 +00:00
Mathias Vorreiter Pedersen	e73fccdb4a	C++: Add more types that we'll need for later.	2024-11-27 16:41:46 +00:00
Mathias Vorreiter Pedersen	300e3eaba6	C++: Add MaD model for 'CUrl'.	2024-11-27 16:41:45 +00:00
Mathias Vorreiter Pedersen	1ea879a880	C++: Add failing tests for 'CUrl'.	2024-11-27 16:41:43 +00:00
Mathias Vorreiter Pedersen	74b6c9dcc7	C++: Add MaD model for 'CSimpleMap'.	2024-11-27 16:41:42 +00:00
Mathias Vorreiter Pedersen	12674ea2e6	C++: Add failing tests with 'CSimpleMap'.	2024-11-27 16:41:41 +00:00
Mathias Vorreiter Pedersen	02b88d5dbd	C++: Add MaD model for 'CSimpleArray'.	2024-11-27 16:41:40 +00:00
Mathias Vorreiter Pedersen	029c0134eb	C++: Add failing tests with 'CSimpleArray'.	2024-11-27 16:41:38 +00:00
Mathias Vorreiter Pedersen	c61395b973	C++: Add implicit read of the 'm_strPath' member.	2024-11-27 16:41:37 +00:00
Mathias Vorreiter Pedersen	354361952a	C++: Add MaD model for 'CPathT'.	2024-11-27 16:41:36 +00:00
Mathias Vorreiter Pedersen	1a79290fd6	C++: Add failing tests with 'CPathT'.	2024-11-27 16:41:35 +00:00
Mathias Vorreiter Pedersen	5f05417890	C++: Add MaD model for 'CComSafeArray'.	2024-11-27 16:41:33 +00:00
Mathias Vorreiter Pedersen	e831cb5f26	C++: Add failing tests with 'CComSafeArray'.	2024-11-27 16:41:32 +00:00
Mathias Vorreiter Pedersen	948be09257	C++: Add an taint step from object to field for 'CComBSTR's.	2024-11-27 16:41:31 +00:00
Mathias Vorreiter Pedersen	9b004848a3	C++: Add MaD model for 'CComBSTR'.	2024-11-27 16:41:30 +00:00
Mathias Vorreiter Pedersen	68ee8da574	C++: Add failing tests with 'CComBSTR'.	2024-11-27 16:41:28 +00:00
Mathias Vorreiter Pedersen	2b8ef5a8c8	C++: Add MaD model for 'CAtlList'.	2024-11-27 16:41:27 +00:00
Mathias Vorreiter Pedersen	c604a93d16	C++: Add failing tests with 'CAtlList'.	2024-11-27 16:41:26 +00:00
Mathias Vorreiter Pedersen	0f8df1cd9f	C++: Add MaD model for 'CAtlArray'.	2024-11-27 16:41:24 +00:00
Mathias Vorreiter Pedersen	1cd426e9f9	C++: Add failing tests with 'CAtlArray'.	2024-11-27 16:41:23 +00:00
Mathias Vorreiter Pedersen	4f2cd81f9e	C++: Accept test changes.	2024-11-27 16:41:22 +00:00
Mathias Vorreiter Pedersen	2c7d0dec7d	C++: Accept test changes.	2024-11-27 16:41:19 +00:00
Mathias Vorreiter Pedersen	749602c982	C++: Add failing tests with CA2AEX and friends.	2024-11-27 16:41:17 +00:00
Mathias Vorreiter Pedersen	f688470324	C++: Since isConstructedFrom only holds for templates we need to explicitly handle the case where the function (or class) is not a template.	2024-11-27 16:41:16 +00:00
Mathias Vorreiter Pedersen	16e5fa34d1	C++: Add failing tests with U_STRINGorID.	2024-11-27 15:49:39 +00:00
Mathias Vorreiter Pedersen	fe9feb900d	C++: We will need all these types.	2024-11-27 15:49:38 +00:00
Mathias Vorreiter Pedersen	39b61598e9	C++: Accept test changes.	2024-11-26 13:57:38 +00:00
Mathias Vorreiter Pedersen	f65f11b404	C++: Add a test for a somewhat embarrasing bug: MaD didn't check the function name in some cases.	2024-11-26 13:43:42 +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
REDMOND\brodes	007dd83799	Updating ir test expected files.	2024-11-20 14:40:58 -05: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	28391d19b6	C++: Add some more tests to expose consistency issues.	2024-11-18 15:25:57 +00:00