Jeroen Ketema
|
52819432c0
|
C++: Address review comment
|
2024-09-03 17:18:18 +02:00 |
|
Simon Friis Vindum
|
d5948d2d95
|
C++: Add change-note note for realloc as data-flow function
|
2024-09-03 16:15:05 +02:00 |
|
Geoffrey White
|
1ff6c4c090
|
C++: Restore change and see effect on test.
|
2024-09-03 11:55:06 +01:00 |
|
Geoffrey White
|
5bd58f044e
|
C++: Add a direct test of getOverlap and a test case for it.
|
2024-09-03 11:52:20 +01:00 |
|
Simon Friis Vindum
|
78068a488f
|
C++: Make realloc a data-flow function
|
2024-09-03 11:25:18 +02:00 |
|
Jeroen Ketema
|
4945943732
|
C++: Support C11 _Generic expressions
|
2024-08-30 14:24:03 +02:00 |
|
Henry Mercer
|
3490067316
|
Merge branch 'main' into henrymercer/rc-3.15-mergeback
|
2024-08-29 19:48:01 +01:00 |
|
Simon Friis Vindum
|
edeefe5bb6
|
Merge pull request #17298 from paldepind/model-functions-that-dont-throw
C++: Add basic modeling of functions that don't throw
|
2024-08-28 19:50:31 +02:00 |
|
Simon Friis Vindum
|
d1fecd869b
|
C++: Make StringCchPrintf not extend NonThrowingFunction
|
2024-08-28 15:40:14 +02:00 |
|
Jeroen Ketema
|
2b571cf450
|
C++: Address review comments
|
2024-08-28 15:11:42 +02:00 |
|
Jeroen Ketema
|
026969b6e9
|
C++: Add change note
|
2024-08-28 13:08:44 +02:00 |
|
Jeroen Ketema
|
9e861ce717
|
C++: Add support for more clang builtins
|
2024-08-28 13:08:42 +02:00 |
|
Simon Friis Vindum
|
d6049cd98b
|
C++: Add additional implementations of NonThrowingFunction and make minor fixes to docs
|
2024-08-28 10:54:16 +02:00 |
|
Simon Friis Vindum
|
d9dbcdba34
|
C++: Fix imports
|
2024-08-26 12:42:44 +02:00 |
|
Simon Friis Vindum
|
128053e214
|
C++: Add basic modeling of functions that don't throw
|
2024-08-26 09:37:44 +02:00 |
|
github-actions[bot]
|
0724fd7ce2
|
Post-release preparation for codeql-cli-2.18.3
|
2024-08-21 18:25:54 +00:00 |
|
github-actions[bot]
|
17cd9624fb
|
Release preparation for version 2.18.3
|
2024-08-21 17:13:52 +00:00 |
|
Anders Schack-Mulligen
|
8470e91c16
|
Legacy Dataflow: Sync.
|
2024-08-20 10:07:57 +02:00 |
|
Anders Schack-Mulligen
|
4afdb0927e
|
Dataflow: Remove src/sink grouping feature.
|
2024-08-20 10:07:36 +02:00 |
|
Geoffrey White
|
0e766aa99b
|
C++: Remove redundant lines.
|
2024-08-16 15:56:30 +01:00 |
|
Geoffrey White
|
7430fde8c6
|
C++: Avoid outputting a cartesian product in AliasedSSA's getOverlap.
|
2024-08-14 10:53:25 +01:00 |
|
Michael Nebel
|
4a5c9f0ec4
|
Merge pull request #17007 from michaelnebel/shared/neutralimplementation
C#/Java/Go: Neutrals are split into separate classes.
|
2024-08-12 13:58:12 +02:00 |
|
github-actions[bot]
|
cc6d87c276
|
Post-release preparation for codeql-cli-2.18.2
|
2024-08-08 12:56:21 +00:00 |
|
github-actions[bot]
|
019da8c287
|
Release preparation for version 2.18.2
|
2024-08-07 14:02:38 +00:00 |
|
Alexander Eyers-Taylor
|
46577b585e
|
Revert "Release preparation for version 2.18.2"
|
2024-08-07 14:24:37 +01:00 |
|
github-actions[bot]
|
c14ba0e4bd
|
Release preparation for version 2.18.2
|
2024-08-06 12:46:15 +00:00 |
|
Jeroen Ketema
|
742922c719
|
Update cpp/ql/lib/semmle/code/cpp/Function.qll
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>
|
2024-08-02 15:59:30 +02:00 |
|
Jeroen Ketema
|
9744c06933
|
C++: Expose explicit and explicit(bool) function specifiers
|
2024-08-02 15:39:18 +02:00 |
|
Jeroen Ketema
|
4dcf67940c
|
C++: Add getTemplateClass to DeductionGuide
|
2024-08-01 20:54:53 +02:00 |
|
Mathias Vorreiter Pedersen
|
61eda0df9d
|
C++: Add change note.
|
2024-07-31 13:13:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
fe575df325
|
C++: Mark constexpr if as unevalauted.
|
2024-07-31 13:09:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
6d8a83fc1f
|
C++: Take out the 'Element' content from std::format model.
|
2024-07-30 15:31:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
ef0370b64e
|
C++: Respond to review comments.
|
2024-07-30 13:19:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
42ee501b96
|
C++: Use the name without args
|
2024-07-30 11:18:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
68a972d578
|
C++: Delete code that's now dead.
|
2024-07-30 11:11:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
6b37cb0718
|
C++: Use the same 'template expansion mechanism' for free functions that we use for member functions.
|
2024-07-30 11:11:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
8edf19adc0
|
C++: Add MaD model for 'std::format'.
|
2024-07-30 10:15:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
c0263bef5a
|
Merge pull request #17062 from MathiasVP/speed-up-alias-analysis-4
C++: Speed up alias analysis
|
2024-07-26 10:02:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
91edf82c8a
|
C++: Add more missing overrides.
|
2024-07-25 17:13:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
52f8f04e9d
|
C++: Add write side effect to 'remquo'.
|
2024-07-25 17:12:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
087b0dac1d
|
C++: Fix QLDoc.
|
2024-07-25 14:38:26 +01:00 |
|
Anders Schack-Mulligen
|
c693f03462
|
Merge pull request #17070 from aschackmull/dataflow/pptype-refactor
Dataflow: Replace `ppReprType` with `DataFlowType.toString`.
|
2024-07-25 14:30:08 +02:00 |
|
Anders Schack-Mulligen
|
7a48fe1102
|
Dataflow: Replace ppReprType with DataFlowType.toString.
|
2024-07-25 13:08:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
c5da43e691
|
Merge pull request #16981 from MathiasVP/phi-escape-5-follow-up-2
C++: Alias analysis follow-up to #16907
|
2024-07-25 11:59:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
34ad211900
|
C++: Add change note.
|
2024-07-25 10:50:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
032ae9e1e7
|
Merge pull request #17034 from MathiasVP/more-alias-and-side-effect-models
C++: Add more alias and side effect models
|
2024-07-25 10:40:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
3f5b4a81cf
|
C++: Fix more inconsistencies.
|
2024-07-24 17:53:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
b3bffb6826
|
Merge branch 'main' into phi-escape-5-follow-up-2
|
2024-07-24 15:22:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
7ec3162583
|
C++: Sync identical files.
|
2024-07-24 15:20:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
a5efe9fa09
|
C++: Respond to review comments.
|
2024-07-24 15:18:26 +01:00 |
|