34 Commits

Author	SHA1	Message	Date
Chris Smowton	39a12a8464	Remove models that are no longer required	2021-09-28 10:48:43 +01:00
Owen Mansel-Chan	e6df8164cf	Fix up old tests for new helper functions	2021-09-27 16:24:39 +01:00
Owen Mansel-Chan	cf03bd8bd1	Merge new and old tests ... # Conflicts: # java/ql/test/library-tests/frameworks/apache-collections/TestNew.java	2021-09-27 16:24:38 +01:00
Owen Mansel-Chan	342c14887b	Fix existing models for MapUtils	2021-09-27 16:24:37 +01:00
Owen Mansel-Chan	e1101e582e	Minor improvement to existing tests	2021-09-27 16:24:37 +01:00
Owen Mansel-Chan	768203bd36	Remove redundant casts	2021-09-27 16:24:36 +01:00
Owen Mansel-Chan	c51fb00082	Add tests for non-public abstract classes	2021-09-27 16:24:35 +01:00
Owen Mansel-Chan	0a92b04c8b	Fix up automatically generated tests	2021-09-27 16:24:34 +01:00
Owen Mansel-Chan	15161d8867	Make concrete subclasses of abstract classes	2021-09-27 16:24:33 +01:00
Owen Mansel-Chan	53ee465726	Fix errors in generated tests that stop compilation	2021-09-27 16:24:32 +01:00
Owen Mansel-Chan	a20acfee25	Add automatically generated tests ... Also update test.ql to use the new InlineFlowTest.	2021-09-27 16:24:31 +01:00
Owen Mansel-Chan	fd0fb9483e	Model the remaining subpackages in Apache Commons Collections	2021-09-27 16:24:26 +01:00
Benjamin Muskalla	bf5a46f6d8	Simplify inline tests	2021-09-13 17:08:02 +02:00
Benjamin Muskalla	eba414e31b	Convert apache-collections to InlineFlowTest	2021-09-07 16:46:59 +02:00
Owen Mansel-Chan	b23fabe8cb	Fix errors from previous PR	2021-08-16 16:11:17 +01:00
Owen Mansel-Chan	1c2476c6a1	Add explanatory comments	2021-08-12 14:51:49 +01:00
Owen Mansel-Chan	fe477ff989	Fix more models based on review comments	2021-08-12 14:51:37 +01:00
Owen Mansel-Chan	2000985509	Remove duplicate test	2021-08-10 11:58:28 +01:00
Owen Mansel-Chan	a55a32f50a	Add more missing models ... And corresponding tests	2021-08-10 11:35:20 +01:00
Owen Mansel-Chan	54fdfe3906	Make helper functions more consistent	2021-08-09 17:18:03 +01:00
Owen Mansel-Chan	2d31bb8d64	Remove toString taint propagation ... We do not do this for other overrides of toString	2021-08-09 17:18:02 +01:00
Owen Mansel-Chan	1997dfbb4a	Remove unnecessary casts	2021-08-08 14:03:57 +01:00
Owen Mansel-Chan	f94e467076	Fixes to models and tests ... Running the test generator script again showed many missing tests.	2021-08-08 14:03:48 +01:00
Owen Mansel-Chan	377403d525	Remove redundant models and corresponding test ... Iterator.next is already modelled	2021-08-08 13:57:51 +01:00
Owen Mansel-Chan	5d3f10824e	Fix erroneous treatment of varargs in models	2021-08-08 13:57:50 +01:00
Owen Mansel-Chan	2ba41df2ba	Remove commented line	2021-08-06 07:06:36 +01:00
Owen Mansel-Chan	d1a440a45a	Improve helper functions for Put	2021-08-06 07:06:35 +01:00
Owen Mansel-Chan	2e04319d9f	Manually improve tests	2021-08-04 14:27:01 +01:00
Owen Mansel-Chan	a538699a0a	Add automatically generated tests	2021-08-04 14:27:00 +01:00
Owen Mansel-Chan	044ecc51e5	Manually improve tests #2	2021-06-25 13:51:18 +01:00
Owen Mansel-Chan	2fd4c9f1b9	Manually improve tests	2021-06-25 11:17:11 +01:00
Owen Mansel-Chan	acc43fcaca	Add options file	2021-06-25 11:17:07 +01:00
Owen Mansel-Chan	7004c87ec0	Manually edit tests so they pass	2021-06-25 11:17:05 +01:00
Owen Mansel-Chan	4388f19ddf	Add automatically-generated tests	2021-06-25 11:17:04 +01:00