Mathias Vorreiter Pedersen
c0b04eac7c
C++: Add failing test.
2023-10-23 19:29:28 +01:00
Alex Eyers-Taylor
26b0363707
CPP: Add test demonstrating use-after-free false negatives.
2023-10-23 17:01:52 +01:00
Mathias Vorreiter Pedersen
6c10ba2fb1
Merge pull request #14495 from github/calumgrant/comp-generated-this
...
C++: Fix ImplicitThisFieldAccess
2023-10-20 15:25:26 +01:00
Calum Grant
8054a5d086
C++: Add changenote
2023-10-20 14:48:20 +01:00
Dave Bartolomeo
712f7758cf
Merge branch 'main' into post-release-prep/codeql-cli-2.15.1
2023-10-19 12:14:07 -04:00
Mathias Vorreiter Pedersen
0ab159f803
Merge pull request #14135 from github/sashabu/frontend-update
...
C++: Update for changes in frontend.
2023-10-19 11:40:24 +01:00
Jeroen Ketema
a972d0943a
C++: Accept test changes after changes in IR generation
2023-10-19 10:45:14 +02:00
Jeroen Ketema
2a64552979
C++: Add support for C23/C++23 floating-point types
2023-10-19 10:45:14 +02:00
Jeroen Ketema
7e71d9e619
C++: Update expected test results after outputting less loads from the extractor
2023-10-19 10:45:14 +02:00
Jeroen Ketema
bec3e62771
C++: Update cpp/constant-array-overflow test results after frontend update
2023-10-19 10:45:14 +02:00
Jeroen Ketema
23c6027386
C++: Update expected test changes after frontend update
2023-10-19 10:45:13 +02:00
Jeroen Ketema
8b8a2726d4
C++: Accept semantic range analysis test changes due to extra loads in the IR
2023-10-19 10:45:13 +02:00
Jeroen Ketema
554087161b
C++: Accept sign analysis test changes
...
The IR now contains extra loads that need to be accounted for.
2023-10-19 10:45:13 +02:00
Jeroen Ketema
5036135f01
C++: Fix IR generation for the comma operator
2023-10-19 10:45:13 +02:00
Jeroen Ketema
0fceecee6d
C++: Fix extractor options for deprecated_with_msg test
...
The previous extractor options no longer work, because the default assumed
compiler versions have changed in the frontend.
2023-10-19 10:45:13 +02:00
Jeroen Ketema
e271c7e5e7
C++: Accept IR GVN test changes a CopyValue is now Load due to IR changes
2023-10-19 10:45:13 +02:00
Jeroen Ketema
91a98f3512
C++: Accept new dataflow IR inconsistencies
...
These are due to additional loads being generated on fields, and should not
cause any problems. Ideally, we should tune the definition of
`TPostFieldUpdateNode` to make these go away.
2023-10-19 10:45:13 +02:00
Jeroen Ketema
231e9ef098
C++: Accept PrintAST value category changes after frontend update
2023-10-19 10:45:13 +02:00
Jeroen Ketema
a6dae91215
C++: Accept IR test changes after value category updates
2023-10-19 10:45:12 +02:00
Jeroen Ketema
3202bcce70
C++: Handle ternary operators whose value category is a prvalue with a load
2023-10-19 10:45:12 +02:00
Jeroen Ketema
c60cb136bb
C++: Do not generate loads for ParenthesisExprs
2023-10-19 10:45:12 +02:00
Jeroen Ketema
4339e18ed6
C++: Update IR generation for changes in frontend
2023-10-19 10:45:12 +02:00
Calum Grant
6472ed7fe0
C++: Fix GVN for ImplicitThisFieldAccess
2023-10-18 12:40:55 +01:00
Calum Grant
c51efb1477
C++: Tighten up definitions of field accesses
2023-10-18 11:39:09 +01:00
github-actions[bot]
8dcd8b9e5b
Post-release preparation for codeql-cli-2.15.1
2023-10-17 20:24:00 +00:00
Mathias Vorreiter Pedersen
bbf9bcde2a
Merge pull request #14482 from MathiasVP/additional-call-targets-for-cpp
...
C++: Add an abstract class that can be used to extend `viableCallable`
2023-10-17 14:57:21 +01:00
Mathias Vorreiter Pedersen
9a2c1daebe
C++: Add tests for 'AdditionalCallTarget'.
2023-10-17 11:48:44 +01:00
github-actions[bot]
3b3c036626
Release preparation for version 2.15.1
2023-10-16 17:49:39 +00:00
Dave Bartolomeo
e4e472ee74
Merge pull request #14512 from MathiasVP/fix-size-in-invalid-ptr-deref
...
C++: Fix size deduction in `cpp/invalid-pointer-deref`
2023-10-16 11:22:41 -04:00
Mathias Vorreiter Pedersen
26a665369b
C++: Add QLDoc.
2023-10-16 14:15:55 +01:00
Mathias Vorreiter Pedersen
ba27a0d515
Update cpp/ql/src/change-notes/2023-10-16-redundant-null-check-simple.md
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2023-10-16 12:48:53 +02:00
Mathias Vorreiter Pedersen
32d82380f1
C++: Add change note.
2023-10-16 11:08:27 +01:00
Mathias Vorreiter Pedersen
d8a049f5cc
C++: Accept test changes.
2023-10-16 10:51:47 +01:00
Mathias Vorreiter Pedersen
7e6857d36b
C++: Make 'hasSize' slightly smarter when handling ternary operators.
2023-10-16 10:48:28 +01:00
Mathias Vorreiter Pedersen
6a7b2e4aa4
C++: Add failing test.
2023-10-16 10:47:45 +01:00
Mathias Vorreiter Pedersen
20c3984872
C++: Add the 'security' tag and add a 'security-severity' rating to 'cpp/redundant-null-check-simple'.
2023-10-16 09:54:36 +01:00
Tony Torralba
ae8e237f2c
Merge pull request #14494 from atorralba/atorralba/remove-library
...
Java/C/C#: Remove library annotations
2023-10-16 09:01:40 +02:00
Jeroen Ketema
d56a9f0781
Merge pull request #14424 from jketema/rewrite-cgi-xss
...
C++: Rewrite `cpp/cgi-xss` to not use default taint tracking
2023-10-13 17:57:04 +02:00
Mathias Vorreiter Pedersen
140ff537c0
C++: Split 'defaultViableCallable' and 'viableCallable'.
2023-10-13 15:47:02 +01:00
Calum Grant
192c16bbb3
C++: Format QL and delete note
2023-10-13 13:07:43 +01:00
Jeroen Ketema
61676277e8
C++: Fix barrier in cpp/cgi-xss
2023-10-13 14:05:47 +02:00
Calum Grant
552221868f
C++: Expand ImplicitThisFieldAccess
2023-10-13 12:05:20 +01:00
Tony Torralba
0cea3f8531
Remove library annotations
2023-10-13 12:46:56 +02:00
Mathias Vorreiter Pedersen
64fa6c8bbd
C++: Remove the hacky flow state since this is no longer needed after #13717 .
2023-10-12 13:58:36 +01:00
Mathias Vorreiter Pedersen
782ecd77b7
C++: Add change notes.
2023-10-12 11:15:41 +01:00
Mathias Vorreiter Pedersen
6865ce56bc
C++: Add an abstract class that can be used to extend 'viableCallable'.
2023-10-12 10:35:36 +01:00
Henry Mercer
1a370bfbbe
Merge pull request #14443 from github/post-release-prep/codeql-cli-2.15.0
...
Post-release preparation for codeql-cli-2.15.0
2023-10-11 17:39:04 +01:00
github-actions[bot]
ae6af17c74
Post-release preparation for codeql-cli-2.15.0
2023-10-11 14:19:20 +00:00
Alex Eyers-Taylor
3ac3169278
CPP: Add some range analysis cases
2023-10-10 20:01:14 +01:00
Mathias Vorreiter Pedersen
496f190d70
C++: Accept test changes.
2023-10-10 16:45:31 +01:00