13219 Commits

Author	SHA1	Message	Date
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	38fa3c10d6	Update cpp/downgrades/f0156f5f88ab5967c79162012c20f30600ca5ebf/upgrade.properties ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-11-21 13:45:20 +00:00
Calum Grant	d3e44028ea	C++: Fix upgrade.properties	2024-11-21 13:45:18 +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	007dd83799	Updating ir test expected files.	2024-11-20 14:40:58 -05: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	6aa74123af	Merge branch 'main' into brodes/seh_flow_phase1_throwing_models	2024-11-20 12:48:54 -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
Jeroen Ketema	b4718792d1	Merge pull request #17986 from jketema/guarded-free2 ... C++: Reduce number of FPs `cpp/guarded-free` and turn `if(x) { free(x) }` cases from FNs to TPs	2024-11-20 13:58:48 +01: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	23485f185b	Merge branch 'brodes/seh_flow_phase1_throwing_models' of https://github.com/microsoft/codeql into brodes/seh_flow_phase1_throwing_models	2024-11-19 13:36:01 -05:00
REDMOND\brodes	a69daa0d20	Missing change to 'mayThrowException' in StructuredExceptionHandling.qll	2024-11-19 13:35:45 -05:00
Ben Rodes	ae1ed385f6	Merge branch 'main' into brodes/seh_flow_phase1_throwing_models	2024-11-19 13:33:25 -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
Nick Rolfe	a2c6278282	C++: fix typo in qhelp	2024-11-19 17:39:05 +00: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
Jeroen Ketema	84f3e6a0d3	Merge branch 'main' into guarded-free2	2024-11-18 19:09:23 +01: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
REDMOND\brodes	4b83a451bd	Change log	2024-11-18 11:14:46 -05:00
REDMOND\brodes	de05aee483	Adding model transition to using Throwing.qll.	2024-11-18 11:11:25 -05:00
Mathias Vorreiter Pedersen	ccca0b6ba4	C++: Also update syntax-zoo tests.	2024-11-18 15:56:41 +00:00
Mathias Vorreiter Pedersen	4a4552bbc1	C++: Also update the consistency query itself.	2024-11-18 15:55:25 +00:00
Jeroen Ketema	08bf6d7d30	Merge branch 'main' into guarded-free2	2024-11-18 16:50:22 +01: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
Mathias Vorreiter Pedersen	86e95f14e0	Update cpp/ql/lib/change-notes/2024-11-18-guard-conditions.md ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-11-18 14:37:52 +00:00
Mathias Vorreiter Pedersen	90d7616f14	C++: Add change note.	2024-11-18 14:31:36 +00:00
Jeroen Ketema	88be4b88ab	C++: Address review comments	2024-11-18 14:27:01 +01: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	19d53fba8c	C++: Exclude guards in static local or global initializers.	2024-11-17 19:51:35 +00:00
Mathias Vorreiter Pedersen	409f2c1251	C++: Make the formatting of conjunct when using 'getDualValue' consistent.	2024-11-15 15:20:04 +00:00
Mathias Vorreiter Pedersen	459bb6ed04	Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-11-15 14:43:04 +00:00
Mathias Vorreiter Pedersen	5f9d3d7b09	C++: Rename 'ScrutineeValueNumber' to 'SwitchConditionValueNumber'.	2024-11-15 14:28:56 +00:00