Jeroen Ketema
|
168f7f5d34
|
C++: Add support for C++ requires expressions
|
2024-10-15 13:44:17 +02:00 |
|
Arthur Baars
|
9ba8045837
|
Fix typos in changelog entries
|
2024-10-15 11:06:20 +00:00 |
|
github-actions[bot]
|
255f55cf1a
|
Release preparation for version 2.19.2
|
2024-10-15 10:29:25 +00:00 |
|
Jeroen Ketema
|
f1a350c96a
|
C++: Print handler parameters in PrintAST
|
2024-10-10 20:47:12 +02:00 |
|
Geoffrey White
|
b692b1b282
|
C++: Autoformat.
|
2024-10-10 17:26:38 +01:00 |
|
Geoffrey White
|
cedfeee6d7
|
Merge branch 'main' into aliasperf2
|
2024-10-10 17:25:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
e7da53d838
|
Merge pull request #17715 from MathiasVP/fopen-taint
C++: Add taint through `fopen`
|
2024-10-10 15:46:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
acac3a06ad
|
C++: Respond to review comments.
|
2024-10-09 17:32:37 +01:00 |
|
Jeroen Ketema
|
8352d17e2c
|
Merge pull request #17693 from jketema/concepts
C++: Add a skeleton class for requires expressions
|
2024-10-09 16:54:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
6965cf7246
|
C++: Make ql-for-ql happy.
|
2024-10-09 15:05:13 +01:00 |
|
Jeroen Ketema
|
b087fdecfe
|
Merge pull request #17678 from MathiasVP/modernize-unclear-array-index-validation
C++: Modernize `cpp/unclear-array-index-validation`
|
2024-10-09 15:55:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
954235ecdd
|
C++: Add change note.
|
2024-10-09 14:42:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
338e82064e
|
C++: Add a taint model for 'fopen' and accept test changes.
|
2024-10-09 14:40:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
201842d2f9
|
C++: Add test with missing flow through 'fopen'.
|
2024-10-09 14:39:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
61a012fc6c
|
C++: Don't allow 'x < 0' as a barrier guard.
|
2024-10-09 14:17:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
c883aa09f8
|
Update cpp/ql/src/change-notes/2024-10-07-unclear-array-index-validation.md
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-10-09 13:45:18 +01:00 |
|
Jeroen Ketema
|
4d251b96a6
|
C++: Fix copy&paste error in QLDoc
|
2024-10-09 11:24:08 +02:00 |
|
Jeroen Ketema
|
723236d15b
|
C++: Add a skeleton class for requires expressions
|
2024-10-09 02:16:20 +02:00 |
|
Jeroen Ketema
|
c90d0faaf6
|
C++: Fix ODR violations in dataflow tests
|
2024-10-08 20:34:20 +02:00 |
|
Jeroen Ketema
|
f1e22687ab
|
C++: Fix ODR violations in tests
In QLtest we do not have linkage awareness, so having multiple functions with
the same name in the same test causes ODR violations.
|
2024-10-08 20:09:31 +02:00 |
|
Geoffrey White
|
7ff376b346
|
Merge branch 'main' into aliasperf2
|
2024-10-08 15:08:43 +01:00 |
|
Geoffrey White
|
4a131dd8f1
|
C++: Implement dbartol's suggestion.
|
2024-10-08 14:44:45 +01:00 |
|
Geoffrey White
|
f9fa52fe77
|
C++: Disabled the change again.
|
2024-10-08 14:43:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
b00c545799
|
C++: Add change notes.
|
2024-10-08 10:08:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
d6618edf01
|
C++: Accept test changes.
|
2024-10-08 10:08:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
f7392d6498
|
C++: Range analysis of 'getc'.
|
2024-10-08 10:08:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
6ca978e1cc
|
C++: Add FP test.
|
2024-10-08 10:08:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
823d5acd69
|
C++: Spacing.
|
2024-10-08 10:05:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
8bb21e1b49
|
C++: Accept test changes.
|
2024-10-08 10:05:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
a2cdb9c173
|
C++: Use range analysis at the sink to exclude trivial FPs.
|
2024-10-08 10:05:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
c3d9ea1820
|
C++: Add FP.
|
2024-10-08 10:05:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
afb5e4f841
|
C++: Add test spacing.
|
2024-10-08 10:05:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
f6f5f5d4b4
|
C++: Accept test changes.
|
2024-10-08 10:05:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
c9bd9e9303
|
C++: Modernize the 'cpp/unclear-array-index-validation' query by getting rid of the DefaultTaintTracking barriers and replacing them with a 'BarrierGuard' instantiation.
|
2024-10-08 10:05:03 +01:00 |
|
Jeroen Ketema
|
ed266dac5f
|
C++: Address review comments
|
2024-10-07 22:42:18 +02:00 |
|
Jeroen Ketema
|
b8eb2ab100
|
C++: Add some documentation on the printed IR
|
2024-10-04 15:37:22 +02:00 |
|
Tom Hvitved
|
953461d1aa
|
C++: Update expected test output
|
2024-10-04 08:35:31 +02:00 |
|
Calum Grant
|
8b536f54fd
|
Merge pull request #17481 from github/calumgrant/bmn/uninitialized-local
C++: Remove FPs from cpp/uninitialized-local when encountered extraction errors
|
2024-10-02 09:29:15 +01:00 |
|
Calum Grant
|
d3695dce4d
|
C++: Add change note
|
2024-10-02 08:14:23 +01:00 |
|
Calum Grant
|
cd1f10cdea
|
C++: Reinstate accidentally-deleted comment
|
2024-10-01 16:15:24 +01:00 |
|
Calum Grant
|
a9b3c0d91b
|
C++: Address review comments
|
2024-10-01 15:47:12 +01:00 |
|
Calum Grant
|
fe00c8819d
|
C++: Fix formatting
|
2024-10-01 11:26:47 +01:00 |
|
Calum Grant
|
4712ae1cfc
|
C++: Use refactored isFirstAllocatorCallArgument()
|
2024-10-01 11:01:51 +01:00 |
|
Calum Grant
|
59a77d70c0
|
C++: Use Function::hasErrors in queries
|
2024-10-01 11:01:23 +01:00 |
|
Calum Grant
|
4b5aa1497b
|
C++: Implement Function::hasErrors()
|
2024-10-01 11:00:44 +01:00 |
|
Calum Grant
|
60abea17e6
|
C++: Test for cpp/uninitialized-local
|
2024-10-01 10:32:17 +01:00 |
|
Jeroen Ketema
|
66d156d386
|
Merge pull request #17608 from jketema/macro-expansion-tests
C++: Add more macro expansion tests
|
2024-10-01 11:19:49 +02:00 |
|
Jeroen Ketema
|
2427227b84
|
Merge pull request #17611 from microsoft/brodes/wcharcharconversion_false_positives_upstream5
Brodes/wcharcharconversion false positives upstream5
|
2024-10-01 08:00:51 +02:00 |
|
github-actions[bot]
|
e97878ed63
|
Post-release preparation for codeql-cli-2.19.1
|
2024-09-30 19:49:00 +00:00 |
|
github-actions[bot]
|
455c8c5953
|
Release preparation for version 2.19.1
|
2024-09-30 17:59:48 +00:00 |
|