39 Commits

Author	SHA1	Message	Date
Tony Torralba	38250b0821	Remove unnecessary implicit read step	2021-12-09 15:18:38 +01:00
Tony Torralba	522a4bb9fa	Propagate extras through build methods	2021-12-09 14:56:52 +01:00
Tony Torralba	c0c40cc05b	Remove synthetic fields	2021-12-09 13:34:41 +01:00
Tony Torralba	f209ff4f76	Use synthetic fields to improve taint precision	2021-12-09 13:34:39 +01:00
Tony Torralba	b7f7c5ba20	Change format of fluent models to make review easier	2021-12-09 13:33:19 +01:00
Tony Torralba	f63ffb0630	Add models for Notification builders	2021-12-09 13:33:17 +01:00
Tony Torralba	8ffa195538	Merge branch 'main' into atorralba/android_slice_models	2021-12-03 16:59:33 +01:00
Tony Torralba	87ebcea913	Add AsyncTask value step	2021-11-15 16:13:36 +01:00
Tony Torralba	a5749a5eb1	Add ComponentName tests to existing Intent tests	2021-10-18 15:23:52 +02:00
Tony Torralba	8263524d70	Add tests for Intent and ComponentName summaries	2021-10-18 11:10:17 +02:00
Tony Torralba	5deb996b33	Merge branch 'main' into atorralba/android_slice_models	2021-10-18 08:41:48 +02:00
Chris Smowton	9e0b112f05	Remove now-unnecessary models and tests	2021-10-12 12:35:05 +01:00
Chris Smowton	fc0b18cf61	Add tests for Android flow steps	2021-10-12 12:35:05 +01:00
Tony Torralba	91efb61e97	Use synthetic fields to improve taint precision	2021-10-07 17:03:08 +02:00
Tony Torralba	0325c07bd9	Reorganize fluent models	2021-10-07 17:03:07 +02:00
Tony Torralba	1a04ad98bc	Add Android Slice models	2021-10-07 17:01:16 +02:00
Chris Smowton	b33daa3d3a	Update Intent model tests, and fix models where required	2021-10-06 17:09:47 +01:00
Chris Smowton	5b13232a9d	Merge pull request #6739 from joefarebrother/android-intent-extra ... Java: Model Android Bundle and Intent extras methods	2021-10-05 15:39:42 +01:00
Joe Farebrother	b956238efa	Fill in gen/get methods for tests	2021-10-05 12:01:25 +01:00
Joe Farebrother	085701c7db	Remove models.csv	2021-10-01 17:11:12 +01:00
Joe Farebrother	5e4498a53a	Add more models; fix tests	2021-10-01 16:53:53 +01:00
Joe Farebrother	3ae5f13c3d	Generate tests and stubs	2021-09-29 15:44:21 +01:00
Tony Torralba	d5f675c2dc	Fix unbound field ... Add tests for non-exported providers	2021-09-27 12:58:28 +02:00
Tony Torralba	0c1f3ed0b3	Add tests for ContentProvider sources	2021-09-21 12:09:47 +02:00
Chris Smowton	e5b84fb795	Use InlineFlowTest	2021-09-14 16:37:07 +01:00
Chris Smowton	367a53dd71	Add models for android.net.Uri[.Builder]	2021-09-14 16:37:07 +01:00
Joe Farebrother	fc017b7934	Use ArrayElement of in flow step specifications	2021-07-02 14:46:31 +01:00
Joe Farebrother	1e82c607ef	Mark failing tests as missing	2021-07-01 15:29:47 +01:00
Joe Farebrother	160f3b4312	Remove ArrayElement from sink specifications	2021-07-01 14:41:39 +01:00
Joe Farebrother	4bea33402c	Rename test labels for more clarity	2021-07-01 14:38:20 +01:00
Joe Farebrother	29f82fc81f	Use ArrayElementOf in Android sinks	2021-07-01 14:38:19 +01:00
Joe Farebrother	f4a59cc2e3	Convert tainted arrays to arrays of tainted elements in tests	2021-07-01 14:38:19 +01:00
Joe Farebrother	865477d020	Convert android tests to inline expectations	2021-07-01 14:38:19 +01:00
Joe Farebrother	7926d16844	Convert SQL sinks to CSV format	2021-07-01 14:38:19 +01:00
Arthur Baars	cf6036f9b4	Java: fix some android database sinks	2020-09-30 14:42:19 +02:00
Arthur Baars	061c2a754f	Java: tests for android database flow steps	2020-09-30 12:42:19 +02:00
Arthur Baars	a13e845127	Java: tests for android database sinks	2020-09-30 12:42:19 +02:00
Anders Schack-Mulligen	629c19e719	Java: Autoformat.	2019-08-21 14:38:17 +02:00
yh-semmle	0fb323b5ff	Java: add QL library for modeling AndroidManifest.xml files	2019-06-10 12:59:47 -04:00