Closed master-q closed 4 years ago
It's caused by unprivileged access. Such privilege may be easily avoided by ATS and VeriFast.
oce_handle_passthrough
priv_check
It's caused by unprivileged access. Such privilege may be easily avoided by ATS and VeriFast.