github-actions[bot]
|
36f01ff31a
|
Release preparation for version 2.16.2
|
2024-02-08 15:25:24 +00:00 |
|
Dave Bartolomeo
|
a58dd45d0b
|
Revert "Merge pull request #15522 from github/release-prep/2.16.2"
This reverts commit c4c8cd6b34, reversing
changes made to 525f27173d.
|
2024-02-08 09:28:34 -05:00 |
|
Mathias Vorreiter Pedersen
|
33cefabe27
|
Update cpp/ql/src/CHANGELOG.md
|
2024-02-06 11:05:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
6c1e3b1ba6
|
Update cpp/ql/src/change-notes/released/0.9.4.md
|
2024-02-06 11:02:15 +00:00 |
|
github-actions[bot]
|
c1b35fbf47
|
Release preparation for version 2.16.2
|
2024-02-05 17:58:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
8d53bce842
|
Merge pull request #15476 from geoffw0/preprocblock
C++: Add PreprocBlock.qll library
|
2024-02-02 15:06:17 +00:00 |
|
Jeroen Ketema
|
6b13a8c568
|
Merge pull request #15504 from MathiasVP/block-summary-flow-out-of-strdup-and-friends
C++: Block summary flow through `strdup` and friends
|
2024-02-02 14:47:05 +01:00 |
|
Geoffrey White
|
72948cbc46
|
C++: Remove all cached tags.
|
2024-02-02 12:23:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
439d3d2438
|
C++: Add tests with higher level of indirection.
|
2024-02-02 12:09:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
0729c602c5
|
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-02-02 10:39:40 +00:00 |
|
Geoffrey White
|
56538472cf
|
C++: Update the change note.
|
2024-02-02 09:55:44 +00:00 |
|
Geoffrey White
|
7c37be2e88
|
C++: Address implicit this.
|
2024-02-02 09:49:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
6f5ed9ad3b
|
C++: Accept test changes.
|
2024-02-01 20:15:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
5ad3e97798
|
C++: Fix TODO by blocking summary flow through functions that don't preserve identity.
|
2024-02-01 20:15:15 +00:00 |
|
Jeroen Ketema
|
6db68c067f
|
C++: Update stats file
|
2024-02-01 16:12:53 +01:00 |
|
Jeroen Ketema
|
05e78f14a4
|
C++: Add upgrade and downgrade scripts
|
2024-02-01 16:12:53 +01:00 |
|
Jeroen Ketema
|
a79754b696
|
C++: Resolve functions using complete mangled names
|
2024-02-01 16:12:53 +01:00 |
|
Jeroen Ketema
|
972d86c0a0
|
C++: Add column to mangled_name table with completeness information
|
2024-02-01 16:12:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
1ac75def2b
|
C++: Add another testcase with spurious summary flow.
|
2024-02-01 15:11:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
4b5a203b46
|
Merge pull request #15463 from microsoft/42-false-positive-cpp-uninitializedlocal
False positive fix for cpp/uninitialized-local
|
2024-01-31 09:31:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
f3eac550c3
|
Merge pull request #15461 from MathiasVP/propagate-edge-kinds
C++: Support function calls throwing exceptions in the IR
|
2024-01-31 09:25:46 +00:00 |
|
Geoffrey White
|
1b433c7af3
|
C++: Add QLDoc comments.
|
2024-01-30 17:54:28 +00:00 |
|
Geoffrey White
|
c29d0b78ce
|
C++: Add top of file doc comment.
|
2024-01-30 17:29:18 +00:00 |
|
Geoffrey White
|
8b2888c2de
|
C++: Change note.
|
2024-01-30 17:24:05 +00:00 |
|
Geoffrey White
|
4ae8a9a6c4
|
C++: Add PreprocBlock tests.
|
2024-01-30 16:47:35 +00:00 |
|
Benjamin Rodes
|
1a044fbbde
|
Merge branch '42-false-positive-cpp-uninitializedlocal' of https://github.com/microsoft/codeql into 42-false-positive-cpp-uninitializedlocal
|
2024-01-30 09:22:51 -05:00 |
|
Benjamin Rodes
|
f58f77de82
|
PR change suggestions.
|
2024-01-30 09:22:22 -05:00 |
|
Ben Rodes
|
8c04bbfb57
|
Update cpp/ql/src/change-notes/2024-01-29-uninitialized-local-false-positive.md
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2024-01-30 09:19:49 -05:00 |
|
Geoffrey White
|
af17ae236f
|
C++: Autoformat.
|
2024-01-30 13:47:11 +00:00 |
|
Geoffrey White
|
310c78d1e7
|
C++: Add PreprocBlock.qll library.
|
2024-01-30 13:47:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
e2ae4a699c
|
C++: Add change note.
|
2024-01-30 11:44:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
33e37536df
|
C++: Accept test changes.
|
2024-01-30 11:32:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
1dfd32ee5c
|
C++: Model function calls throwing exceptions.
|
2024-01-30 11:32:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
eb94203f04
|
C++: Add an 'EdgeKind' column to 'getExceptionSuccessorInstruction'.
|
2024-01-30 11:32:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
8bb17a7127
|
C++: Add an 'EdgeKind' column to 'getInitializationSuccessor'.
|
2024-01-30 11:32:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
4fb20e14f5
|
C++: Add an 'EdgeKind' column to 'getChildTrueSuccessor' and 'getChildFalseSuccessor'.
|
2024-01-30 11:32:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
10ae793de5
|
C++: Add an 'EdgeKind' column to 'getFirstInstruction'.
|
2024-01-30 11:31:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
d2e8b88b24
|
C++: Add an 'EdgeKind' column to 'getChildSuccessor'.
|
2024-01-30 11:26:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
78d5d9a7ab
|
Merge pull request #15448 from microsoft/false_positive_cpp_incorrect_string_type_conversion
cpp/incorrect-string-type-conversion false positive fixes
|
2024-01-30 09:37:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
56e44f9b3c
|
Merge pull request #15458 from MathiasVP/dataflow-node-deduplication
C++: Fix more `asExpr` duplication
|
2024-01-30 09:34:57 +00:00 |
|
Benjamin Rodes
|
13cf555cee
|
False positive fix for cpp/uninitialized-local
|
2024-01-29 13:21:05 -05:00 |
|
Mathias Vorreiter Pedersen
|
5024df9c4e
|
C++: Add change note.
|
2024-01-29 16:30:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
ea79a84c2e
|
C++: Accept test changes.
|
2024-01-29 16:24:44 +00:00 |
|
Mathias Vorreiter Pedersen
|
ebd1595fbe
|
C++: Fix FP by concluding that a less-than-zero check also implies a not-equal-to-EOF check.
|
2024-01-29 16:24:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
7e29141196
|
C++: Add FP test.
|
2024-01-29 16:23:37 +00:00 |
|
Ben Rodes
|
308a3b533f
|
Update cpp/ql/src/change-notes/2024-01-29-false_positive_incorrect_string_type_conversion.md
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2024-01-29 09:35:59 -05:00 |
|
Benjamin Rodes
|
6f17c432d9
|
Change log
|
2024-01-29 09:19:39 -05:00 |
|
Mathias Vorreiter Pedersen
|
320092092d
|
C++: Accept test changes.
|
2024-01-29 14:11:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
a4727b5597
|
C++: Fix 'asExpr' duplication.
|
2024-01-29 14:11:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
044d94c580
|
C++: Add change note
|
2024-01-29 13:47:17 +00:00 |
|