2923 Commits

Author	SHA1	Message	Date
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
Mathias Vorreiter Pedersen	493ea6da31	C++: Add a new consistency check for branching on non-boolean values.	2024-11-18 15:21:28 +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	bb85aa2fc9	C++: Accept test changes.	2024-11-14 16:29:51 +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	91b1cb8a76	C++: Some renaming	2024-11-12 09:49:10 +00: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