12902 Commits

Author	SHA1	Message	Date
Tom Hvitved	866f124a95	C#: Use CODEQL_EXTRACTOR_CSHARP_SCRATCH_DIR instead of Path.GetTempPath	2023-12-11 13:10:46 +01:00
Michael Nebel	09239ba804	C#: Update NuGet packages.	2023-12-11 10:57:43 +01:00
Michael Nebel	9ab9f2b0e6	C#: Update all project files to use .NET 8 as target framework.	2023-12-11 10:57:43 +01:00
Geoffrey White	17cd22f9d0	Merge pull request #14972 from geoffw0/cryptoprimitives ... C++: Experimental query for implementation of a cryptographic primitive	2023-12-11 09:47:46 +00:00
Mathias Vorreiter Pedersen	c6c487dd90	C++: Fix Code Scanning errors.	2023-12-11 09:35:44 +00:00
Mathias Vorreiter Pedersen	7faf286820	C++: Add more QLDoc to the 'is modifiable' predicates.	2023-12-11 09:29:59 +00:00
Mathias Vorreiter Pedersen	90b06c2046	C++: Switch the source of use-after-free and double-free to be post-update nodes.	2023-12-08 14:41:29 +00:00
Mathias Vorreiter Pedersen	5bb2144c80	C++: Add field-flow through addresses of fields	2023-12-08 14:13:01 +00:00
Jeroen Ketema	db6b1e5f5e	Merge pull request #14912 from jketema/dep-userinput ... C++: Deprecate `isUserInput`, `userInputArgument`, and `userInputReturned`	2023-12-08 15:04:23 +01:00
Alex Eyers-Taylor	da5c2d9bad	CPP: Use guard libraries to find equalities with zero.	2023-12-08 13:30:30 +00:00
Alexander Eyers-Taylor	df32e9556c	Update cpp/ql/src/change-notes/2023-12-04-incorrectly-checked-scanf.md ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2023-12-08 13:29:13 +00:00
Anders Schack-Mulligen	64eb4ff753	Merge pull request #14983 from aschackmull/dataflow/deprecate-old-api ... Data Flow: Deprecate old data flow api.	2023-12-08 14:27:25 +01:00
Jeroen Ketema	c6b0a2363a	C++: Add change note	2023-12-08 13:31:32 +01:00
Jeroen Ketema	5165999e9e	C++: Deprecate isUserInput, userInputArgument, and userInputReturned	2023-12-08 13:21:31 +01:00
Mathias Vorreiter Pedersen	7b83947383	Merge branch 'main' into fewer-dataflow-branches	2023-12-08 09:30:01 +00:00
Mathias Vorreiter Pedersen	1c73d43b4f	C++: Accept more test changes.	2023-12-08 09:29:48 +00:00
Jeroen Ketema	9a555ba16e	Merge pull request #14909 from jketema/rm-dtt ... C++: Remove `DefaultTaintTracking` library	2023-12-08 10:08:55 +01:00
Mathias Vorreiter Pedersen	e648058d30	C++: Accept test changes.	2023-12-07 23:11:28 +00:00
Mathias Vorreiter Pedersen	d6871c7cf9	C++: Merge 'PostUpdateFieldNode' and 'IndirectArgumentOutNode' into a single IPA branch.	2023-12-07 23:11:28 +00:00
Anders Schack-Mulligen	9fafa973d8	C++: Remove irrelevant test.	2023-12-07 14:13:42 +01:00
github-actions[bot]	92af5f5386	Post-release preparation for codeql-cli-2.15.4	2023-12-06 22:59:22 +00:00
github-actions[bot]	c04457e9e7	Release preparation for version 2.15.4	2023-12-06 21:11:50 +00:00
Jeroen Ketema	af1da1e9ae	C++: Also support the __noreturn__ attribute in exits ... Observed this attribute while working on coding standards test regression when replacing Guards by IRGuards.	2023-12-06 18:08:39 +01:00
Jeroen Ketema	edf178696d	C++: accept test changes for IR Guards replacement	2023-12-06 12:47:20 +01:00
Robert Marsh	88073a5fb2	C++: change note for IRGuards replacing Guards	2023-12-06 12:47:20 +01:00
Robert Marsh	172445f5e7	C++: replace Guards with IRGuards	2023-12-06 12:47:20 +01:00
Jeroen Ketema	db1dc6fa2c	Merge pull request #15021 from jketema/ir-guards-unreached-fix ... C++: Fix handling of unreached instructions in IRGuards	2023-12-06 12:46:09 +01:00
Mathias Vorreiter Pedersen	9fa20f5f39	Merge pull request #14799 from MathiasVP/solve-modify-copy-problem ... DataFlow: Add language-specific predicate for ignoring steps in flow-through calculation	2023-12-06 09:55:34 +00:00
Jeroen Ketema	4390e4cad3	C++: Fix handling of unreached instructions in IRGuards	2023-12-06 10:23:27 +01:00
Jeroen Ketema	d6e30cd828	C++: Add test showing unreachable instructions give spurious blocks in IRGuards	2023-12-06 10:23:27 +01:00
Jeroen Ketema	49a4306514	Merge pull request #15015 from jketema/exit ... C++: Add `_Exit` to the list of exiting (non-returning) functions	2023-12-06 10:07:55 +01:00
Nora Dimitrijević	66c0a4af5a	Upgrade/downgrade script	2023-12-05 22:03:40 +01:00
Nora Dimitrijević	0307354d6e	Relax the C++ dbscheme for link_targets/2	2023-12-05 22:03:40 +01:00
Jeroen Ketema	696cbeae5c	C++: Add _Exit to the list of exiting (non-returning) functions	2023-12-05 20:33:43 +01:00
Geoffrey White	521d98ed8d	C++: Make the encryption words a tiny bit more flexible.	2023-12-05 18:03:17 +00:00
Geoffrey White	e95098f61f	C++: Add 'experimental' tag.	2023-12-05 18:03:11 +00:00
Geoffrey White	cde975dc24	C++: Add even more test cases.	2023-12-05 18:02:51 +00:00
Geoffrey White	2f0be40f37	C++: Exclude results in some common libraries.	2023-12-05 18:00:00 +00:00
Geoffrey White	965d131b5a	C++: Add more test cases.	2023-12-05 17:59:26 +00:00
Geoffrey White	fb02e996d4	C++: Address QL-for-QL comments.	2023-12-05 17:58:35 +00:00
Geoffrey White	c83cfe4936	C++: Make output clearer in cases where the function name is a macro expansion (I've seen this more than once).	2023-12-05 17:58:22 +00:00
Geoffrey White	3c6f318cb2	C++: Add query tests.	2023-12-05 17:54:50 +00:00
Jeroen Ketema	30e5e74a78	Merge pull request #15005 from jketema/ir-guards-ternary-fix ... C++: Fix IRGuards ternary behaviour	2023-12-05 15:04:56 +01:00
Mathias Vorreiter Pedersen	8ce4bbec33	Merge pull request #14867 from MathiasVP/reduce-duplication-from-operators ... C++: Reduce duplication from crement operations	2023-12-05 11:57:48 +00:00
Jeroen Ketema	4d702e2eee	C++: Fix IRGuards ternary behaviour	2023-12-05 12:17:46 +01:00
Jeroen Ketema	d84961571b	C++: Add IRGuards test that shows that ternary behaviour is not quite correct	2023-12-05 12:16:01 +01:00
Mathias Vorreiter Pedersen	2908acfb52	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-12-05 11:00:17 +00:00
Mathias Vorreiter Pedersen	db0d203eb4	Merge branch 'main' into solve-modify-copy-problem	2023-12-05 09:43:17 +00:00
Mathias Vorreiter Pedersen	a8020f4f78	C++: Add barrier to prevent duplication.	2023-12-05 09:14:23 +00:00
Alex Eyers-Taylor	7706ac9f10	CPP: Fix changenote location	2023-12-04 18:50:25 +00:00