5486 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	0963af2ee7	C++: Add failing tests.	2023-11-09 18:01:22 +00:00
Mathias Vorreiter Pedersen	38bd893c81	Merge branch 'main' into no-dtt-in-unbounded-write	2023-11-08 15:06:59 +00:00
Mathias Vorreiter Pedersen	e90803a81c	C++: Rewrite 'cpp/unbounded-write' away from DefaultTaintTracking.	2023-11-08 14:57:04 +00:00
Mathias Vorreiter Pedersen	ab64d9a9d6	Merge pull request #14713 from MathiasVP/no-gvn-as-ssa-in-range-analysis ... C++: Don't use GVN as SSAVariable in new range analysis	2023-11-08 09:28:15 +00:00
Mathias Vorreiter Pedersen	a8eed6bd7e	Merge pull request #14704 from MathiasVP/fix-uninitialized-local ... C++: IR'ify `cpp/uninitialized-local` and fix FPs	2023-11-07 22:45:34 +00:00
Mathias Vorreiter Pedersen	69502d0c31	C++: Add some more tests.	2023-11-07 17:31:01 +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	2d43eec3c3	C++: Accept test changes.	2023-11-07 14:57:30 +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	022c9eb3cd	C++: Add a barrier feature to 'MustFlow'.	2023-11-07 09:23:42 +00:00
Mathias Vorreiter Pedersen	6bf2d47321	C++: Allow source = sink in 'MustFlow'.	2023-11-07 09:23:42 +00:00
Mathias Vorreiter Pedersen	1dc08941f8	C++: Use 'MustFlow' in 'cpp/uninitialized-local'.	2023-11-07 09:23:41 +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	4455ed982d	C++: Accept query test changes.	2023-11-06 17:33:46 +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
Anders Schack-Mulligen	132cc03e3b	Merge pull request #14664 from aschackmull/shared/modulus-step ... RangeAnalysis: Improve bounds that rely on relative modulus.	2023-11-03 08:16:48 +01:00
Mathias Vorreiter Pedersen	679d64f0e8	Merge pull request #14647 from microsoft/24-odbc-model-instantiation-upstream2 ... C++: Adding a model implementation for ODBC.	2023-11-02 19:42:27 +00:00
Benjamin Rodes	947e0274c7	Adding sql injection test for ODBC.	2023-11-02 13:27:42 -04: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	b54b5ae0a9	Merge pull request #14648 from MathiasVP/simplify-invalid-ptr-deref ... C++: Remove one use of range analysis in `cpp/invalid-pointer-deref`	2023-11-01 14:42:20 +00: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	377da9fa66	C++: Accept test changes.	2023-10-31 11:18:35 +00:00
Mathias Vorreiter Pedersen	e8c18a3883	C++: Add FP in query test.	2023-10-31 11:17:51 +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	c8edf3151b	C++: Remove the use of range analysis in 'invalidPointerToDerefSource'.	2023-10-30 15:47:47 +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	b4958e7d58	C++: Accept path changes.	2023-10-30 12:44:30 +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
Mathias Vorreiter Pedersen	33494fe9e1	C++: Extend the taint model and accept test changes.	2023-10-27 16:26:37 +01:00
Mathias Vorreiter Pedersen	e4683449cb	C++: Add failing test.	2023-10-27 16:26:37 +01: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
Mathias Vorreiter Pedersen	30ecb4b0c8	Merge pull request #14588 from aschackmull/shared/rangeanalysis ... C++/Java: Share core range analysis	2023-10-26 16:32:46 +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