Mathias Vorreiter Pedersen
|
53c2d2f1e7
|
C++: Accept test changes.
|
2024-05-07 09:10:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
07d51a55fd
|
C++: Assign a meaningful definition location to the address of an SSA variable when it's available.
|
2024-05-07 09:10:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
41b95a1938
|
Merge pull request #16416 from MathiasVP/add-iterator-to-expired-container-fp-2
C++: Add `cpp/iterator-to-expired-container` FP
|
2024-05-07 09:10:38 +01:00 |
|
Jeroen Ketema
|
9b23635d0a
|
C++: Add test case that shows that no destructors are attached to unwinds
|
2024-05-06 17:47:55 +02:00 |
|
Chuan-kai Lin
|
ca9567debc
|
C++: Use entities in reorder directives
|
2024-05-03 11:14:41 -07:00 |
|
Mathias Vorreiter Pedersen
|
5d5e31378b
|
Merge pull request #16415 from MathiasVP/cleanup-ir-variables
|
2024-05-03 18:49:11 +01:00 |
|
Jeroen Ketema
|
5cde3fa697
|
Merge pull request #16414 from jketema/range-based-for-loop-destructor-fix
C++: Correctly handle destructors at the end of range-based for-loops in the IR
|
2024-05-03 19:38:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
7a1b85aa56
|
C++: Add FP test.
|
2024-05-03 16:04:21 +01:00 |
|
Geoffrey White
|
eb0621ab7a
|
Merge pull request #16406 from geoffw0/test1
C++: Add test case for reassignment to UseAfterFree.ql.
|
2024-05-03 15:32:58 +01:00 |
|
Geoffrey White
|
c0cf1c7c8c
|
Merge pull request #16402 from geoffw0/stringlifetimedoc
C++: Improve UseOfStringAfterLifetimeEnds doc.
|
2024-05-03 15:04:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5475c4a89
|
C++: Delete predicate that I introduced by mistake.
|
2024-05-03 14:48:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
7ca54a6f94
|
C++: Sync identical files.
|
2024-05-03 13:51:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
e8cb8b4f81
|
C++: Convert IR variables to an abstract base class and use final alias'ing to ensure that we don't accidentially extend the abstract base class.
|
2024-05-03 13:50:50 +01:00 |
|
Jeroen Ketema
|
ba64cf3016
|
C++: Correctly handle destructors at the end of range-based for-loops in the IR
|
2024-05-03 14:38:37 +02:00 |
|
Geoffrey White
|
807e6795a7
|
Apply suggestions from code review
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>
|
2024-05-03 11:40:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
75615f2817
|
Merge pull request #16373 from jketema/destructors-block-fix
C++: Update test results after extractor changes
|
2024-05-03 10:17:40 +01:00 |
|
Geoffrey White
|
f5431abb10
|
C++: Fix strncpy reference link (the old link was broken).
|
2024-05-02 17:37:52 +01:00 |
|
Geoffrey White
|
73cc211779
|
C++: Fix qhelp error.
|
2024-05-02 17:36:35 +01:00 |
|
Geoffrey White
|
08e08a2b3a
|
C++: Qhelp punctuation.
|
2024-05-02 17:32:24 +01:00 |
|
Geoffrey White
|
657402b42f
|
C++: Fix % character in qhelp.
|
2024-05-02 17:31:09 +01:00 |
|
Geoffrey White
|
ecbf7aef18
|
C++: Fix qhelp formatting.
|
2024-05-02 17:26:24 +01:00 |
|
Geoffrey White
|
669fc925e0
|
C++: Fix qhelp formatting.
|
2024-05-02 17:24:20 +01:00 |
|
Geoffrey White
|
8a04840f93
|
C++: Improve qhelp for IncorrectNotOperatorUsage.ql, including mention of an alternative fix.
|
2024-05-02 17:17:55 +01:00 |
|
Geoffrey White
|
f4e4e238ba
|
C++: Add test cases for IncorrectNotOperatorUsage.ql.
|
2024-05-02 17:17:55 +01:00 |
|
Geoffrey White
|
8f682ef4e4
|
C++: Improve quality of some qhelp references.
|
2024-05-02 17:08:26 +01:00 |
|
Geoffrey White
|
8a261b7e7a
|
C++: Update StrncpyFlippedArgs.qhelp.
|
2024-05-02 17:04:49 +01:00 |
|
Geoffrey White
|
315f439135
|
C++: Add test case for reassignment to UseAfterFree.ql.
|
2024-05-02 16:40:28 +01:00 |
|
Geoffrey White
|
06d8892e03
|
C++: Rename an example file.
|
2024-05-02 16:39:59 +01:00 |
|
Geoffrey White
|
e22159ab5d
|
C++: Update WrongTypeFormatArguments.qhelp.
|
2024-05-02 16:34:56 +01:00 |
|
Geoffrey White
|
355c7d9b41
|
C++: Rename an example file.
|
2024-05-02 16:34:49 +01:00 |
|
Geoffrey White
|
e4cf7df38f
|
C++: Edits to the .qhelp based on suggestions.
|
2024-05-02 16:00:31 +01:00 |
|
Geoffrey White
|
b8b3689251
|
C++: Autoformat.
|
2024-05-02 15:49:56 +01:00 |
|
Geoffrey White
|
0693bf9e75
|
C++: Improve UseOfStringAfterLifetimeEnds qhelp, references and alert message.
|
2024-05-02 15:40:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
f7113e0105
|
Merge pull request #16345 from MathiasVP/cleanup-ssa-and-iterator-flow
C++: Clean up SSA and stop relying on memory edges for iterator flow
|
2024-05-02 14:21:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
b912918d8b
|
C++: Fix QLDoc.
|
2024-05-02 13:32:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
322fa36359
|
C++: Fix QLDoc.
|
2024-05-02 10:37:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
4a47e11a16
|
C++: Fix QLDoc.
|
2024-05-02 10:36:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
a8f2cbc2b1
|
Merge pull request #16331 from mario-campos/mario-campos/guarded-free
Cpp: new experimental query cpp/guarded-free
|
2024-05-01 17:32:44 +01:00 |
|
Mario Campos
|
5a7a1dc92e
|
C++: forgot to import semmle.code.cpp.controlflow.Guards
|
2024-05-01 11:00:19 -05:00 |
|
Mario Campos
|
c480431ec0
|
C++: simplify cpp/guarded-free
This new form is more declarative by use of the `GuardCondition`. Thanks to the tireless effort of @MathiasVP!
|
2024-05-01 10:59:16 -05:00 |
|
Mathias Vorreiter Pedersen
|
dc4604f5a5
|
Merge pull request #16367 from MathiasVP/better-documentation-for-iterator-to-expired-container
C++: Improve documentation for `cpp/iterator-to-expired-container`
|
2024-05-01 11:56:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
40b6e1624f
|
Update cpp/ql/src/Security/CWE/CWE-416/IteratorToExpiredContainer.qhelp
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>
|
2024-05-01 11:41:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
22e843abc6
|
Update cpp/ql/src/Security/CWE/CWE-416/IteratorToExpiredContainer.qhelp
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>
|
2024-05-01 11:41:16 +01:00 |
|
Jeroen Ketema
|
3c70a2d7df
|
C++: Update test results after extractor changes
|
2024-05-01 12:30:38 +02:00 |
|
Jeroen Ketema
|
5843326b5c
|
C++: Update IR tests after better handling of init statements in the extractor
|
2024-04-30 21:12:30 +02:00 |
|
Mathias Vorreiter Pedersen
|
3a2b0a2feb
|
Merge pull request #16366 from MathiasVP/fix-ir-for-destructors-in-switch
C++: Fix IR destructor calls on `JumpStmt`s
|
2024-04-30 18:26:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
07dd6d5c8d
|
C++: Align 'break' statements.
|
2024-04-30 16:40:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
708d12624f
|
C++: Update documentation on 'cpp/iterator-to-expired-container'.
|
2024-04-30 16:32:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
3eddd3114f
|
C++: Accept test changes.
|
2024-04-30 16:14:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
61ce7252e6
|
C++: Update the alert message in 'cpp/iterator-to-expired-container'.
|
2024-04-30 16:12:54 +01:00 |
|