5486 Commits

Author	SHA1	Message	Date
Jeroen Ketema	c882945e30	C++: Add IR test case that shows regression after frontend update	2023-08-24 08:36:22 +02:00
Alex Eyers-Taylor	7d99d61662	CPP: Convert SQL tainted to IR dataflow.	2023-08-23 13:39:29 +01:00
Jeroen Ketema	6566b91355	C++: Add indication that the test result is good	2023-08-22 16:38:46 +02:00
Jeroen Ketema	1e8daff02a	C++: Add cpp/non-constant-format test	2023-08-22 16:23:47 +02:00
Mathias Vorreiter Pedersen	ef9d342a99	C++: Accept more test changes.	2023-08-21 14:02:18 +01:00
Mathias Vorreiter Pedersen	c46f9e4572	C++: Don't consider additional loads when reusing dataflow operands.	2023-08-21 12:51:41 +01:00
Mathias Vorreiter Pedersen	50190efe1c	C++: Don't limit instruction and operand reuse to those cases where we have a result for 'isUseImpl'.	2023-08-21 12:51:00 +01:00
Mathias Vorreiter Pedersen	4daabdae2b	C++: Promote 'cpp/invalid-pointer-deref' out of experimental.	2023-08-21 10:23:22 +01:00
Jonas Jensen	a002f59f58	C++: Undo BadlyBoundedWrite change from #13929 ... This rolls back the query change, ensuring that there is no need for a change note.	2023-08-18 13:48:58 +02:00
Jonas Jensen	cd1f196848	C++: Accept regression in test after evaluator fix	2023-08-18 13:30:20 +02:00
Mathias Vorreiter Pedersen	5f5a87e2c7	C++: Add false positive.	2023-08-17 12:13:16 +01:00
Jeroen Ketema	591565a0db	Merge pull request #13971 from jketema/float ... C++: Update test after float128 related extractor changes	2023-08-16 13:11:35 +02:00
Mathias Vorreiter Pedersen	986aa74db7	Merge pull request #13972 from MathiasVP/range-analysis-for-sub-expr ... C++: Support subtraction in the new range analysis	2023-08-16 11:51:11 +01:00
Jeroen Ketema	4ada83c0ba	C++: Update test after float128 related extractor changes	2023-08-15 22:10:05 +02:00
Mathias Vorreiter Pedersen	49a5a39395	C++: Accept test changes.	2023-08-15 16:49:58 +01:00
Mathias Vorreiter Pedersen	e145b81f58	C++: Accept test changes.	2023-08-15 16:12:44 +01:00
Mathias Vorreiter Pedersen	3fb024164b	C++: Add a FP caused by bad range analysis for subtraction.	2023-08-15 16:00:35 +01:00
Mathias Vorreiter Pedersen	f662cceb0b	C++: Use value numbering to better detect whether a write is certain.	2023-08-15 11:07:14 +01:00
Mathias Vorreiter Pedersen	9359bea7b5	Merge pull request #13725 from MathiasVP/fix-barriers-in-invalid-pointer-deref ... C++: Fix barriers in invalid pointer deref	2023-08-14 14:29:12 +01:00
Henry Mercer	1213eba630	Merge branch 'main' into post-release-prep/codeql-cli-2.14.2	2023-08-11 13:54:55 +01:00
Mathias Vorreiter Pedersen	2164069eda	C++: Add another testcase.	2023-08-11 12:00:43 +01:00
Mathias Vorreiter Pedersen	3d5b1986c9	C++: Fix a bug where 'boundedImpl' could give back multiple deltas.	2023-08-11 11:46:28 +01:00
Mathias Vorreiter Pedersen	c0a54e90c9	C++: Fix an inequality that should be strict, but wasn't.	2023-08-11 11:43:55 +01:00
Jeroen Ketema	e04d30a676	C++: Update expected test changes due to the line in test2.cpp having shifted	2023-08-09 15:50:07 +02:00
Mathias Vorreiter Pedersen	8a490775d8	Merge branch 'main' into fix-barriers-in-invalid-pointer-deref	2023-08-09 14:32:58 +01:00
Mathias Vorreiter Pedersen	cb1076c335	Revert "Merge pull request #13783 from MathiasVP/type-bounds-for-new-range-analysis" ... This reverts commit e9750af89f, reversing changes made to 37a546253e.	2023-08-09 13:02:54 +01:00
Jeroen Ketema	d0e7354a1b	C++: Only consider the maximum buffer size for badly bounded write	2023-08-09 12:30:00 +02:00
Jeroen Ketema	9572b9d308	C++: Add test where buffer initialized with literal is reassigned an allocation	2023-08-09 12:26:10 +02:00
Mathias Vorreiter Pedersen	e9750af89f	Merge pull request #13783 from MathiasVP/type-bounds-for-new-range-analysis ... C++: Constant type-bounds in the new range analysis	2023-08-07 15:20:45 +01:00
Mathias Vorreiter Pedersen	467231e469	Merge pull request #13887 from jketema/float128x ... C++: Remove support for `_Float128x` which is not actually supported by gcc	2023-08-07 13:42:24 +01:00
Mathias Vorreiter Pedersen	af07efe14f	C++: Accept test changes.	2023-08-05 21:59:08 +02:00
Mathias Vorreiter Pedersen	835b5e349b	C++: Accept test changes.	2023-08-05 21:56:51 +02:00
Jeroen Ketema	ea9f49efa1	C++: Remove support for _Float128x which is not actually supported by gcc	2023-08-04 17:23:11 +02:00
Mathias Vorreiter Pedersen	2d832db883	C++: Accept test changes.	2023-08-04 16:12:00 +02:00
Jeroen Ketema	d80eff330b	C++: Add test for __declspec attribute on a global variable	2023-08-04 10:35:32 +02:00
Jeroen Ketema	f7923d93f1	C++: Add semantic range analysis test as IR test ... The range analysis test currently fails with the frontend update, because the generated IR is incorrect after the update.	2023-08-03 10:13:23 +02:00
Mathias Vorreiter Pedersen	d111fa7e94	Merge pull request #13862 from jketema/ir-test ... C++: Add IR test that shows dataflow regression after frontend update	2023-08-01 10:06:49 +02:00
Jeroen Ketema	ef8d95f87d	C++: Add IR test that shows dataflow regression after frontend update	2023-08-01 09:01:39 +02:00
Mathias Vorreiter Pedersen	2562f8a297	Merge pull request #13844 from jketema/forgotten-paren ... C++: Add forgotten parentheses in ternary IR test	2023-07-31 10:03:06 +02:00
Jeroen Ketema	0bc75ea9b7	C++: Add forgotten parentheses in ternary IR test ... Without the parentheses, the expressions are parsed as `a ? x : (y = val)`.	2023-07-29 18:44:28 +02:00
Mathias Vorreiter Pedersen	fd1949092c	C++: Accept test changes.	2023-07-29 11:29:06 +02:00
Mathias Vorreiter Pedersen	ce9a14b692	Revert "Merge pull request #13792 from MathiasVP/swap-argument-order-in-invalid-ptr-deref" ... This reverts commit 1fa6511482, reversing changes made to 4676ca5a4a.	2023-07-29 11:26:41 +02:00
Jeroen Ketema	4fcb576099	Merge branch 'main' into print-global	2023-07-25 14:10:33 +02:00
Mathias Vorreiter Pedersen	cd4ec6c996	C++: Add FN testcase.	2023-07-25 12:13:46 +02:00
Jeroen Ketema	0a0e34716e	Merge pull request #13811 from jketema/ternary-tests ... C++: Add more IR tests for the ternary operator	2023-07-24 12:50:01 +02:00
Jeroen Ketema	645028e219	C++: Add more IR tests for the ternary operator	2023-07-24 11:22:27 +02:00
Mathias Vorreiter Pedersen	d350c0d5c8	C++: Accept test changes.	2023-07-21 16:54:46 +01:00
Mathias Vorreiter Pedersen	d905b1e006	C++: Add false positive.	2023-07-21 15:38:38 +01:00
Jeroen Ketema	4c9c5d8f0c	C++: Add IR SSA test case for the ternary operator	2023-07-21 10:22:34 +02:00
Jeroen Ketema	e76dc4a1f9	C++: Support printing of global and namespace variables in PrintAST	2023-07-20 11:43:55 +02:00