12994 Commits

Author	SHA1	Message	Date
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
Alexander Eyers-Taylor	2e92689810	CPP: Apply suggestions from code review of incorrect scanf check ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2023-12-04 18:32:03 +00:00
Jeroen Ketema	7f1bd499ce	C++: Add test annotation	2023-12-04 17:53:08 +01:00
Mathias Vorreiter Pedersen	d9d36ff213	C++: Fix Code Scanning errors.	2023-12-04 16:53:03 +00:00
Mathias Vorreiter Pedersen	03b77dbf2a	C++: Make 'node.asExpr()' behave as 'node.asDefinition()' in void contexts.	2023-12-04 16:38:13 +00:00
Jeroen Ketema	3e2397a3d1	C++: Fix chmod prototype in toctou test and additional test	2023-12-04 16:15:44 +01:00
Alex Eyers-Taylor	f3f53570a4	CPP: Fix metadata and add a change-note.	2023-12-04 12:19:31 +00:00
Anders Schack-Mulligen	67f0529cda	Dataflow: Sync.	2023-12-04 12:36:57 +01:00
Mathias Vorreiter Pedersen	359b15bb60	C++: Fix FP by special-casing compound assignments in 'asExprInternal'.	2023-12-04 11:29:51 +00:00