]> xenbits.xensource.com Git - xen.git/commit
xsm/flask: fix resource list range checks
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Tue, 22 Nov 2011 13:29:48 +0000 (13:29 +0000)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Tue, 22 Nov 2011 13:29:48 +0000 (13:29 +0000)
commit2be4fe9b058b94c52ddaf2d736ec873401ccede7
treecd52b04e8b9d66387f2374c04877aa56889a2b3d
parente7e7a8626797ff675113a2f3623680ee56871212
xsm/flask: fix resource list range checks

The FLASK security checks for resource ranges were not implemented
correctly - only the permissions on the endpoints of a range were
checked, instead of all items contained in the range. This would allow
certain resources (I/O ports, I/O memory) to be used by domains in
contravention to security policy.

This also corrects a bug where adding overlapping resource ranges did
not trigger an error.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
xen/xsm/flask/hooks.c
xen/xsm/flask/include/security.h
xen/xsm/flask/ss/services.c