An analyzer of the wayland protocol