42 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	f066f21751	C++: Make swap member functions data-flow functions	2024-09-04 13:55:19 +02:00
Mathias Vorreiter Pedersen	7e9bf2a880	C++: Add a model for 'partial updating' and extend models appropriately.	2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen	24a63ae94d	C++: Block flow by default.	2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen	fb4bd53ec5	Revert "Merge pull request #15528 from MathiasVP/flow-barrier-interface" ... This reverts commit c5dc88345d, reversing changes made to 781486172e.	2024-02-13 13:42:58 +00:00
Mathias Vorreiter Pedersen	21b9b3b87f	C++: Accept test changes.	2024-02-06 16:15:22 +00:00
Mathias Vorreiter Pedersen	b107c4c641	C++: Fix missing result in 'ModelUtil'. The problem was that 'n.asInstruction()' on line 81 wasn't necessarily a 'CallInstruction' (it could be a conversion).	2023-10-23 19:34:25 +01:00
Mathias Vorreiter Pedersen	c0b04eac7c	C++: Add failing test.	2023-10-23 19:29:28 +01:00
Jeroen Ketema	a972d0943a	C++: Accept test changes after changes in IR generation	2023-10-19 10:45:14 +02:00
Mathias Vorreiter Pedersen	20f501d1c7	C++: Change queries to use 'asExpr' instead of 'asConvertedExpr'.	2023-09-01 15:01:32 +01:00
Mathias Vorreiter Pedersen	ccdaf49464	C++: Fix the same bug in the test for ordered maps.	2021-11-10 13:24:27 +00:00
Mathias Vorreiter Pedersen	86d78b34aa	C++: Use the correct variable in the 'test'.	2021-11-10 13:04:48 +00:00
Mathias Vorreiter Pedersen	2cd23e5ee0	Accept test changes.	2021-10-28 12:36:36 +01:00
Mathias Vorreiter Pedersen	3efe60fdd2	C++: Accept test changes.	2021-10-28 12:35:01 +01:00
Mathias Vorreiter Pedersen	0679142607	C++: Accept test changes.	2021-10-01 18:27:55 +02:00
Mathias Vorreiter Pedersen	23876cb581	C++: Only allow taint to a FieldAddressInstruction if it's a union type.	2021-03-04 16:29:44 +01:00
Cornelius Riemenschneider	7700e87cca	C++: Address review.	2020-12-01 19:08:49 +01:00
Cornelius Riemenschneider	b632ca40b4	C++: Port dataflow/taint-tests to inline expectations test.	2020-11-30 17:32:54 +01:00
Dave Bartolomeo	0d1fbd1bdc	Fix annotations	2020-11-02 18:03:40 -05:00
Dave Bartolomeo	14ac9859c1	Remove more ODR violations from test code. ... PrintAST now works on `library-tests/dataflow/taint-tests`.	2020-10-16 10:26:42 -04:00
Geoffrey White	c63f7cb409	C++: Taint through emplace from qualifier to return value.	2020-10-09 17:41:24 +01:00
Geoffrey White	270517d379	C++: Revise model of emplace and emplace_hint. Note that 2 of the 3 taint regressions we shouldn't be getting because we don't yet do taint through keys.	2020-10-09 17:27:18 +01:00
Geoffrey White	49c121d370	C++: More test cases covering other std::pair constructors.	2020-10-09 17:22:29 +01:00
Geoffrey White	61a78e28ac	C++: Fix map::merge.	2020-10-09 14:46:23 +01:00
Geoffrey White	8786fe1ab8	C++: Add test missing test case involving tainted key.	2020-10-09 10:00:22 +01:00
Geoffrey White	5c1a510e4a	C++: Model map::lower_bound, upper_bound and equal_range.	2020-10-08 14:22:43 +01:00
Geoffrey White	ef9a7c8cdb	C++: Model map::merge.	2020-10-08 14:22:43 +01:00
Geoffrey White	b7ab89c892	C++: Model map::emplace, emplace_hint and map::try_emplace.	2020-10-08 14:22:43 +01:00
Geoffrey White	6394b1b478	C++: Additional test cases for emplace.	2020-10-08 14:11:24 +01:00
Geoffrey White	61d5372d07	C++: Test spacing.	2020-10-08 13:43:49 +01:00
Geoffrey White	4c4dd0c959	C++: Fix a bug in the tests.	2020-10-08 12:57:30 +01:00
Geoffrey White	855d2b50d7	C++: Correct test comments.	2020-10-05 13:00:51 +01:00
Geoffrey White	ad9f306352	C++: Model taint flow only when the second component of a pair would be tainted.	2020-10-01 17:38:09 +01:00
Geoffrey White	ec3c1568d2	C++: Model erase.	2020-09-24 18:38:29 +01:00
Geoffrey White	8b91d5077d	C++: Model find.	2020-09-24 18:38:29 +01:00
Geoffrey White	d550741c0c	C++: Model insert_or_assign.	2020-09-24 18:38:28 +01:00
Geoffrey White	c51294e423	C++: Model operator[] and at.	2020-09-24 18:38:28 +01:00
Geoffrey White	13b15d9bcd	C++: Model swap.	2020-09-24 18:38:27 +01:00
Geoffrey White	6119bf3430	C++: Model begin and end.	2020-09-24 18:38:27 +01:00
Geoffrey White	25e0c680c6	C++: Model insert.	2020-09-24 18:38:27 +01:00
Geoffrey White	0dca7f81bc	C++: Model std::swap.	2020-09-24 15:49:33 +01:00
Geoffrey White	49f9a76c54	C++: Add tests for std::map and std::unordered_map.	2020-09-24 15:19:39 +01:00
Geoffrey White	71a605b7d9	C++: Add tests for std::pair.	2020-09-23 18:43:28 +01:00