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 プラグイン ID 167492

バージョン 1.2