search

genodelabs / genode-world

Collection of community-maintained components for Genode
Other
44 stars 46 forks source link

seoul: avoid wrong guest address decoding #322

Closed alex-ab closed 1 year ago

alex-ab commented 1 year ago

Due to widen registers in "Avoid conversion warnings (-Wconversion)" the upper 32 bits (on 64 host) of the guest address may be set in the instruction decoding helper, but actually not visible to the 32bit guest.

The bug triggered during the weekend nightly vm_stress_seoul run.