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 |
|
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
|
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 |
|
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 |
|
Mathias Vorreiter Pedersen
|
feea29b8fe
|
C++: Move classes.
|
2024-11-15 14:21:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
c80bea33e5
|
C++: Stylistic fixes.
|
2024-11-15 14:20:12 +00:00 |
|
Rasmus Lerchedahl Petersen
|
065f3d1d7a
|
cpp: locations in range analysis
|
2024-11-15 14:10:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
42c1937776
|
Update IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-11-14 21:28:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
229d40ad8b
|
Update IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-11-14 21:28:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
b10696c155
|
Update IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-11-14 21:28:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
6e7256f9d4
|
C++: Delete unused predicates.
|
2024-11-14 16:46:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
442968c3c2
|
C++: Properly restrict 'unary_simple_comparison_eq'.
|
2024-11-14 16:29:49 +00:00 |
|