3364 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	74b6c9dcc7	C++: Add MaD model for 'CSimpleMap'.	2024-11-27 16:41:42 +00:00
Mathias Vorreiter Pedersen	02b88d5dbd	C++: Add MaD model for 'CSimpleArray'.	2024-11-27 16:41:40 +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	5f05417890	C++: Add MaD model for 'CComSafeArray'.	2024-11-27 16:41:33 +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	2b8ef5a8c8	C++: Add MaD model for 'CAtlList'.	2024-11-27 16:41:27 +00:00
Mathias Vorreiter Pedersen	0f8df1cd9f	C++: Add MaD model for 'CAtlArray'.	2024-11-27 16:41:24 +00:00
Mathias Vorreiter Pedersen	c00f84d74a	C++: Work around the 'wrong' function name for conversion operators.	2024-11-27 16:41:20 +00:00
Mathias Vorreiter Pedersen	763b991408	C++: Add models.	2024-11-27 16:41:18 +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	bf36f00bb0	C++: Add model. Observe that flow still fails.	2024-11-27 15:49:41 +00:00
Tom Hvitved	7402276ec7	Data flow: Move more logic into DataFlowImplCommon	2024-11-27 09:03:37 +01:00
Mathias Vorreiter Pedersen	e42c7452ef	C++: Cleanup conjuncts. This doesn't change any behavior.	2024-11-26 13:57:51 +00:00
Mathias Vorreiter Pedersen	f7cf5af720	C++: Actually check the function name.	2024-11-26 13:56:22 +00:00
Mathias Vorreiter Pedersen	8fd581dd7e	Merge pull request #18093 from MathiasVP/more-win32-command-execution-functions ... C++: Add more `CommandExecutionFunction`s	2024-11-25 15:26:50 +00:00
Mathias Vorreiter Pedersen	03ab74e07d	C++: Add more 'CommandExecutionFunction's.	2024-11-25 13:43:20 +00:00
Calum Grant	fcf16848d2	Revert "Revert "C++: Implement compilation_build_mode""	2024-11-22 15:48:50 +00:00
Calum Grant	169671ad93	Revert "C++: Implement compilation_build_mode"	2024-11-22 11:42:39 +00:00
github-actions[bot]	258f72db46	Post-release preparation for codeql-cli-2.19.4	2024-11-21 18:01:56 +00:00
REDMOND\brodes	66cf736b4c	printf formatting.	2024-11-21 12:44:28 -05:00
REDMOND\brodes	583651ba40	Missing NonCppThrowingFunction changes in Printf.qll	2024-11-21 12:41:26 -05:00
REDMOND\brodes	248f1c4ebe	Updating change log	2024-11-21 12:15:14 -05:00
REDMOND\brodes	7059fc3e31	Adding intermediate solution towards deprecating ThrowingFunction	2024-11-21 12:10:42 -05:00
REDMOND\brodes	44126913cd	Delaying deprecation of ThrowingFunction.	2024-11-21 12:08:04 -05:00
github-actions[bot]	f7448f5b43	Release preparation for version 2.19.4	2024-11-21 16:55:07 +00:00
REDMOND\brodes	9b2590ec7a	Updating PR per review comments. Moving more towards a simplified model.	2024-11-21 11:28:11 -05:00
Alex Eyers-Taylor	50ec400fe4	Revert "Merge pull request #18036 from github/release-prep/2.19.4" ... This reverts commit aa4cc72f30, reversing changes made to e5951516b8.	2024-11-21 15:41:08 +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
Calum Grant	0836c3d6a5	C++: Update stats	2024-11-21 13:45:22 +00:00
Calum Grant	8050b8246b	C++: Update stats	2024-11-21 13:45:17 +00:00
Calum Grant	10f692b57c	C++: DB upgrade scripts	2024-11-21 13:45:16 +00:00
Calum Grant	d3e8292db9	C++: Update dbscheme	2024-11-21 13:45:15 +00:00
Calum Grant	ac4121dd6c	C++: Describe compilation_build_mode using a case	2024-11-21 13:45:14 +00:00
Calum Grant	6f3e6edd0e	C++: Implement compilation_build_mode	2024-11-21 13:45:13 +00:00
REDMOND\brodes	4078d79f2a	Adds SEH exception edge types, disjoint from normal C++ edges. Does not apply the edges yet, just stipulates the types.	2024-11-20 14:37:32 -05:00
Ben Rodes	69df07ed12	Update cpp/ql/lib/change-notes/2024-11-18-throwing-functions.md ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2024-11-20 09:06:44 -05:00
REDMOND\brodes	4e777561f0	Changing terminology back to "throws" vs "rasis" for alwaysThrowsException to be consistent with other backward compatibility changes.	2024-11-19 15:10:15 -05:00
REDMOND\brodes	a69daa0d20	Missing change to 'mayThrowException' in StructuredExceptionHandling.qll	2024-11-19 13:35:45 -05:00
REDMOND\brodes	07847762e1	bringing back mayThrowException to make it cleaner/easier for backwards compatibility.	2024-11-19 13:17:10 -05:00
REDMOND\brodes	63ddd81059	Merge branch 'brodes/seh_flow_phase1_throwing_models' of https://github.com/microsoft/codeql into brodes/seh_flow_phase1_throwing_models	2024-11-19 12:58:51 -05:00
REDMOND\brodes	26d590a616	Putting back deleted file, and deprecating instead. Deprecating mayThrowException as well.	2024-11-19 12:57:50 -05:00
github-actions[bot]	9783a11565	Release preparation for version 2.19.4	2024-11-19 16:21:37 +00:00
Ben Rodes	5bb765d834	Merge branch 'main' into brodes/seh_flow_phase1_throwing_models	2024-11-19 10:46:17 -05:00
REDMOND\brodes	1c874d3221	Fixed usage raisesException	2024-11-19 10:04:11 -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
REDMOND\brodes	792231c949	Removing SEH default case for function calls as the logic to handle SEH is not yet part of the IR generation to make this logic work.	2024-11-18 14:43:44 -05:00
Ben Rodes	1c7b5aebb5	Merge branch 'main' into brodes/seh_flow_phase1_throwing_models	2024-11-18 12:48:38 -05: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