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
Dilan
878bd5b098
Merge tag 'codeql-cli/latest'
...
Compatible with the latest released version of the CodeQL CLI
2024-10-04 20:59:08 +00: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
github-actions[bot]
fe54961b84
Release preparation for version 2.19.1
2024-10-02 18:30:42 +00: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
Angela P Wen
e8dd6a88e7
Revert "Release preparation for version 2.19.1"
2024-10-01 10:19:28 -07: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
Ben Rodes
939b2181d4
Wchar fp fixes ( #107 )
...
* Adding tests and updated expected file with false positives to correct.
(cherry picked from commit 26e58532ee )
* Modifications to the query to address false positives.
(cherry picked from commit cc24f1ed9f )
* Updating expected file, false positives now resolved.
(cherry picked from commit 92c8d39ba3 )
* Correct comment.
(cherry picked from commit 338ab96593 )
* Changing from hasIntermediateType to getABaseType.
(cherry picked from commit c4737c7fbb )
* Switching to looking for explicit declaration of unsigned char, to avoid cases where unsigned char is the default char width for `char`.
(cherry picked from commit 51e787b316 )
* Altering ordering for exists statement to be clearer.
(cherry picked from commit 31324fc778 )
* Altering exists predicate ordering to be clearer.
(cherry picked from commit c91f7f4918 )
* Changing name of predicate to be clearer, and removing an unused parameter.
(cherry picked from commit 318e75c094 )
* Removing unnecessary bracket/singleton set literal.
(cherry picked from commit 162519185d )
* Formatting.
(cherry picked from commit c496503053 )
2024-10-01 09:51:10 -04: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
REDMOND\brodes
c496503053
Formatting.
2024-09-30 11:23:08 -04:00
REDMOND\brodes
eeddb176f8
Merge branch 'brodes/wcharcharconversion_false_positives_upstream5' of https://github.com/microsoft/codeql into brodes/wcharcharconversion_false_positives_upstream5
2024-09-30 11:20:20 -04:00
REDMOND\brodes
162519185d
Removing unnecessary bracket/singleton set literal.
2024-09-30 11:19:31 -04:00
Ben Rodes
9e9469f3ca
Update cpp/ql/src/change-notes/2024-09-26-wcharcharconversion-false-positives.md
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2024-09-30 11:17:48 -04:00
REDMOND\brodes
318e75c094
Changing name of predicate to be clearer, and removing an unused parameter.
2024-09-30 11:10:28 -04:00