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 |
|
Mathias Vorreiter Pedersen
|
b86aeb68ae
|
Merge pull request #16364 from MathiasVP/ir-guards-with-boolean
C++: Support `IRGuard`s with no implicit boolean conversion
|
2024-04-30 16:07:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
cf025e1924
|
C++: Accept test changes.
|
2024-04-30 15:47:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
a200ced2d6
|
C++: Fix IR generation for jump statements.
|
2024-04-30 15:46:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
c04e59611b
|
Merge pull request #16355 from MathiasVP/promote-iterator-to-expired-container-out-of-experimental
C++: Promote `cpp/iterator-to-expired-container` out of experimental
|
2024-04-30 15:45:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
c5a87c95d8
|
C++: Add tests that incorrectly call destructors twice.
|
2024-04-30 15:39:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
c32c810ae7
|
C++: Add a test with a 'short' type.
|
2024-04-30 14:48:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
32fe084630
|
Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-04-30 14:42:30 +01:00 |
|
github-actions[bot]
|
99928b82ed
|
Post-release preparation for codeql-cli-2.17.2
|
2024-04-30 12:15:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
2939c89f7a
|
C++: Accept test changes.
|
2024-04-30 12:04:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
bb6cc92728
|
C++: Support guards without implicit boolean conversions.
|
2024-04-30 12:04:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
d736426529
|
C++: Support guards without implicit boolean conversions.
|
2024-04-30 11:45:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
806d42852c
|
C++: Add test in C file with pointer type guard.
|
2024-04-30 11:33:22 +01:00 |
|
github-actions[bot]
|
5228d94d42
|
Release preparation for version 2.17.2
|
2024-04-30 10:25:51 +00:00 |
|
Geoffrey White
|
7d9f78b2de
|
Merge pull request #16328 from geoffw0/pathinj
C++: Reduce duplication from cpp/path-injection
|
2024-04-30 10:06:40 +01:00 |
|
Erik Krogh Kristensen
|
7e839792da
|
Merge pull request #16330 from erik-krogh/del-deps-apr-2024
All: delete outdated deprecations
|
2024-04-30 10:43:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
94364f724e
|
C++: Remove CP between all sinks and all states in 'cpp/iterator-to-expired-container'.
|
2024-04-29 16:46:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
0fa5a1f274
|
C++: Add change note.
|
2024-04-29 11:17:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
5c454bdd8c
|
C++: Compute and add severity.
|
2024-04-29 11:09:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
f194c70e8a
|
C++: Set precision to medium.
|
2024-04-29 11:08:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
179270ffc1
|
C++: Move 'cpp/iterator-to-expired-container' out of experimental.
|
2024-04-29 11:07:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
401717d739
|
C++: Add a missing taint step and accept test changes.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
527409d05f
|
C++: Fix iterator return types and accept test changes.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
d3d2e2188d
|
C++: Accept test changes.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
141af7cc87
|
C++: Subclasses for both 'begin' and 'end'.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
6e3dddede0
|
C++: Use iterator flow in dataflow.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
683fe26034
|
C++: Add iterator flow based on dataflow SSA.
|
2024-04-29 09:38:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
ea1b8a3999
|
C++: Implement 'getAnUltimateDefinition' on SSA definitions.
|
2024-04-29 09:38:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
5f0efc19fa
|
C++: Accept test changes.
|
2024-04-29 09:38:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
50775d0c53
|
C++: Get rid of 'UseImpl' in TSsaDefOrUse so that it now only contains definitions.
|
2024-04-29 00:02:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
9874d40d29
|
C++: Make 'getAddressOperand' available on 'DefImpl'.
|
2024-04-28 23:41:18 +01:00 |
|