| commit | a0e4296f0418b5f155cc21fb9d0d432a8462081d | [log] [tgz] |
|---|---|---|
| author | Alan Stokes <alanstokes@google.com> | Fri Apr 14 17:59:50 2023 +0100 |
| committer | Alan Stokes <alanstokes@google.com> | Fri Apr 21 12:00:55 2023 +0100 |
| tree | 23223c714aedd3da513121da5360672b0f2f8b1b | |
| parent | 1ef22bcff03bab7ad07138e16d814a884931bbc1 [diff] |
Require unsafe blocks in unsafe functions Some hopefully harmless refactoring. Only minor behavioral changes are introduced. Turn on the unsafe_op_in_unsafe_fn lint, treated as an error, for all our low-level code, to ensure that unsafe code is properly highlighted & commented even inside unsafe functions. I've moved the setting from the code to the blueprint in order to make it the default for new code, and reduce clutter. Add unsafe blocks as required to fix all the errors that this surfaced, with appropriate safety comments. I've tried to keep them as small as possible. Slightly to my surprise I removed the unsafe marker from malloc_ (and renamed it in passing); I believe it has no preconditions and is always safe - although doing anything with the returned memory wouldn't be. Bug: 275693559 Test: flash pvmfw, atest MicrodroidTests Change-Id: Ia6f39102caea05c6517bc7500914b7fe7025286c
This repository contains userspace services related to running virtual machines on Android, especially protected virtual machines. See the getting started documentation and Microdroid README for more information.