576 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	bf6cfd3bef	Rangeanalysis: Simplify api.	2023-11-13 10:35:44 +01:00
Mathias Vorreiter Pedersen	1c8f474848	C++: Add comment as suggested in the PR review for #14708.	2023-11-07 15:16:38 +00:00
Mathias Vorreiter Pedersen	2787f0a0fc	Merge pull request #14708 from MathiasVP/add-testcase-for-range-analysis ... C++: Add range analysis testcase	2023-11-07 15:15:45 +00:00
Mathias Vorreiter Pedersen	9dca6697fb	C++: Add a testcase that fails to terminate in modulus analysis when we don't have IR operands as SSA variables.	2023-11-07 11:52:35 +00:00
Mathias Vorreiter Pedersen	e91987b1a9	C++: Accept test changes.	2023-11-06 16:02:06 +00:00
Anders Schack-Mulligen	7bf271fb6c	RangeAnalysis: Improve bounds that rely on relative modulus.	2023-11-02 12:51:48 +01:00
Anders Schack-Mulligen	7c3684dbb7	RangeAnalysis: Rename semExprModulus to exprModulus.	2023-11-02 08:19:23 +01:00
Anders Schack-Mulligen	400910e4d3	C++: Fix modulus analysis test.	2023-11-02 08:19:23 +01:00
Mathias Vorreiter Pedersen	b9dfeb3aac	Merge pull request #14444 from alexet/range-cases ... CPP: Add some range analysis cases	2023-10-31 15:55:41 +01:00
Alexander Eyers-Taylor	11152deeb5	Update cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp ... Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>	2023-10-31 13:52:33 +00:00
Alex Eyers-Taylor	fb0f9ec601	CPP: Add missing rnage analysis ranges in test.	2023-10-30 14:17:03 +00:00
Mathias Vorreiter Pedersen	572cec2c55	C++: Accept test changes.	2023-10-27 15:00:25 +01:00
Mathias Vorreiter Pedersen	d6b6c432d9	C++: Add test with incorrect IR due to wrong model.	2023-10-27 14:53:06 +01:00
Anders Schack-Mulligen	06fe10bbe9	Rangeanalysis: Bugfix division with float representation.	2023-10-25 11:17:02 +02:00
Anders Schack-Mulligen	7b214a24df	C++: Add division test	2023-10-25 11:17:02 +02:00
Anders Schack-Mulligen	ec39de20d8	C++: Convert to qlpack version of core range analysis.	2023-10-25 11:17:01 +02: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
Jeroen Ketema	a972d0943a	C++: Accept test changes after changes in IR generation	2023-10-19 10:45:14 +02:00
Jeroen Ketema	7e71d9e619	C++: Update expected test results after outputting less loads from the extractor	2023-10-19 10:45:14 +02:00
Jeroen Ketema	8b8a2726d4	C++: Accept semantic range analysis test changes due to extra loads in the IR	2023-10-19 10:45:13 +02:00
Jeroen Ketema	5036135f01	C++: Fix IR generation for the comma operator	2023-10-19 10:45:13 +02:00
Jeroen Ketema	a6dae91215	C++: Accept IR test changes after value category updates	2023-10-19 10:45:12 +02:00
Calum Grant	c51efb1477	C++: Tighten up definitions of field accesses	2023-10-18 11:39:09 +01:00
Alex Eyers-Taylor	3ac3169278	CPP: Add some range analysis cases	2023-10-10 20:01:14 +01:00
Mathias Vorreiter Pedersen	0e9f5f6b8e	C++: Accept test changes.	2023-09-18 11:46:19 +01:00
Mathias Vorreiter Pedersen	53561b7883	C++: Add tests for sized allocation without a need for a synthesized conversion.	2023-09-18 11:45:18 +01:00
Alex Eyers-Taylor	43a72f2a8e	CPP:Add tests for the aliased IR.	2023-09-07 13:42:31 +01:00
Alex Eyers-Taylor	b44c4587a4	CPP: Remove sucessors of non-returning IR calls.	2023-09-07 12:58:20 +01:00
Alex Eyers-Taylor	d603b7ac3c	CPP: Make functions that reach the end return. ... This is UB in C++ but not C where it is only bad if the result is used.	2023-09-07 12:39:48 +01:00
Mathias Vorreiter Pedersen	72d9812fea	C++: Accept more test changes.	2023-08-31 21:56:35 +01:00
Mathias Vorreiter Pedersen	dfefd62089	C++: Accept test changes.	2023-08-31 20:38:46 +01:00
Mathias Vorreiter Pedersen	b575747357	C++: Add testcase with invalid IR.	2023-08-31 20:35:33 +01:00
Alex Eyers-Taylor	59a77666a6	CPP: Remove uneeded indirection around delete calls in the IR.	2023-08-30 16:31:51 +01:00
Alex Eyers-Taylor	8b1b1618c4	CPP: Add tests for false positive in memory vulnerability queries.	2023-08-29 11:17:44 +01:00
Alex Eyers-Taylor	3b344c3578	CPP: Handle cases where the deallocator function is determined dynamically.	2023-08-29 11:17:44 +01:00
Alex Eyers-Taylor	689fda43ed	CPP: Add delete/delete[] calls to the IR.	2023-08-29 11:17:43 +01:00
Alex Eyers-Taylor	a3711e1df0	CPP: Replace getAllocatorCall with getDeallocator call.	2023-08-25 15:45:50 +01:00
Jeroen Ketema	c882945e30	C++: Add IR test case that shows regression after frontend update	2023-08-24 08:36:22 +02: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	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
Mathias Vorreiter Pedersen	2d832db883	C++: Accept test changes.	2023-08-04 16:12:00 +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
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
Jeroen Ketema	4fcb576099	Merge branch 'main' into print-global	2023-07-25 14:10:33 +02:00
Jeroen Ketema	645028e219	C++: Add more IR tests for the ternary operator	2023-07-24 11:22:27 +02: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