"git@gitlab.cs.fau.de:in19ezej/jquery-timeline.git" did not exist on "ed29215aa54409d0dc11f47c1eacdbe669c1462f"
/dev/port does not seem to be used, adding in rules to confirm.
Only init and ueventd have any access to /dev/port, and neither should have any use for it. As it stands, leaving port in just represents additional attack surface with no useful functionality, so it should be removed if possible, not only from Pixel devices, but from all Android devices. Test: The phone boots successfully Bug:33301618 Change-Id: Iedc51590f1ffda02444587d647889ead9bdece3f
Showing
- private/file_contexts 1 addition, 0 deletionsprivate/file_contexts
- public/device.te 1 addition, 0 deletionspublic/device.te
- public/domain.te 7 additions, 2 deletionspublic/domain.te
- public/init.te 1 addition, 1 deletionpublic/init.te
- public/shell.te 1 addition, 0 deletionspublic/shell.te
- public/ueventd.te 2 additions, 2 deletionspublic/ueventd.te
Loading
Please register or sign in to comment