Ben Rodes
58779e1b90
Merge branch 'main' into brodes/overflow-buffer-fixes-upstream
2024-09-10 13:46:24 -04:00
Jeroen Ketema
5f4fee0780
C++: Address review comments
2024-09-10 14:23:10 +02:00
Jeroen Ketema
500a2a0738
C++: Fix IR inconsistency due to throwing __except block
...
The fix consists of three parts:
* Ensure that an `Unwind` instruction is generated for functions that contain
a Microsoft `__try` statement, or a function that must throw.
* Do not manually introduce `Unwind` instructions for `__except` blocks, but
depend on the `Unwind` that we now insert in the function.
* Add missing `getExceptionSuccessorInstruction` predicate to
`TranslatedMicrosoftTryExceptHandler`
2024-09-10 12:41:43 +02:00
REDMOND\brodes
1005a89007
Updating test cases.
2024-09-05 15:25:23 -04:00
Simon Friis Vindum
5950af390d
Merge pull request #17351 from paldepind/swap-member-data-flow
...
C++: Make swap member functions data-flow functions
2024-09-05 11:39:16 +02:00
Jeroen Ketema
b6e38ff862
Merge pull request #17342 from jketema/coroutine
...
C++: Fix coroutine IR inconsistencies
2024-09-05 10:15:16 +02:00
REDMOND\brodes
77b88afa9e
Removing commented out code and altering comments to explain why the code was removed.
2024-09-04 12:44:36 -04:00
REDMOND\brodes
e4d29905a9
Formatting and updating tests.
2024-09-04 11:16:24 -04:00
REDMOND\brodes
f0eeaaf44e
BufferAccess must be reachable. False positives observed where accesses occur in dead code.
2024-09-04 11:16:23 -04:00
REDMOND\brodes
abd0a076a8
Addressing false positive with strncpy.
2024-09-04 11:16:21 -04:00
REDMOND\brodes
9105375097
Addreessing false positive due to incorrect use of getType
2024-09-04 11:16:19 -04:00
Simon Friis Vindum
f066f21751
C++: Make swap member functions data-flow functions
2024-09-04 13:55:19 +02:00
Erik Krogh Kristensen
4258119ba3
Merge branch 'main' into del-deps-sep-2024
2024-09-04 12:43:41 +02:00
Simon Friis Vindum
04f4039adc
Merge pull request #17354 from paldepind/realloc-data-flow
...
C++: Make realloc a data-flow function
2024-09-04 09:04:12 +02:00
erik-krogh
0fdd06fff5
use my script to delete outdated deprecations
2024-09-03 20:30:58 +02:00
Jeroen Ketema
8ca52f278a
C++: Fix coroutine IR inconsistencies
...
While here, remove some dead code related to fixed points from the database
scheme.
2024-09-03 18:12:36 +02:00
Jeroen Ketema
52819432c0
C++: Address review comment
2024-09-03 17:18:18 +02: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
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
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
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
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
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
fe575df325
C++: Mark constexpr if as unevalauted.
2024-07-31 13:09:12 +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
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
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
Mathias Vorreiter Pedersen
b1bea31720
C++: Speed up alias analysis.
2024-07-24 14:29:41 +01:00
Mathias Vorreiter Pedersen
ff60d9647f
C++: Sync identical files.
2024-07-24 11:53:14 +01:00
