3427 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	4a1bf95a87	C++: Expose a public memset model and use it in the exposure queries.	2023-10-31 11:17:51 +00:00
Chris Smowton	79e1aa0498	Merge pull request #14634 from github/post-release-prep/codeql-cli-2.15.2 ... Post-release preparation for codeql-cli-2.15.2	2023-10-31 10:24:53 +00:00
Mathias Vorreiter Pedersen	65081a9a1f	C++: Add change note.	2023-10-30 17:11:44 +00:00
Mathias Vorreiter Pedersen	08b528b5c4	C++: Add a taint-model for 'realloc' and accept test changes.	2023-10-30 17:08:01 +00:00
Mathias Vorreiter Pedersen	efe064284b	C++: Add up and downgrade scripts.	2023-10-30 16:07:57 +00:00
Mathias Vorreiter Pedersen	86fe5b47db	C++: Remove 'assignpaddexpr' and 'assignpsubexpr' from the 'assign_bitwise_expr' type.	2023-10-30 16:06:53 +00:00
github-actions[bot]	2b939fdf08	Post-release preparation for codeql-cli-2.15.2	2023-10-30 16:06:51 +00:00
Mathias Vorreiter Pedersen	375f0ea8b6	C++: Update documentation.	2023-10-30 15:57:30 +00:00
Mathias Vorreiter Pedersen	1e699ec0e5	C++: Simplify 'InvalidPointerToDereference.qll' now that the difference between 'derefSource' and 'pai' is always 0.	2023-10-30 15:53:48 +00:00
Mathias Vorreiter Pedersen	c8edf3151b	C++: Remove the use of range analysis in 'invalidPointerToDerefSource'.	2023-10-30 15:47:47 +00:00
Mathias Vorreiter Pedersen	535d1e2565	C++: Define indirect instructions (and operands) using a 'Node0Impl' column instead of an instruction (or operand).	2023-10-30 11:54:24 +00:00
github-actions[bot]	4641990021	Release preparation for version 2.15.2	2023-10-30 11:05:53 +00:00
Mathias Vorreiter Pedersen	33494fe9e1	C++: Extend the taint model and accept test changes.	2023-10-27 16:26:37 +01:00
Mathias Vorreiter Pedersen	8bf8888c24	C++: Simplify 'parameterNeverEscapes' and add a comment.	2023-10-27 16:26:37 +01:00
Mathias Vorreiter Pedersen	43e8b900bf	C++: Fix 'strtol' model.	2023-10-27 14:59:11 +01:00
Mathias Vorreiter Pedersen	30ecb4b0c8	Merge pull request #14588 from aschackmull/shared/rangeanalysis ... C++/Java: Share core range analysis	2023-10-26 16:32:46 +01:00
Jeroen Ketema	64004926bc	C++: Use a more declarative predicate name	2023-10-26 12:07:19 +02:00
Jeroen Ketema	903f376620	C++: Define an extractor version table and use in IR generation	2023-10-26 12:07:19 +02:00
Jeroen Ketema	990d7161b2	Merge pull request #14337 from aschackmull/cpp/container-not-locatable ... C++: Remove getLocation from Container.	2023-10-25 15:37:57 +02:00
Anders Schack-Mulligen	283d6efdf8	Rangeanalysis/Java/C++: Address some ql4ql findings.	2023-10-25 14:06:35 +02:00
Jeroen Ketema	75a1173d63	C++: Add change note	2023-10-25 14:05:38 +02:00
Jeroen Ketema	dc512728fa	C++: Make File extend Locatable	2023-10-25 14:05:38 +02:00
Jeroen Ketema	4ea5c13390	C++: Add back getLocation in File	2023-10-25 14:05:38 +02:00
Anders Schack-Mulligen	7124a53c9c	C++: Remove getLocation from Container.	2023-10-25 14:05:38 +02:00
Anders Schack-Mulligen	ec39de20d8	C++: Convert to qlpack version of core range analysis.	2023-10-25 11:17:01 +02:00
Anders Schack-Mulligen	38274db205	Rangeanalysis: Parameterise library.	2023-10-25 11:17:01 +02:00
Anders Schack-Mulligen	169ba03778	Rangeanalysis: Copy C++ version verbatim.	2023-10-25 11:17:01 +02:00
Mathias Vorreiter Pedersen	032572b924	C++: Fix 'strtok' model.	2023-10-25 09:39:36 +01:00
Mathias Vorreiter Pedersen	1fce26534f	C++: Remove implied conjunct.	2023-10-24 09:25:32 +01:00
Mathias Vorreiter Pedersen	67ed12c916	C++: Correctly model that 'operator->', and 'get' ... on smart pointers perform a load.	2023-10-23 20:11:23 +01:00
Mathias Vorreiter Pedersen	b107c4c641	C++: Fix missing result in 'ModelUtil'. The problem was that 'n.asInstruction()' on line 81 wasn't necessarily a 'CallInstruction' (it could be a conversion).	2023-10-23 19:34:25 +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	2a64552979	C++: Add support for C23/C++23 floating-point types	2023-10-19 10:45:14 +02:00
Jeroen Ketema	5036135f01	C++: Fix IR generation for the comma operator	2023-10-19 10:45:13 +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
github-actions[bot]	3b3c036626	Release preparation for version 2.15.1	2023-10-16 17:49:39 +00:00
Mathias Vorreiter Pedersen	26a665369b	C++: Add QLDoc.	2023-10-16 14:15:55 +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	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
Calum Grant	552221868f	C++: Expand ImplicitThisFieldAccess	2023-10-13 12:05:20 +01:00