github-actions[bot]
|
cc7b724123
|
Release preparation for version 2.19.3
|
2024-11-04 16:37:28 +00:00 |
|
Jeroen Ketema
|
1a830cdf14
|
C++: Do not generate IR for functions with multiple entry points in different locations
|
2024-10-31 10:55:52 +01:00 |
|
Anders Schack-Mulligen
|
b556590ef8
|
Merge pull request #17663 from aschackmull/dataflow/speculative-flow
Dataflow: Add support for speculative taint flow.
|
2024-10-31 08:12:43 +01:00 |
|
Anders Schack-Mulligen
|
fba4d09e65
|
TypeFlow: Simplify interface.
|
2024-10-28 15:09:09 +01:00 |
|
Anders Schack-Mulligen
|
3939eff260
|
TypeFlow: Rename step to uniqStep.
|
2024-10-28 15:00:05 +01:00 |
|
Calum Grant
|
a8f1d57573
|
Merge pull request #17775 from github/calumgrant/bmn/wrong-type-format-arguments-test
C++: Reduce FPs in cpp/wrong-type-format-argument due to extraction errors
|
2024-10-24 08:40:46 +01:00 |
|
Calum Grant
|
421413a654
|
C++: Update change notes
|
2024-10-23 14:46:00 +01:00 |
|
Calum Grant
|
f37be68067
|
C++: Handle builtin FormattingFunctions better
|
2024-10-23 14:35:32 +01:00 |
|
Jeroen Ketema
|
e36a1c717d
|
Merge branch 'main' into aliasperf2
|
2024-10-21 16:40:01 +02:00 |
|
Calum Grant
|
0fcabc4e61
|
C++: Move mayBeFromImplicitlyDeclaredFunction to Call
|
2024-10-18 15:56:08 +01:00 |
|
Calum Grant
|
419780591a
|
C++: Resolve firstFormatArgumentIndex in FormattingFunction CP
|
2024-10-18 14:52:54 +01:00 |
|
Dave Bartolomeo
|
639864e94d
|
Handle may vs. must for EntireAllocationMemoryLocation
|
2024-10-17 19:50:50 +01:00 |
|
Jeroen Ketema
|
064ec91fa2
|
Merge pull request #17778 from jketema/param-name
C++: Improve parameter naming
|
2024-10-17 16:29:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
5e04358ece
|
Update cpp/ql/lib/change-notes/2024-10-16-new-api-for-call-target-resolution.md
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-10-17 10:57:30 +01:00 |
|
Calum Grant
|
4341fab794
|
C++: Reject invalid results from getFirstFormatArgumentIndex()
|
2024-10-17 10:50:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
baab74cb35
|
C++: Add change notes.
|
2024-10-16 17:45:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
a99d57640a
|
C++: Add a new API for getting the target of a 'Call' expression.
|
2024-10-16 14:45:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
30e0781778
|
C++: Also check for source calls when using 'lambda call resolution'.
|
2024-10-16 14:14:52 +01:00 |
|
Calum Grant
|
9758e023f9
|
C++: Remove redundant test
|
2024-10-16 13:47:06 +01:00 |
|
Anders Schack-Mulligen
|
c20f12fa6c
|
Add qldoc.
|
2024-10-16 14:35:23 +02:00 |
|
Anders Schack-Mulligen
|
4e8a4a5cdd
|
C/C++: Add tentative support for speculative taint flow.
|
2024-10-16 14:35:22 +02:00 |
|
Anders Schack-Mulligen
|
c80627a3d3
|
Dataflow: add plumbing for adding provenance to state-steps.
|
2024-10-16 14:35:18 +02:00 |
|
Jeroen Ketema
|
1eb0b49634
|
C++: Improve parameter naming
|
2024-10-16 11:33:18 +02:00 |
|
Calum Grant
|
d88a674a15
|
C++: Change note for mayBeFromImplicitlyDeclaredFunction
|
2024-10-16 10:27:54 +01:00 |
|
Calum Grant
|
6a48ad0ee7
|
C++: Implement Expr::mayBeFromImplicitlyDeclaredFunction
|
2024-10-16 10:23:39 +01:00 |
|
Calum Grant
|
853128c9c3
|
C++: Clean up false-positives
C++: Change note
|
2024-10-16 09:46:26 +01:00 |
|
Jeroen Ketema
|
22b8e2cbb4
|
C++: Add missing parent scope cases
|
2024-10-15 17:16:58 +02:00 |
|
Arthur Baars
|
bdec751527
|
Merge pull request #17768 from github/post-release-prep/codeql-cli-2.19.2
Post-release preparation for codeql-cli-2.19.2
|
2024-10-15 15:33:42 +02:00 |
|
github-actions[bot]
|
079ab77a38
|
Post-release preparation for codeql-cli-2.19.2
|
2024-10-15 12:16:59 +00:00 |
|
Jeroen Ketema
|
168f7f5d34
|
C++: Add support for C++ requires expressions
|
2024-10-15 13:44:17 +02: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
|
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 |
|
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 |
|
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
|
f7392d6498
|
C++: Range analysis of 'getc'.
|
2024-10-08 10:08:13 +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 |
|
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 |
|