Henry Mercer
c325ff8a23
Mark lines of code queries as telemetry queries
...
The new file coverage metrics are available in all supported GHES
versions. This PR tags lines of code queries as telemetry queries. Lines
of code information will still be available in the SARIF file, but it
will no longer be displayed in the logging output of the CLI.
The one exception is the metric queries for Java/Kotlin that provides
separate lines of code information for Java and Kotlin. I've kept these
since separate file coverage information for languages like Java and
Kotlin is only available for GHES 3.12 and later.
2024-03-11 16:40:31 +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
Mathias Vorreiter Pedersen
a5794509ec
C++: Accept test changes.
2024-01-29 11:33:14 +00:00
Mathias Vorreiter Pedersen
41f44f598a
C++: Explicitly check that a check for EOF isn't present.
2024-01-29 11:33:14 +00:00
Mathias Vorreiter Pedersen
3a66fd7175
C++: Add FP test.
2024-01-29 10:59:38 +00:00
Mathias Vorreiter Pedersen
a391f7802d
C++: Add a test.
2024-01-27 13:08:52 +00:00