13 Commits

Author	SHA1	Message	Date
Asger F	3aa32e4aff	Java: use MISSING inline annotation	2024-08-21 13:40:40 +02:00
Asger F	5751fc2d3a	Java: Reveal false negative in test ... One of the sinks was flagged for the wrong reason in the test case. The flow into the 'startActivities' sink isn't working properly, but this was not revealed by the test since an alternate, spurious path exists. The spurious path goes through the implicit read at the prior sink and takes a use-use step to the 'startActivities' sink. Swapping the order of the two sinks reveals the false negative.	2024-08-21 13:36:47 +02:00
Tony Torralba	43f4dd8bc4	Consider taint through bitwise operations on PendingIntent flags	2022-11-22 11:39:30 +01:00
Tony Torralba	8e0b4892ee	Add Implicit PendingIntents sinks for Compat classes	2022-09-07 11:04:22 +02:00
Tony Torralba	bee4e4b40a	Add new AlarmManager sinks	2022-09-01 09:47:58 +02:00
Tony Torralba	9f616e7cbe	Refactor to use FlowState ... Remove the auxiliary DataFlow configuration	2022-01-14 12:24:35 +01:00
Tony Torralba	a9757fbc83	Setting null Components is not a sanitizer	2022-01-14 10:32:37 +01:00
Tony Torralba	f963887c58	Change test to avoid collision with SensitiveCommunication.ql	2022-01-14 10:32:01 +01:00
Tony Torralba	9e3594fcf1	Added more sinks	2022-01-14 10:32:00 +01:00
Tony Torralba	d49e52fb73	Add support for PendingIntents in Notifications	2022-01-14 10:31:58 +01:00
Tony Torralba	7f85dae63b	Add support for implicit field read flows	2022-01-14 10:31:57 +01:00
Tony Torralba	e58a8587db	Add support for Slices	2022-01-14 10:31:56 +01:00
Tony Torralba	d43242d09e	Added tests	2022-01-14 10:31:56 +01:00