Xen GitHub

[nmanthey]

This patch series allows to run smatch on Xen, and allows to track guest controllable variables across the Xen code base.

This pull request is based on a patch series that has been sent to the smatch mailing list in the past.