2923 Commits

Author	SHA1	Message	Date
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
Anders Schack-Mulligen	9fafa973d8	C++: Remove irrelevant test.	2023-12-07 14:13:42 +01:00
Jeroen Ketema	edf178696d	C++: accept test changes for IR Guards replacement	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	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
Benjamin Rodes	94a0420040	Updated getResultExpr to getResultNode. Added strlcat. Added tests.	2023-11-29 16:03:41 -05:00
Mathias Vorreiter Pedersen	e47ad274ea	C++: Add Schack's tests.	2023-11-28 14:32:21 +00:00
Mathias Vorreiter Pedersen	fb6329fbc1	C++: Fix test annotation	2023-11-28 14:27:15 +00:00
Mathias Vorreiter Pedersen	1771d77c23	C++: Accept test changes.	2023-11-28 14:27:15 +00:00
Mathias Vorreiter Pedersen	1753a7e146	C++: Add tests.	2023-11-28 14:27:15 +00:00
Jeroen Ketema	c02a732632	C++: Remove DefaultTaintTracking library	2023-11-24 18:35:19 +01:00
Mathias Vorreiter Pedersen	98bf748e64	C++: Accept test changes.	2023-11-23 16:53:57 +00:00
Mathias Vorreiter Pedersen	dcba8e5408	C++: Fix global variable flow for array types.	2023-11-20 12:15:55 +00:00
Mathias Vorreiter Pedersen	8039e117ba	C++: Add more global-variable flow tests.	2023-11-20 12:15:52 +00:00
Mathias Vorreiter Pedersen	5a7cb8f25a	C++: Fix duplication on reference dereference expressions.	2023-11-16 10:52:35 +00:00
Mathias Vorreiter Pedersen	799873113f	C++: Add a test that demonstrates reference dereference duplication.	2023-11-16 10:52:14 +00:00
Mathias Vorreiter Pedersen	f8feb84958	C++: Accept test changes from refactoring QL files.	2023-11-16 10:52:10 +00:00
Mathias Vorreiter Pedersen	6a1504b91c	C++: Slightly refactor test QL files so that we can add a test which tests the nodes being selected.	2023-11-16 10:50:56 +00:00
Anders Schack-Mulligen	bf6cfd3bef	Rangeanalysis: Simplify api.	2023-11-13 10:35:44 +01:00
Mathias Vorreiter Pedersen	39b9d2ea83	C++: Accept test changes.	2023-11-09 20:28:55 +00:00
Mathias Vorreiter Pedersen	0963af2ee7	C++: Add failing tests.	2023-11-09 18:01:22 +00: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	a04830b8b2	Merge pull request #14697 from MathiasVP/range-analysis-simplify-conversions ... C++: Simplify the definition of `SemExpr` for range analysis	2023-11-07 14:52:09 +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	a17cd9bc1c	Merge pull request #14667 from MathiasVP/more-function-input-and-output-ipa-numbers ... C++: Allocate more `FunctionInput` and `FunctionOutput`s	2023-11-07 08:57:31 +00:00
Mathias Vorreiter Pedersen	e91987b1a9	C++: Accept test changes.	2023-11-06 16:02:06 +00:00
Mathias Vorreiter Pedersen	31c2a3be98	C++: Don't redefine the meaning of the single-parameter 'isParameterDeref' and accept test changes.	2023-11-06 15:52:58 +00:00
Mathias Vorreiter Pedersen	392b2af923	C++: Only the second indirection of the argument should be the remote flow source.	2023-11-02 16:51:24 +00:00
Mathias Vorreiter Pedersen	b82dfa9a21	C++: Fix failing test by allocating 'TFunctionInput's and 'TFunctionOutput's for more indirections. Note that we now mark two output nodes coming out of 'getaddrinfo' as a remote flow source (the first indirection and the second indirection). We'll fix that in the next commit.	2023-11-02 16:45:50 +00:00
Mathias Vorreiter Pedersen	5487b404ed	C++: Add failing test.	2023-11-02 16:41:19 +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	b79a5fee14	Merge pull request #14637 from MathiasVP/dataflow-for-realloc ... C++: Add a taint model for `realloc`	2023-10-31 18:24:04 +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
Mathias Vorreiter Pedersen	66f4eccc30	Merge pull request #14632 from MathiasVP/share-ipa-numbering-for-indirect-nodes ... C++: Share IPA numbering for indirect nodes	2023-10-31 11:20:41 +01: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	0837e400a2	C++: Add failing test.	2023-10-30 17:05:43 +00:00
Mathias Vorreiter Pedersen	91d224eea5	Merge pull request #14623 from alexet/dataflow-fps ... CPP: Add dataflow FP with output arguments	2023-10-30 14:30:51 +00:00
Alex Eyers-Taylor	fb0f9ec601	CPP: Add missing rnage analysis ranges in test.	2023-10-30 14:17:03 +00:00
Alexander Eyers-Taylor	b8d45ae927	Update cpp/ql/test/library-tests/dataflow/dataflow-tests/flowOut.cpp ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2023-10-30 14:04:45 +00:00
Mathias Vorreiter Pedersen	a077b70d66	C++: Accept test changes.	2023-10-30 11:54:24 +00:00
Alex Eyers-Taylor	60f3598da9	CPP: Add dataflow FP with output arguments	2023-10-27 19:07:10 +01:00