Lines Matching refs:must

4 This document covers topics that both developers and security researchers must
41 trusted and may be invalid.  Inputs must be checked before using them in a way
46 accesses and data read from guest memory must be validated.  A typical example
68 place when ``unit`` is dereferenced.  The code must check that ``val`` is 0 or
74 moments.  Device emulation code must not assume that the guest follows the
79 A related issue is that device emulation code must be prepared for unexpected
82 certain device registers.  Device emulation code must handle the case where the
84 request completes.  Unexpected accesses must not cause memory corruption or
94 Live migration code must validate inputs when loading device state so an
102 running.  Device emulation code must copy in descriptors and other guest RAM
113 research, it must be used with the ``read-zeroes=on`` option which fills read