Oxenstored 32->31 位元整數截斷問題。Ocaml 中的整數為帶正負號的 63 位元或 31 位元精確度。Ocaml Xenbus 程式庫從環中取出 C uint32_t，並將其直接轉換為 Ocaml 整數。在 64 位元 Ocaml 版本中，這沒有問題，但在 32 位元版本中，它會截斷最高有效位元，然後在其餘部分中造成未帶正負號/帶正負號的混淆。這樣又可將負值提供給預期為非負值的邏輯，進而引發意外的例外狀況。未適當處理意外的例外狀況，可造成處理程序嘗試將錯誤封包移出 xenstore 環 (並且失敗) 的忙碌迴圈。

請注意，Nessus 並未測試此問題，而是僅依據應用程式自我報告的版本號碼作出判斷。

偵測

Xen：Oxenstored 32->31 位元整數截斷問題 (XSA-420)

medium Nessus Plugin ID 167492

版本 1.2