One approach to this would be to export the currently loaded policy via selinuxfs so that it can be verified and analyzed.
Just added this to the todo list:
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds