Paolo Tranquilli
270df940ff
C++: add .def to exceptions to AV rule 32
...
This is used as textual includes in several projects for macro
metaprogramming, for example in `llvm-project` and in `swift` (and since
some time in our internal codebase as well).
2024-01-09 15:18:13 +01:00
Tom Hvitved
f90201eb56
Data flow: Remove column from mayBenefitFromCallContext
2024-01-09 11:34:43 +01:00
Mathias Vorreiter Pedersen
f5e1e49761
C++: Fix QLDoc on 'cmpWithLinearBound' as a response to #15248 .
2024-01-09 10:07:22 +00:00
Jeroen Ketema
9330afbe8a
Merge pull request #15252 from jketema/builtin-rm
...
C++: Remove test that is no longer relevant
2024-01-08 20:38:46 +01:00
Mathias Vorreiter Pedersen
18bd0d0ad0
Merge pull request #14954 from microsoft/32-cpp-string-concatenation-library
...
32 cpp string concatenation library
2024-01-08 18:42:31 +01:00
Jeroen Ketema
e772531bb3
C++: Remove test that is no longer relevant
2024-01-08 15:24:41 +01:00
github-actions[bot]
a6c8cc9551
Release preparation for version 2.16.0
2024-01-08 13:11:26 +00:00
Chuan-kai Lin
6f5bce046c
C++: Fix upgrade delete directives
2024-01-05 14:20:30 -08:00
Ben Rodes
250ed48bf3
Update cpp/ql/lib/semmle/code/cpp/commons/StringConcatenation.qll
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2024-01-05 08:19:11 -05:00
Ben Rodes
2b325e99ce
Merge branch 'main' into 32-cpp-string-concatenation-library
2024-01-04 15:28:28 -05:00
Benjamin Rodes
ed788e0a7a
Updating test output.
2024-01-04 15:27:29 -05:00
Benjamin Rodes
e9bb3b4b28
Limiting << operator to ostream, and putting this check at the same location as the check for basic_string for + operator.
2024-01-04 15:25:47 -05:00
Ben Rodes
8d84540a54
Update cpp/ql/lib/semmle/code/cpp/commons/StringConcatenation.qll
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2024-01-04 09:09:20 -05:00
Jeroen Ketema
466536a914
Merge pull request #15214 from jketema/improve-test
...
C++: Improve special members test by printing more function details
2024-01-03 15:18:23 +01:00
Jeroen Ketema
ae135ac633
C++: Improve special members test by printing more function details
...
Without this it is very hard to see what specifically is defaulted/deleted.
2024-01-03 13:35:25 +01:00
Jeroen Ketema
262985a760
C++: Add change note
2024-01-02 16:32:24 +01:00
Jeroen Ketema
9c1de5b2b6
C++: Support more function types
2024-01-02 15:13:20 +01:00
Jeroen Ketema
f59a00c5ea
Update cpp/ql/lib/semmle/code/cpp/Specifier.qll
...
Co-authored-by: Calum Grant <42069085+calumgrant@users.noreply.github.com >
2024-01-02 12:52:18 +01:00
Jeroen Ketema
ad2fb7c6d5
C++: Support attribute arguments that are expressions
2023-12-23 10:04:50 +01:00
Aditya Sharad
bbe3269b8c
Merge pull request #15189 from github/adityasharad/merge/3.12-main
...
Merge `rc/3.12` into `main`
2023-12-22 11:26:37 -08:00
Jeroen Ketema
9c039c4a08
Merge pull request #12125 from jketema/unique-function
...
C++: Ensure that only one `Function` exists for every function
2023-12-22 13:56:35 +01:00
Jeroen Ketema
1cb02475a8
Update cpp/ql/lib/change-notes/2023-12-22-unique-function.md
2023-12-22 13:33:20 +01:00
Jeroen Ketema
d4f9e89b5b
C++: Add change note
2023-12-22 13:20:38 +01:00
Mathias Vorreiter Pedersen
ffdd28eaa9
C++: Show base variable in SSA variable 'toString's.
2023-12-22 10:29:31 +01:00
Aditya Sharad
b1803d0ac2
Merge rc/3.12 into main
2023-12-21 16:40:51 -08:00
Jeroen Ketema
f7da6f56f3
C++: Ensure that only one Function exists for every function
2023-12-21 16:33:22 +01:00
Mathias Vorreiter Pedersen
1007c4fc83
C++: Show indirections when printing SSA variables.
2023-12-21 10:38:58 +01:00
Mathias Vorreiter Pedersen
be3f9d3078
Merge pull request #15173 from jketema/unneeded
2023-12-20 12:43:42 +01:00
Mathias Vorreiter Pedersen
44124158c4
Merge pull request #15078 from alexet/unique-pointer-temporary
...
CPP: Add query for detecting invalid uses of temporary unique pointers.
2023-12-20 11:16:01 +01:00
Mathias Vorreiter Pedersen
57e0804cef
Update cpp/ql/src/Security/CWE/CWE-416/UseOfUniquePointerAfterLifetimeEnds.ql
...
Co-authored-by: Felicity Chapman <felicitymay@github.com >
2023-12-20 10:52:42 +01:00
Jeroen Ketema
12abf07d1d
C++: Remove unneeded extractor option
2023-12-20 09:58:32 +01:00
Jeroen Ketema
4009b42891
Merge pull request #15146 from jketema/almost-empty-pch
...
C++: Update test after extractor changes
2023-12-19 16:20:35 +01:00
Benjamin Rodes
f26330e6bd
Removing redundant/bad string type check.
2023-12-19 09:41:29 -05:00
Benjamin Rodes
6fb01925d0
Updating test ql file and applying formatting.
2023-12-19 09:39:46 -05:00
Benjamin Rodes
48866e5358
Updates to address PR comments.
2023-12-19 09:33:07 -05:00
Ben Rodes
387eddadad
Update cpp/ql/lib/semmle/code/cpp/commons/StringConcatenation.qll
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2023-12-19 08:48:51 -05:00
Ben Rodes
29a0da6cd9
Update cpp/ql/lib/semmle/code/cpp/commons/StringConcatenation.qll
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2023-12-19 08:48:20 -05:00
Ben Rodes
49728571cf
Update cpp/ql/lib/semmle/code/cpp/commons/StringConcatenation.qll
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2023-12-19 08:47:58 -05:00
Ben Rodes
66f725dd05
Update cpp/ql/lib/semmle/code/cpp/commons/StringConcatenation.qll
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2023-12-19 08:47:48 -05:00
Mathias Vorreiter Pedersen
95cd31fce3
C++: Silence warnings.
2023-12-19 12:29:16 +01:00
Mathias Vorreiter Pedersen
4844c43f06
C++: Cleanup now that we're back to an abstract class.
2023-12-19 12:11:38 +01:00
Mathias Vorreiter Pedersen
937e0ee8d2
C++: Go back to abstract classes.
2023-12-19 12:10:57 +01:00
Mathias Vorreiter Pedersen
b6974d674c
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DebugPrinting.qll
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2023-12-19 11:47:46 +01:00
github-actions[bot]
8f72b0e4f7
Post-release preparation for codeql-cli-2.15.5
2023-12-19 10:32:57 +00:00
Mathias Vorreiter Pedersen
8230a90db6
C++: No need for another 'stars' predicate in 'PrintIRUtilities'.
2023-12-19 11:22:27 +01:00
Mathias Vorreiter Pedersen
9b25834771
C++: Use parameterized modules instead of abstract classes and predicates to handle debug printing.
2023-12-19 11:08:41 +01:00
Mathias Vorreiter Pedersen
501645920f
C++: Move private stuff from 'DataFlowUtil' to public stuff 'DataFlowPrivate'. Also make 'PostUpdateNodeImpl' public in 'DataFlowUtil'. Sadly, this means that it's visible at the query level (as DataFlow::PostUpdateNodeImpl), but I've added a big INTERNAL QLDoc on it to make sure people don't use it.
2023-12-19 10:41:35 +01:00
Jeroen Ketema
180e752a23
C++: Update test after extractor changes
...
Also remove incorrect FP comment. clang does not support `#pragma hdrstop` in
its non-cl-emulation mode.
2023-12-18 23:30:13 +01:00
github-actions[bot]
19af35b29a
Release preparation for version 2.15.5
2023-12-18 21:22:44 +00:00
Mathias Vorreiter Pedersen
41c49ae05b
Merge pull request #15136 from MathiasVP/fix-joins-in-use-after-free
2023-12-18 17:18:06 +01:00