From patchwork Fri Mar 10 19:49:34 2017 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: James Carter X-Patchwork-Id: 9617889 Return-Path: Received: from mail.wl.linuxfoundation.org (pdx-wl-mail.web.codeaurora.org [172.30.200.125]) by pdx-korg-patchwork.web.codeaurora.org (Postfix) with ESMTP id 2CE24604D9 for ; Fri, 10 Mar 2017 19:58:44 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 0D9D528795 for ; Fri, 10 Mar 2017 19:58:44 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id 0211F28797; Fri, 10 Mar 2017 19:58:43 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on pdx-wl-mail.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=2.0 tests=BAYES_00, RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.1 Received: from emsm-gh1-uea10.nsa.gov (smtp.nsa.gov [8.44.101.8]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 9D0C228795 for ; Fri, 10 Mar 2017 19:58:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.36,142,1486425600"; d="scan'208";a="4741633" IronPort-PHdr: =?us-ascii?q?9a23=3AbSwbGxJoGr4MWgjP+9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgQKPv9rarrMEGX3/hxlliBBdydsKMZzbaG+Pm7ACQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Yb5+Nhq7oAbeusULj4ZuN7s6xwfUrHdPZ+?= =?us-ascii?q?lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRne?= =?us-ascii?q?VgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gy?= =?us-ascii?q?gJLT459HzchNJ2gqxVvRmtowVzz5DIbI2QMvd1Y6HTcs4ARWdZXshfSTFPDI2/?= =?us-ascii?q?YYUIDeUBM/5Yoovgq1YAohSxGQaiC/30yjJTmn/737c33/g7HA3awgAtGc8Fvn?= =?us-ascii?q?TOrNXyMacfSeS7w7PNzTrddPNdxCnw55LSchA9v/6MR697fM3TyUghCwzKlE+Q?= =?us-ascii?q?qZD7Mz6OyuQMs3SU7+pnVe61jW4nsBt+riKgxscrlInEn4QYwU3K+yV+xYY6P9?= =?us-ascii?q?y4SEhjbN6hCpRQrzuWN4pwQs4kXmpmuz46x6UbtZO0cyUG0pQqywPFZ/CZfIWE?= =?us-ascii?q?/AjvWPuXLDxlnnxqYqi/iAy38UW4z+38UdS730hSoypel9nMqmgN1xvO6sibUv?= =?us-ascii?q?d9/lmu2TKI1w3L9uFLO1o0lavGK5462LIwipoSvljDHi/xgkn2irOZdl449eSy?= =?us-ascii?q?7uTnY7HmqoedN49ylA7+LrwjltGwDOk3KAQDX3WX9f6i2LDs40H1WqhGguUzkq?= =?us-ascii?q?bDsZDaIcobprS+Aw9Qyosj8AiwDzOn0NQegHkGI0tJdwmAj4j0PVHBPO73Deyk?= =?us-ascii?q?jlSwkDZk2/DGPrr7DpXLNXjMiq3tfbl6605C0AYz18xQ54pICrEdJ/L+Qk3xtN?= =?us-ascii?q?veDhAjLwy0w/zoCNNm24McXmKPBKqZP7nJsV+U+O0vOfKMaJUSuDbnJPgv/+Tu?= =?us-ascii?q?gmMhmV8BYamp2oMaaHK6Hvt8P0qZYmHsgtAHEWcLoAozV+LqiFmfUT9cfHmyQq?= =?us-ascii?q?Q85i0mCI68CofDXI+tiqSb3CinBp1WenxGCleUHHfwaYqLQOkDaCSTIs99lTwJ?= =?us-ascii?q?TrmhRJE/2h6wrgP6zKBnLuXM8C0CqZ3jzMR15/HUlRwq6DN0CMKd02eQQG5qmm?= =?us-ascii?q?MIRiQ707phrkxnzVePy694g+ZXFdZL/fNGTh86NYLAz+x9E939Rx7Bcc2TSFu9?= =?us-ascii?q?XtqmBjQxQc4rzN8Vf0ZxAdOigQ7f3yCyGb8ai6SLBIAo8qLbx3XxJsB9y2rY26?= =?us-ascii?q?klkVYmR9VANXG8hq9/7AXTAJbJnFufl6avb6sc3SrN+3yEzWuBpk1YVxRwUard?= =?us-ascii?q?V3AFekTWtcj55l/FT7K2CbUmMwxByciZJ6tPbt3llFRGRPH5NNTYeW2xgWSwBR?= =?us-ascii?q?eWxrySdobqfXsS3DnFAkgejw8T5WqGNRQ5Biq5vW3eFCZhFUjuY0P36uR+sGm0?= =?us-ascii?q?TlU1zwGRd01h06C69QILivCGTPMTxL0Esj87qzpoBFa9w87WC92YqgtvfaVcZd?= =?us-ascii?q?Y970ld1W/CuQxyIIGvL6d4hlEEawR3pUTu1xdpBYpcjcgmtnQqzBB9KaiAylNO?= =?us-ascii?q?ayuY3YzsOr3QMmTy8gqvZLTQ2l7C0daW4bwC6PEgq1XipQ2pDUQj825939lSyX?= =?us-ascii?q?uc6Y3ADBAOXpLpTkY36x96qqnZYiYn5IPU0mBsPLK3sjDY2NIpA/Ylxgynf9dF?= =?us-ascii?q?P6OODBXyHNECB8iyNOwqnECkYQgZM+BI9a47IdmmeuCc16G3OeZshjWmjX5I4I?= =?us-ascii?q?plyEKD6zJ8SvLU35YC2/yXwhGIVzPig1e6rsD2mYdEaCoJHmWjyCjrGohRZrFz?= =?us-ascii?q?fYkRE2uuJdO4xslmjZ73R3FY7EKjB08B2MKxeRqdcVj93QlX1UkMpXynhDe4zz?= =?us-ascii?q?txkz4ztKaf2zbOw+v6fhodJmFLXHVijUvrIYWslNAaUlKobw8ylBu5/kv63K5b?= =?us-ascii?q?pKNxLmnWW0hIeTL6L2d8XausrrCCedJA6Is0sSVLV+SxeV6bRaT5oxsGzSzjBX?= =?us-ascii?q?BeySsldz60oJX2hAF6iGeHIHZ0tnrZdtl6xQ3D69zEWf5Rwj0GSTFkiTbKG1e8?= =?us-ascii?q?PsOm/dGPmpjfteC+Un6uWYdIcSn314+AsjW05XFyCx2lg/+zgsHnERQ90SLj0d?= =?us-ascii?q?lqVCHIrBLibYnwzKm1K/xoflNvBFPm7Mp6AI5+mJMqhJ4MwXgamomV/X0fnGft?= =?us-ascii?q?MNVUxb7+bH0XRTIR39HV4A/l2EtsLn+Sw4L5V3OdzdF7Z9m9eG8W3Tg9789SAq?= =?us-ascii?q?eO8LNEhTd1oka/rQ/JZfh9nywdyec35H4Bne4JvAstziOAArEdBkRYJjTslxWO?= =?us-ascii?q?79C/sKpXf3yjcb6u20pihdqhFq2NohlAWHblfZcvBTVw7sJ7MFLIznLz8J3reN?= =?us-ascii?q?7ebN8IrR2UjgvPj/NPJJI2jPoKijJtOXjhsn091+47kRtu0ImivIedNmVt+Li1?= =?us-ascii?q?DQRCOjLuYMMT/i3tjaFYnsuN2oCjApNhGjIXU5fyS/KnDi4Sv+z9NwmSCD08tm?= =?us-ascii?q?ubGb3HEA+c9khmqWnPHouoN36JInkZ1tNiSweBJEBFhwAURjo6lIYjFg+23Mzh?= =?us-ascii?q?bFt55jcJ617gsBRM1+ZoOAfnUmjFogeodik7SIKEIRpL9QFN+V3VMdeE4uJoGC?= =?us-ascii?q?FY44ehoxCTJWyVYARIF24JVVKeC1DlILau+cHK8/KECeqmM/vOfbKOpPRAV/eO?= =?us-ascii?q?2J2iyZVm/zCROcWPJHViCeM02lZbV3BjB8vZgykPSzAQly/Vd86Uvgq8+ilso8?= =?us-ascii?q?+j8fTrRALu6ZKBC7RIN9Vj4Re2gb2MN+SIniZ2NS5Y1o8QxX/P0LUf314TiyVw?= =?us-ascii?q?eDS2FLQAsiDNTKzOla9LEx4bayRzNM5W4K4m2AlCJ9LbgMvv1rFklv41F0tFVV?= =?us-ascii?q?v5l8Gnf8MKJX29NFTCBEuQOrSJOyDEw8btYaymUb1QluJUtx+utjmHD0/vJDOD?= =?us-ascii?q?lyPmVxq3K+FDkDmbPABCuIG6ahtiFG7jQ8j9ZxKmNt94lyc6wbouhnPFLWQcKy?= =?us-ascii?q?Rzc1tRrr2M6iNVmu9/F3ZP73Z/KOmLgSKZ7+7YK5sNq/RkHiF0m/hd4HQgxLtf?= =?us-ascii?q?9DtES+BtmCvOst5upEmrkueVyjV5TRVOsSxEhISXvUVlIqXU7YNPVmrB/B4X6m?= =?us-ascii?q?WQERsKrcN/CtLzo6BQ1sTPlKXrJTdE6dLb59McB9DPJcKJMXohKwHpGCLaDAsE?= =?us-ascii?q?Sz6kL2ffiFBckP6I8n2ZtJ86qoLjmJAWUL9USEQ1Fu8GCkRiBNENPYx3US0+nr?= =?us-ascii?q?6Uls4H/2S+oQLKRMpAvZDHS+iSDu/1JDadkLlEYQEHwanhIYQPMY372Exjal5g?= =?us-ascii?q?kITMBUXQQchHojd9YQ8svEVN7H9+Q3Uo1ELkZQOt53kTGOWpkREokQR+YP4i9D?= =?us-ascii?q?H271cwPFrKqzM6kFMtltX9nTCRbDnxIb+qUoFZESX0qVY+P4j8QwZtcwKym0lk?= =?us-ascii?q?Oy3FR7JVlLRgcm9qhBXbuZtVFv5WVbdEbwMIxfGLe/Uo1kxRqjmgxU9C/+fFE5?= =?us-ascii?q?xilQo0fp6qtH1AwQVjY8A2JaHLOKVJyV1Qib6UsS+zyuA92gkeKFgR8GmKYi4H?= =?us-ascii?q?pFQINqU6Jyqv5uFs7xKNlCFHeGUXVPoqpelq9l8nNOSG1CLg0L9DJlq3N+OBM6?= =?us-ascii?q?OTo3LAmtKQQlMsykMIkFFI/aJo3sc4bUWbTVovw6eRFxkSLsXCKBtVYNdV9Hjd?= =?us-ascii?q?ZSaOq/vCwJJvM4W7CO/oUfeEtLwIjUK8AAYpA4MM49wcEZa2zkHYLNroLKUexB?= =?us-ascii?q?o3/gTrPlKFDfpSeB2VjDgHvtu/zJ5r3YhdPD0dB3tyMTmv7LbNugAqmOaDXMsx?= =?us-ascii?q?YnoCWosEMWg2V9O8my9YuHRNFza30uQEyASY6D/8vCvQBiHmb9V/fPeUeQ9sCN?= =?us-ascii?q?au9DUk7ae2jV/X8pPDJ2D1LtltptjP6eYGqJmdEPNUUaNxs0HClIlEX3aqSXLA?= =?us-ascii?q?EcapJ5jsbIkhdcH7BWq/Uly4jTI1U9r9Mc2zLqeWmwHoRIdVsI6d3Dw5M8+yCC?= =?us-ascii?q?0eEQ9qp+4f/KJ8eREDY50jbB7rrQQ/N7awIAGE0tWuWGutJjxWT+FDwumgYbxY?= =?us-ascii?q?0TYsZPegyHQ8VpE60/W38UkVSZEWjxHewPGjZ5VeUSnzAXFSZgTPpCojmGd6LO?= =?us-ascii?q?oyxPkwwA/Qu1kGLz+LbPBpaHBDv9wkClOSO295CmwkR1KHjIrD5QCt37YO/ytd?= =?us-ascii?q?gdlU0OtFsGTgsZ/Fej6sXrKkqYnNuSo6cdcmu7FxMZDkIsaerpzemj3fQ4XOvQ?= =?us-ascii?q?KdVS67F/xamt9WIC1CW/RHgmAlNtYAuYZY50oxS90yJ7pRB6kwvrqqcyZrDTYO?= =?us-ascii?q?zS8FUIONxCcNjfm627bBjBifbYoiPwIesJVZmNQdSS53bjkZpK+5WIXcj3WERX?= =?us-ascii?q?QTIAcP8QRM4xoNlpV2fuDk/IXITJhMyzpNo/xsSyXFC4Nm+kf8RGyNnVf4T/Ch?= =?us-ascii?q?nPCz0gJJ0PLgyN8bVwBjCUJF3eZZilMoKK1rK6kXpoPFrj2Ielnms2/21OSmI1?= =?us-ascii?q?1RycnVd1LmForFqXTzXTEc+XEOQo9P0n7fH4wIkwVlcKYruElMIIe+d0bk/TMk?= =?us-ascii?q?3YNpEKKjWMC33VYqt2gGSDmuE9pADeFmv1bXWDxqY5CrtJXlNY9dQnVV+JGHrV?= =?us-ascii?q?dWjlltOTajyZVAM8FN/iIMXD9XrDSTpte9VM1D2c5zD58NONh/uGzwGKJaN5eP?= =?us-ascii?q?vXI6oLvvymXW+zokqle12C2zG7OkT+Je52AeAgIpJ2CEpUk1Aeos9WPS8l7Wv1?= =?us-ascii?q?Bx+OdbAaOPglttrzZnGZBOHS1J1XGjL1R8VnVGtP9aKKvNecxGX/YyfQOvOwA5?= =?us-ascii?q?FfM+xUOJ51x0nXHjbyxxrQZa+iHdXwgoVSYOmLvtnyMRqt2/Mz8AV51IdSkhbz?= =?us-ascii?q?vCKw+DhSBXuxNfZlp2W5wFB9ZK4KsX3Y1K8creUUysMz0KXAR+NgIk1vpSjU5D?= =?us-ascii?q?v1+CeS/HCQqnaO3CvQBpcseJtM6mMvD58xldio/9t+A47aoDTWW8mQKxWdDes5?= =?us-ascii?q?P8ttqSu0uMc6f3LfaxbmLfQzjXkx+wn6skAIfX8CTJNgpUNYV6w2I+YZf9EW7L?= =?us-ascii?q?IQhGJ6UDKkVAW6B1dclKr+JHa8JqY6sG5ahtBhebSRz1A4yvsONKLlDNSjTCNy?= =?us-ascii?q?+B6PCwoZrP7bzBTujtftaMyGjaTKJ3JJh69SL2G7Pt0Y9A5EX6xOti9kRnRlfY?= =?us-ascii?q?KSyBqsruJh8T7sm4akTipoEpHS/RAJpoiHrt3V1AeNAKTC2265kY05RZ6GvqSe?= =?us-ascii?q?1kzEfztvFS96N+5okz+bxpzt20JajKI/RArUBnGgSUBhlt9pg1HGh/XX5ebfEM?= =?us-ascii?q?J/rKYKQZidzuq/rtGKwJ6R2V/OhZZsXbJ03bncm/ED6cQwRenAgdsT4aMhec1/?= =?us-ascii?q?mdlq9xU8mloez51Vwx41iiNBEJ1qtg5YGa9aqUv+/YcwHezaAaVaTwQMP8sKgs?= =?us-ascii?q?sVuI5fI4jL4OZnB1Ywq/HegfTMEd3GDgzbsuzS02DcPOBLfg+ONHV3IlnzLvh5?= =?us-ascii?q?F9EE8QGvMPB7aL+p5enmggkezDKtIWarxCmnqIFRO8EL8N03ir6yWNIGlinx7B?= =?us-ascii?q?zQr9QX+p41/wti94RjHAz9H9nUpJTrO3H1tdXzK1OU9ktzOCJAXotMf2uaQx6E?= =?us-ascii?q?E5LGnkucmQm2S/I7xXHtfwJNqGLSkzvlIXg4U7Rsaz1oADBdq9PNAR/Wl4bvva?= =?us-ascii?q?8G6rkilBo6Jdi4rf5MGV9O/XEmO7j62GsbWN2SxXymQlvVEl9N+sLPbO58eFQ/?= =?us-ascii?q?6wzWYeUz9/uxfdXx6ysrHbqlcUOUqX0EfEhoMHJdRZ3Xgi2UHg+ucjXNwy9AJE?= =?us-ascii?q?FobDfPMOvzbzNyXowVyHedI4SjGe0ydLHlLyCVR4ArUz13/rscLGkHfR9EckRo?= =?us-ascii?q?9ueEz7nRZ3FZk3KVox6FgLxSoOCQwNaQueDLyoHknlI5ULWlUEaRSdxre6Yr03?= =?us-ascii?q?3Upxwryx+ODTcfZwB60XNvZSlgSOhkRUGooKsa0CR7JxY0Rd+7TJpgf4BIjoQe?= =?us-ascii?q?PmmGErNfKvXMBV688ZuGU54gqlQRqv94tD5a4BiJ+Ubq5EfYTMvMdk4kdl5D4P?= =?us-ascii?q?czdAgB1hgBK5T+8cvuHj4t7UsJay7OahSrotTf0N9xcoH2R+k4fwgFc7rNHW1u?= =?us-ascii?q?ZTUJfahpjk/QBWPXGKpJjV3AVmJeoJMYKrc65q928bKCgGO3IOId2WZuEn7C9s?= =?us-ascii?q?KzXS6UZNAsENZdMEJMrCgx1UiknyVb5P8crUB0GXBJ1ud8Ay6Gr30io6/YE7Uu?= =?us-ascii?q?b65z+8PYrf4E1VP/NfkCVsk8rPpPAPzvrOFCcX4XeYax9vwiOB0pWNEOj//eGN?= =?us-ascii?q?yNHSSlMHETU7U59HKzqe5QOnRuS0lJLzUgOX8MPzg4wxdFiWRnOvmKQJqKFMEf?= =?us-ascii?q?RPii/jxDhRCpj1h+6Js9qr8GZXqkdHH5h37RLfHqVQII52Ngn5lsmkR0h8GjHw?= =?us-ascii?q?eNrOeRo0peqa3OEM7PtiN0Hmf48UPgoEy67m6XpSVgZuR6T5vkyHUuINZNtrU/?= =?us-ascii?q?fErnFJ6Y1+K68AJkWdpIfwojdOtl82HBcjaKUsoTxCaknOgApVVr77uLEejAsc?= =?us-ascii?q?Tdl5uUhLFWKrJm0+4zvHVaJIjKieE/EV9iucTrYOUkpyKC9+RQ262Il2cbuzgf?= =?us-ascii?q?9Hqn9Gnj96oPUy1TxmRQezuSrop60XwjIs4rC4tDIGuXxeVeWTiCLIBFpMzfgQ?= =?us-ascii?q?iqccEXni40SmYHYfdIvy/KVnJcP4+Iku/3s/eg4jczQbU+qvDS/wjqWIApGAsd?= =?us-ascii?q?9Hix6Nvd/BbbmtIiQIMbQ90x3jTWBn0gfChBZo7HcLQjK44d8mI4W9OcAlyjC0?= =?us-ascii?q?FmjbcFYM/75GscrwtV4NV+s2alJhzX590siGWC0CXsjPFHs0jgQ+b2VLbo5D4w?= =?us-ascii?q?cAF6Y0mjaIorVG/gYMbTfVDISq4I/QkNzM2XkgUNhqx2XWprafipMtyn1llMt+?= =?us-ascii?q?7jSSt3QKa+zYT8hsD2Dx1ohBx+z+afGtv/sJSYR8zrSuTuMCPtOl+WSoxJVgQl?= =?us-ascii?q?WlyagGH1qlLO8Dwa/WUyihSW2fV+WEbWyMnzIiP07p4hmoKFw3Z9tQo087LOTC?= =?us-ascii?q?moZWlxf9XrNsWiWQuVjbwXQhMeMadwM2oICnewgLTO4NeeeRPu0uwPwiCFsWcX?= =?us-ascii?q?DFByx2C/W5sVS1hoh0J21g4VnmYeTq6g3mLNqSGhwfHI7Gr55+5f+6SXyFOXN6?= =?us-ascii?q?yh19IlV0/f/FF1stru9cb4qRnd/IitR+0O4FdPRtMSomt94RgI1j6o6U0MGUfh?= =?us-ascii?q?HX1JryI8/aouSACf3F00sqYn1aUqYeYQ7t/Io1INg5W6HIELtCuRQcArQ6QIA/?= =?us-ascii?q?N2jv6a54NgRzchTeZL6smMnluvqLZodIp3/R9l8wIjnTuxkCyvysUwN2dJGrh3?= =?us-ascii?q?T3IJA1WD1BtdltBQV8EItIAcMAoBKtA4SIl6Gjl9+x50R6tvcEsKroEPDK1ci2?= =?us-ascii?q?0JtqUphf5EyLICzRC7dxjkRilOSyje/K0oPtBsP6ZdMESO97T3bCar/CAIqyMS?= =?us-ascii?q?qOOsbmdE5d776c0a52UgmLZC/nQaWKriukO+t44U8j0Ix3YPLTzCAx77HcwNby?= =?us-ascii?q?Y2BbpiG+rX+GLZdf6F3KBffCXxJPUveF8XxqHasQbYfu8+cOK9MiysCG4wZv9D?= =?us-ascii?q?RCzNeFI6+5o0/XxE17cZPbLE302yc2XoUELwi/MUsyjm/DtHvdGW5TI9OnKcZz?= =?us-ascii?q?mtaVCALi501qlmEwaW5NAG3oRc2eOWIDwcKxeBWK9B5XD9YEh+O3fFQ3ubGySe?= =?us-ascii?q?lpPJVFnv6ntKsGkdZvNS7PQMlaPyfNLL55JDZRCf/PpFcwaB4er7c1Qps1ZYSJ?= =?us-ascii?q?IE4fMkeP0yDyzQzZ3kDvatys0rqJICYR8nVawLLF0SRMqxO/ufmHns3pSKrZY4?= =?us-ascii?q?3uXP7OLColUSmXSi8pHkqu/VekuuEEvOaDIWsFuVAbfD6dBBQIpq9xqdjQD2nT?= =?us-ascii?q?mfBsfZARmP+bWzrwSDBjlKYoCCdEr1yMQ+EEFQnQdXPhh3BcuAO6LP9W4X3ld6?= =?us-ascii?q?GYxrZSW+EODYtDaOaWQ8HZef9AIzcljSsZOOKmcN3HrrY5z0jETW0HHKnU7Fee?= =?us-ascii?q?VlKZQuSAxzL3WoUYp4o0ui8v+tLKhC93Er/IMq2ZpzG09463kieYtffZVmk3bE?= =?us-ascii?q?w/mPgCD3WZwBlcNGEEDMkYuFrjQq6Fe0lB1XEkhPlw2xASYgRzU3xv0npQnPqn?= =?us-ascii?q?HM1WV0IUhnu0QPIadFB3EC8w/UiS7w3wZtwAv8TTSnRb9rQSVIUdIv4o6JPLN6?= =?us-ascii?q?QO2vop2ixpoDBp+xmaWkhQigOD7rr4ALN3xroE43Ixuf5xQBKhWTTaJ0rOz4e9?= =?us-ascii?q?Q+lG3ztjuziw1dXft/pxbpNGtop5BxEMGiswKdfDq2MSGVro0Re/6k7oVA+VJy?= =?us-ascii?q?gUtXNRfSE=3D?= X-IPAS-Result: =?us-ascii?q?A2GUCAD0BMNY/wHyM5BdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBgyZheBKOYZJkAZU7IgOBd4ZMVwEBAQEBAQEBAgECaAUjgjMig?= =?us-ascii?q?SpbPAYBAhcBDBMUIA4DCQEBFykICAMBLRURDgsFGASJUg2zaTomAopyhCyLNxE?= =?us-ascii?q?BhgEFgSsBh2eGRn9MixYChnaLQgKCTYgZhjyTQFh7CBkJAhQlTmWDKwEBAUIdg?= =?us-ascii?q?WIfV4dfDRcHghABAQE?= Received: from unknown (HELO tarius.tycho.ncsc.mil) ([144.51.242.1]) by emsm-gh1-uea10.nsa.gov with ESMTP; 10 Mar 2017 19:58:36 +0000 Received: from prometheus.infosec.tycho.ncsc.mil (prometheus [192.168.25.40]) by tarius.tycho.ncsc.mil (8.14.4/8.14.4) with ESMTP id v2AJwYgv028063; Fri, 10 Mar 2017 14:58:34 -0500 Received: from tarius.tycho.ncsc.mil (tarius.infosec.tycho.ncsc.mil [144.51.242.1]) by prometheus.infosec.tycho.ncsc.mil (8.15.2/8.15.2) with ESMTP id v2AJn5Ln288354 for ; Fri, 10 Mar 2017 14:49:05 -0500 Received: from moss-lions.infosec.tycho.ncsc.mil (moss-lions [192.168.25.4]) by tarius.tycho.ncsc.mil (8.14.4/8.14.4) with ESMTP id v2AJn4FS024726 for ; Fri, 10 Mar 2017 14:49:04 -0500 From: James Carter To: selinux@tycho.nsa.gov Subject: [PATCH 1/3] libsepol: Add ability to convert binary policy to CIL Date: Fri, 10 Mar 2017 14:49:34 -0500 Message-Id: <1489175376-27336-2-git-send-email-jwcart2@tycho.nsa.gov> X-Mailer: git-send-email 2.7.4 In-Reply-To: <1489175376-27336-1-git-send-email-jwcart2@tycho.nsa.gov> References: <1489175376-27336-1-git-send-email-jwcart2@tycho.nsa.gov> X-BeenThere: selinux@tycho.nsa.gov X-Mailman-Version: 2.1.20 Precedence: list List-Id: "Security-Enhanced Linux \(SELinux\) mailing list" List-Post: List-Help: MIME-Version: 1.0 Errors-To: selinux-bounces@tycho.nsa.gov Sender: "Selinux" X-Virus-Scanned: ClamAV using ClamSMTP It would sometimes be helpful for debugging or verification purposes to be able to convert a binary policy to a human-readable form. Create new function, sepol_kernel_policydb_to_cil(), that takes a policydb created from a binary policy and writes CIL policy to the provided FILE pointer. Signed-off-by: James Carter --- libsepol/include/sepol/kernel_to_cil.h | 5 + libsepol/src/kernel_to_cil.c | 3149 ++++++++++++++++++++++++++++++++ libsepol/src/kernel_to_common.c | 681 +++++++ libsepol/src/kernel_to_common.h | 110 ++ libsepol/src/libsepol.map.in | 1 + 5 files changed, 3946 insertions(+) create mode 100644 libsepol/include/sepol/kernel_to_cil.h create mode 100644 libsepol/src/kernel_to_cil.c create mode 100644 libsepol/src/kernel_to_common.c create mode 100644 libsepol/src/kernel_to_common.h diff --git a/libsepol/include/sepol/kernel_to_cil.h b/libsepol/include/sepol/kernel_to_cil.h new file mode 100644 index 0000000..60346ad --- /dev/null +++ b/libsepol/include/sepol/kernel_to_cil.h @@ -0,0 +1,5 @@ +#include + +#include + +int sepol_kernel_policydb_to_cil(FILE *fp, struct policydb *pdb); diff --git a/libsepol/src/kernel_to_cil.c b/libsepol/src/kernel_to_cil.c new file mode 100644 index 0000000..143f7fa --- /dev/null +++ b/libsepol/src/kernel_to_cil.c @@ -0,0 +1,3149 @@ +#include +#include +#include +#include +#include +#include + +#include +#include +#include +#ifndef IPPROTO_DCCP +#define IPPROTO_DCCP 33 +#endif + +#include +#include +#include +#include +#include +#include +#include +#include + +#include "kernel_to_common.h" + + +static char *cond_expr_to_str(struct policydb *pdb, struct cond_expr *expr) +{ + struct cond_expr *curr; + struct strs *stack; + char *new_val; + char *str = NULL; + int rc; + + rc = stack_init(&stack); + if (rc != 0) { + goto exit; + } + + for (curr = expr; curr != NULL; curr = curr->next) { + if (curr->expr_type == COND_BOOL) { + char *val1 = pdb->p_bool_val_to_name[curr->bool - 1]; + new_val = create_str("%s", 1, val1); + } else { + const char *op; + uint32_t num_params; + char *val1 = NULL; + char *val2 = NULL; + + switch(curr->expr_type) { + case COND_NOT: op = "not"; num_params = 1; break; + case COND_OR: op = "or"; num_params = 2; break; + case COND_AND: op = "and"; num_params = 2; break; + case COND_XOR: op = "xor"; num_params = 2; break; + case COND_EQ: op = "eq"; num_params = 2; break; + case COND_NEQ: op = "neq"; num_params = 2; break; + default: + sepol_log_err("Unknown conditional operator: %i", + curr->expr_type); + goto exit; + } + + if (num_params == 2) { + val2 = stack_pop(stack); + if (!val2) { + sepol_log_err("Invalid conditional expression"); + goto exit; + } + } + val1 = stack_pop(stack); + if (!val1) { + sepol_log_err("Invalid conditional expression"); + free(val2); + goto exit; + } + if (num_params == 2) { + new_val = create_str("(%s %s %s)", 3, op, val1, val2); + free(val2); + } else { + new_val = create_str("(%s %s)", 2, op, val1); + } + free(val1); + } + if (!new_val) { + sepol_log_err("Invalid conditional expression"); + goto exit; + } + rc = stack_push(stack, new_val); + if (rc != 0) { + sepol_log_err("Out of memory"); + goto exit; + } + } + + new_val = stack_pop(stack); + if (!new_val || !stack_empty(stack)) { + sepol_log_err("Invalid conditional expression"); + goto exit; + } + + str = new_val; + + stack_destroy(&stack); + return str; + +exit: + while ((new_val = stack_pop(stack)) != NULL) { + free(new_val); + } + stack_destroy(&stack); + + return NULL; +} + +static char *constraint_expr_to_str(struct policydb *pdb, struct constraint_expr *expr, int *use_mls) +{ + struct constraint_expr *curr; + struct strs *stack = NULL; + char *new_val = NULL; + const char *op; + char *str = NULL; + int rc; + + *use_mls = 0; + + rc = stack_init(&stack); + if (rc != 0) { + goto exit; + } + + for (curr = expr; curr; curr = curr->next) { + if (curr->expr_type == CEXPR_ATTR || curr->expr_type == CEXPR_NAMES) { + const char *attr1 = NULL; + const char *attr2 = NULL; + + switch (curr->op) { + case CEXPR_EQ: op = "eq"; break; + case CEXPR_NEQ: op = "neq"; break; + case CEXPR_DOM: op = "dom"; break; + case CEXPR_DOMBY: op = "domby"; break; + case CEXPR_INCOMP: op = "incomp"; break; + default: + sepol_log_err("Unknown constraint operator: %i", curr->op); + goto exit; + } + + switch (curr->attr) { + case CEXPR_USER: attr1 ="u1"; attr2 ="u2"; break; + case CEXPR_USER | CEXPR_TARGET: attr1 ="u2"; attr2 =""; break; + case CEXPR_USER | CEXPR_XTARGET: attr1 ="u3"; attr2 =""; break; + case CEXPR_ROLE: attr1 ="r1"; attr2 ="r2"; break; + case CEXPR_ROLE | CEXPR_TARGET: attr1 ="r2"; attr2 =""; break; + case CEXPR_ROLE | CEXPR_XTARGET: attr1 ="r3"; attr2 =""; break; + case CEXPR_TYPE: attr1 ="t1"; attr2 ="t2"; break; + case CEXPR_TYPE | CEXPR_TARGET: attr1 ="t2"; attr2 =""; break; + case CEXPR_TYPE | CEXPR_XTARGET: attr1 ="t3"; attr2 =""; break; + case CEXPR_L1L2: attr1 ="l1"; attr2 ="l2"; break; + case CEXPR_L1H2: attr1 ="l1"; attr2 ="h2"; break; + case CEXPR_H1L2: attr1 ="h1"; attr2 ="l2"; break; + case CEXPR_H1H2: attr1 ="h1"; attr2 ="h2"; break; + case CEXPR_L1H1: attr1 ="l1"; attr2 ="h1"; break; + case CEXPR_L2H2: attr1 ="l2"; attr2 ="h2"; break; + default: + sepol_log_err("Unknown constraint attribute: %i", + curr->attr); + goto exit; + } + + if (curr->attr >= CEXPR_XTARGET) { + *use_mls = 1; + } + + if (curr->expr_type == CEXPR_ATTR) { + new_val = create_str("(%s %s %s)", 3, op, attr1, attr2); + } else { + char *names = NULL; + if (curr->attr & CEXPR_TYPE) { + struct type_set *ts = curr->type_names; + names = ebitmap_to_str(&ts->types, pdb->p_type_val_to_name, 1); + } else if (curr->attr & CEXPR_USER) { + names = ebitmap_to_str(&curr->names, pdb->p_user_val_to_name, 1); + } else if (curr->attr & CEXPR_ROLE) { + names = ebitmap_to_str(&curr->names, pdb->p_role_val_to_name, 1); + } + if (!names) { + goto exit; + } + new_val = create_str("(%s %s %s)", 3, op, attr1, names); + free(names); + } + } else { + uint32_t num_params; + char *val1 = NULL; + char *val2 = NULL; + + switch (curr->expr_type) { + case CEXPR_NOT: op = "not"; num_params = 1; break; + case CEXPR_AND: op = "and"; num_params = 2; break; + case CEXPR_OR: op = "or"; num_params = 2; break; + default: + sepol_log_err("Unknown constraint expression type: %i", + curr->expr_type); + goto exit; + } + + if (num_params == 2) { + val2 = stack_pop(stack); + if (!val2) { + sepol_log_err("Invalid constraint expression"); + goto exit; + } + } + val1 = stack_pop(stack); + if (!val1) { + sepol_log_err("Invalid constraint expression"); + goto exit; + } + + if (num_params == 2) { + new_val = create_str("(%s %s %s)", 3, op, val1, val2); + free(val2); + } else { + new_val = create_str("(%s %s)", 2, op, val1); + } + free(val1); + } + if (!new_val) { + goto exit; + } + rc = stack_push(stack, new_val); + if (rc != 0) { + sepol_log_err("Out of memory"); + goto exit; + } + } + + new_val = stack_pop(stack); + if (!new_val || !stack_empty(stack)) { + sepol_log_err("Invalid constraint expression"); + goto exit; + } + + str = new_val; + + stack_destroy(&stack); + + return str; + +exit: + while ((new_val = stack_pop(stack)) != NULL) { + free(new_val); + } + stack_destroy(&stack); + + return NULL; +} + +static int class_constraint_rules_to_strs(struct policydb *pdb, char *classkey, + class_datum_t *class, + struct constraint_node *constraint_rules, + struct strs *mls_list, + struct strs *non_mls_list) +{ + int rc = 0; + struct constraint_node *curr; + char *expr = NULL; + int is_mls; + char *perms; + char *format_str; + struct strs *strs; + + for (curr = constraint_rules; curr != NULL; curr = curr->next) { + expr = constraint_expr_to_str(pdb, curr->expr, &is_mls); + if (!expr) { + rc = -1; + goto exit; + } + + perms = sepol_av_to_string(pdb, class->s.value, curr->permissions); + + if (is_mls) { + format_str = "(mlsconstrain (%s (%s)) %s)"; + strs = mls_list; + } else { + format_str = "(constrain (%s (%s)) %s)"; + strs = non_mls_list; + } + + rc = strs_create_and_add(strs, format_str, 3, classkey, perms+1, expr); + free(expr); + if (rc != 0) { + goto exit; + } + } + + return 0; +exit: + sepol_log_err("Error gathering constraint rules\n"); + return rc; +} + +static int class_validatetrans_rules_to_strs(struct policydb *pdb, char *classkey, + struct constraint_node *validatetrans_rules, + struct strs *mls_list, + struct strs *non_mls_list) +{ + struct constraint_node *curr; + char *expr = NULL; + int is_mls; + char *format_str; + struct strs *strs; + int rc = 0; + + for (curr = validatetrans_rules; curr != NULL; curr = curr->next) { + expr = constraint_expr_to_str(pdb, curr->expr, &is_mls); + if (!expr) { + rc = -1; + goto exit; + } + + if (is_mls) { + format_str = "(mlsvalidatetrans %s %s)"; + strs = mls_list; + } else { + format_str = "(validatetrans %s %s)"; + strs = non_mls_list; + } + + rc = strs_create_and_add(strs, format_str, 2, classkey, expr); + free(expr); + if (rc != 0) { + goto exit; + } + } + +exit: + return rc; +} + +static int constraint_rules_to_strs(struct policydb *pdb, struct strs *mls_strs, struct strs *non_mls_strs) +{ + class_datum_t *class; + char *name; + unsigned i; + int rc = 0; + + for (i=0; i < pdb->p_classes.nprim; i++) { + class = pdb->class_val_to_struct[i]; + if (class->constraints) { + name = pdb->p_class_val_to_name[i]; + rc = class_constraint_rules_to_strs(pdb, name, class, class->constraints, mls_strs, non_mls_strs); + if (rc != 0) { + goto exit; + } + } + } + + for (i=0; i < pdb->p_classes.nprim; i++) { + class = pdb->class_val_to_struct[i]; + if (class->validatetrans) { + name = pdb->p_class_val_to_name[i]; + rc = class_validatetrans_rules_to_strs(pdb, name, class->constraints, mls_strs, non_mls_strs); + if (rc != 0) { + goto exit; + } + } + } + + +exit: + return rc; +} + +static int write_handle_unknown_to_cil(FILE *out, struct policydb *pdb) +{ + const char *action; + + switch (pdb->handle_unknown) { + case SEPOL_DENY_UNKNOWN: + action = "deny"; + break; + case SEPOL_REJECT_UNKNOWN: + action = "reject"; + break; + case SEPOL_ALLOW_UNKNOWN: + action = "allow"; + break; + default: + sepol_log_err("Unknown value for handle-unknown: %i", pdb->handle_unknown); + return -1; + } + + sepol_printf(out, "(handleunknown %s)\n", action); + + return 0; +} + +static char *class_or_common_perms_to_str(symtab_t *permtab) +{ + struct strs *strs; + char *perms = NULL; + int rc; + + rc = strs_init(&strs, permtab->nprim); + if (rc != 0) { + goto exit; + } + + rc = hashtab_map(permtab->table, hashtab_ordered_to_strs, strs); + if (rc != 0) { + goto exit; + } + + if (strs_num_items(strs) > 0) { + perms = strs_to_str(strs); + } + +exit: + strs_destroy(&strs); + + return perms; +} + +static int write_class_decl_rules_to_cil(FILE *out, struct policydb *pdb) +{ + class_datum_t *class; + common_datum_t *common; + int *used; + char *name, *perms; + unsigned i; + int rc = 0; + + /* class */ + for (i=0; i < pdb->p_classes.nprim; i++) { + class = pdb->class_val_to_struct[i]; + name = pdb->p_class_val_to_name[i]; + perms = class_or_common_perms_to_str(&class->permissions); + if (perms) { + sepol_printf(out, "(class %s (%s))\n", name, perms); + free(perms); + } else { + sepol_printf(out, "(class %s ())\n", name); + } + } + + /* classorder */ + sepol_printf(out, "(classorder ("); + name = NULL; + for (i=0; i < pdb->p_classes.nprim; i++) { + if (name) { + sepol_printf(out, "%s ", name); + } + name = pdb->p_class_val_to_name[i]; + } + if (name) { + sepol_printf(out, "%s", name); + } + sepol_printf(out, "))\n"); + + /* classcommon */ + for (i=0; i < pdb->p_classes.nprim; i++) { + class = pdb->class_val_to_struct[i]; + name = pdb->p_class_val_to_name[i]; + if (class->comkey != NULL) { + sepol_printf(out, "(classcommon %s %s)\n", name, class->comkey); + } + } + + /* common */ + used = calloc(pdb->p_commons.nprim, sizeof(*used)); + if (!used) { + sepol_log_err("Out of memory"); + rc = -1; + goto exit; + } + for (i=0; i < pdb->p_classes.nprim; i++) { + class = pdb->class_val_to_struct[i]; + name = class->comkey; + if (name != NULL) { + common = hashtab_search(pdb->p_commons.table, name); + if (!common) { + rc = -1; + free(used); + goto exit; + } + /* Only write common rule once */ + if (!used[common->s.value-1]) { + perms = class_or_common_perms_to_str(&common->permissions); + if (!perms) { + rc = -1; + free(perms); + free(used); + goto exit; + } + + sepol_printf(out, "(common %s (%s))\n", name, perms); + free(perms); + used[common->s.value-1] = 1; + } + } + } + free(used); + +exit: + if (rc != 0) { + sepol_log_err("Error writing class rules to CIL\n"); + } + + return rc; +} + +static int write_sids_to_cil(FILE *out, const char *const *sid_to_str, struct ocontext *isids) +{ + struct ocontext *isid; + struct strs *strs; + char *sid; + char *prev; + unsigned i; + int rc; + + rc = strs_init(&strs, SECINITSID_NUM+1); + if (rc != 0) { + goto exit; + } + + for (isid = isids; isid != NULL; isid = isid->next) { + i = isid->sid[0]; + rc = strs_add_at_index(strs, (char *)sid_to_str[i], i); + if (rc != 0) { + goto exit; + } + } + + for (i=0; itarget_platform == SEPOL_TARGET_SELINUX) { + rc = write_sids_to_cil(out, selinux_sid_to_str, pdb->ocontexts[0]); + } else if (pdb->target_platform == SEPOL_TARGET_XEN) { + rc = write_sids_to_cil(out, xen_sid_to_str, pdb->ocontexts[0]); + } else { + sepol_log_err("Unknown target platform: %i", pdb->target_platform); + rc = -1; + } + + return rc; +} + +static int write_default_user_to_cil(FILE *out, char *class_name, class_datum_t *class) +{ + const char *dft; + + switch (class->default_user) { + case DEFAULT_SOURCE: + dft = "source"; + break; + case DEFAULT_TARGET: + dft = "target"; + break; + default: + sepol_log_err("Unknown default role value: %i", class->default_user); + return -1; + } + sepol_printf(out, "(defaultuser %s %s)\n", class_name, dft); + + return 0; +} + +static int write_default_role_to_cil(FILE *out, char *class_name, class_datum_t *class) +{ + const char *dft; + + switch (class->default_role) { + case DEFAULT_SOURCE: + dft = "source"; + break; + case DEFAULT_TARGET: + dft = "target"; + break; + default: + sepol_log_err("Unknown default role value: %i", class->default_role); + return -1; + } + sepol_printf(out, "(defaultrole %s %s)\n", class_name, dft); + + return 0; +} + +static int write_default_type_to_cil(FILE *out, char *class_name, class_datum_t *class) +{ + const char *dft; + + switch (class->default_type) { + case DEFAULT_SOURCE: + dft = "source"; + break; + case DEFAULT_TARGET: + dft = "target"; + break; + default: + sepol_log_err("Unknown default type value: %i", class->default_type); + return -1; + } + sepol_printf(out, "(defaulttype %s %s)\n", class_name, dft); + + return 0; +} + +static int write_default_range_to_cil(FILE *out, char *class_name, class_datum_t *class) +{ + const char *dft; + + switch (class->default_range) { + case DEFAULT_SOURCE_LOW: + dft = "source low"; + break; + case DEFAULT_SOURCE_HIGH: + dft = "source high"; + break; + case DEFAULT_SOURCE_LOW_HIGH: + dft = "source low-high"; + break; + case DEFAULT_TARGET_LOW: + dft = "target low"; + break; + case DEFAULT_TARGET_HIGH: + dft = "target high"; + break; + case DEFAULT_TARGET_LOW_HIGH: + dft = "target low-high"; + break; + default: + sepol_log_err("Unknown default type value: %i", class->default_range); + return -1; + } + sepol_printf(out, "(defaultrange %s %s)\n", class_name, dft); + + return 0; +} + +static int write_default_rules_to_cil(FILE *out, struct policydb *pdb) +{ + class_datum_t *class; + unsigned i; + int rc = 0; + + /* default_user */ + for (i=0; i < pdb->p_classes.nprim; i++) { + class = pdb->class_val_to_struct[i]; + if (class->default_user != 0) { + rc = write_default_user_to_cil(out, pdb->p_class_val_to_name[i], class); + if (rc != 0) { + goto exit; + } + } + } + + /* default_role */ + for (i=0; i < pdb->p_classes.nprim; i++) { + class = pdb->class_val_to_struct[i]; + if (class->default_role != 0) { + rc = write_default_role_to_cil(out, pdb->p_class_val_to_name[i], class); + if (rc != 0) { + goto exit; + } + } + } + + /* default_type */ + for (i=0; i < pdb->p_classes.nprim; i++) { + class = pdb->class_val_to_struct[i]; + if (class->default_type != 0) { + rc = write_default_type_to_cil(out, pdb->p_class_val_to_name[i], class); + if (rc != 0) { + goto exit; + } + } + } + + if (!pdb->mls) { + return 0; + } + + /* default_range */ + for (i=0; i < pdb->p_classes.nprim; i++) { + class = pdb->class_val_to_struct[i]; + if (class->default_range) { + rc = write_default_range_to_cil(out, pdb->p_class_val_to_name[i], class); + if (rc != 0) { + goto exit; + } + } + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing default rules to CIL\n"); + } + + return rc; +} + +static void write_default_mls_level(FILE *out) +{ + sepol_printf(out, "(sensitivity s0)"); + sepol_printf(out, "(sensitivityorder (s0))"); + sepol_printf(out, "(level %s (s0))", DEFAULT_LEVEL); +} + +static int map_sensitivity_aliases_to_strs(char *key, void *data, void *args) +{ + level_datum_t *sens = data; + struct strs *strs = args; + int rc = 0; + + if (sens->isalias) { + rc = strs_add(strs, key); + } + + return rc; +} + +static int write_sensitivity_rules_to_cil(FILE *out, struct policydb *pdb) +{ + level_datum_t *level; + char *prev, *name, *actual; + struct strs *strs; + unsigned i, num; + int rc = 0; + + rc = strs_init(&strs, pdb->p_levels.nprim); + if (rc != 0) { + goto exit; + } + + /* sensitivities */ + for (i=0; i < pdb->p_levels.nprim; i++) { + name = pdb->p_sens_val_to_name[i]; + if (!name) continue; + level = hashtab_search(pdb->p_levels.table, name); + if (!level) { + rc = -1; + goto exit; + } + if (level->isalias) continue; + + sepol_printf(out, "(sensitivity %s)\n", name); + } + + /* sensitivityorder */ + sepol_printf(out, "(sensitivityorder ("); + prev = NULL; + for (i=0; i < pdb->p_levels.nprim; i++) { + name = pdb->p_sens_val_to_name[i]; + if (!name) continue; + level = hashtab_search(pdb->p_levels.table, name); + if (!level) { + rc = -1; + goto exit; + } + if (level->isalias) continue; + + if (prev) { + sepol_printf(out, "%s ", prev); + } + prev = name; + } + if (prev) { + sepol_printf(out, "%s", prev); + } + sepol_printf(out, "))\n"); + + rc = hashtab_map(pdb->p_levels.table, map_sensitivity_aliases_to_strs, strs); + if (rc != 0) { + goto exit; + } + + strs_sort(strs); + + num = strs_num_items(strs); + + /* sensitivity aliases */ + for (i=0; i < num; i++) { + name = strs_read_at_index(strs, i); + level = hashtab_search(pdb->p_levels.table, name); + if (!level) { + rc = -1; + goto exit; + } + sepol_printf(out, "(sensitivityalias %s)\n", name); + } + + /* sensitivity aliases to actual */ + for (i=0; i < num; i++) { + name = strs_read_at_index(strs, i); + level = hashtab_search(pdb->p_levels.table, name); + if (!level) { + rc = -1; + goto exit; + } + actual = pdb->p_sens_val_to_name[level->level->sens - 1]; + sepol_printf(out, "(sensitivityaliasactual %s %s)\n", name, actual); + } + +exit: + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing sensitivity rules to CIL\n"); + } + + return rc; +} + +static int map_category_aliases_to_strs(char *key, void *data, void *args) +{ + cat_datum_t *cat = data; + struct strs *strs = args; + int rc = 0; + + if (cat->isalias) { + rc = strs_add(strs, key); + } + + return rc; +} + +static int write_category_rules_to_cil(FILE *out, struct policydb *pdb) +{ + cat_datum_t *cat; + char *prev, *name, *actual; + struct strs *strs; + unsigned i, num; + int rc = 0; + + rc = strs_init(&strs, pdb->p_levels.nprim); + if (rc != 0) { + goto exit; + } + + /* categories */ + for (i=0; i < pdb->p_cats.nprim; i++) { + name = pdb->p_cat_val_to_name[i]; + if (!name) continue; + cat = hashtab_search(pdb->p_cats.table, name); + if (!cat) { + rc = -1; + goto exit; + } + if (cat->isalias) continue; + + sepol_printf(out, "(category %s)\n", name); + } + + /* categoryorder */ + sepol_printf(out, "(categoryorder ("); + prev = NULL; + for (i=0; i < pdb->p_cats.nprim; i++) { + name = pdb->p_cat_val_to_name[i]; + if (!name) continue; + cat = hashtab_search(pdb->p_cats.table, name); + if (!cat) { + rc = -1; + goto exit; + } + if (cat->isalias) continue; + + if (prev) { + sepol_printf(out, "%s ", prev); + } + prev = name; + } + if (prev) { + sepol_printf(out, "%s", prev); + } + sepol_printf(out, "))\n"); + + rc = hashtab_map(pdb->p_cats.table, map_category_aliases_to_strs, strs); + if (rc != 0) { + goto exit; + } + + strs_sort(strs); + + num = strs_num_items(strs); + + /* category aliases */ + for (i=0; i < num; i++) { + name = strs_read_at_index(strs, i); + cat = hashtab_search(pdb->p_cats.table, name); + if (!cat) { + rc = -1; + goto exit; + } + sepol_printf(out, "(categoryalias %s)\n", name); + } + + /* category aliases to actual */ + for (i=0; i < num; i++) { + name = strs_read_at_index(strs, i); + cat = hashtab_search(pdb->p_cats.table, name); + if (!cat) { + rc = -1; + goto exit; + } + actual = pdb->p_cat_val_to_name[cat->s.value - 1]; + sepol_printf(out, "(categoryaliasactual %s %s)\n", name, actual); + } + +exit: + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing category rules to CIL\n"); + } + + return rc; +} + +static size_t cats_ebitmap_len(struct ebitmap *cats, char **val_to_name) +{ + struct ebitmap_node *node; + uint32_t i, start, range; + size_t len = 0; + + range = 0; + ebitmap_for_each_bit(cats, node, i) { + if (!ebitmap_get_bit(cats, i)) + continue; + + if (range == 0) + start = i; + + range++; + + if (ebitmap_get_bit(cats, i+1)) + continue; + + len += strlen(val_to_name[start]); + if (range > 2) { + len += strlen(val_to_name[i-1]) + strlen("(range ) "); + } else if (range == 2) { + len += strlen(val_to_name[i-1]) + 2; + } else if (range == 1) { + len += 1; + } + + range = 0; + } + + if (len > 0) { + len += 2; /* For '(' and ')'. '\0' overwrites last ' ' */ + } + + return len; +} + +static char *cats_ebitmap_to_str(struct ebitmap *cats, char **val_to_name) +{ + struct ebitmap_node *node; + uint32_t i, start, range; + char *catsbuf, *p, *fmt; + int len, remaining; + + remaining = (int)cats_ebitmap_len(cats, val_to_name); + catsbuf = malloc(remaining); + if (!catsbuf) { + goto exit; + } + + p = catsbuf; + + *p++ = '('; + remaining--;; + + range = 0; + ebitmap_for_each_bit(cats, node, i) { + if (!ebitmap_get_bit(cats, i)) + continue; + + if (range == 0) + start = i; + + range++; + + if (ebitmap_get_bit(cats, i+1)) + continue; + + if (range > 1) { + fmt = (range == 2) ? "%s %s " : "(range %s %s) "; + len = snprintf(p, remaining, fmt, + val_to_name[start], val_to_name[i]); + } else { + len = snprintf(p, remaining, "%s ", val_to_name[start]); + } + if (len < 0 || len >= remaining) { + goto exit; + } + p += len; + remaining -= len; + + range = 0; + } + + *(p-1) = ')'; /* Remove trailing ' ' */ + *p = '\0'; + + return catsbuf; + +exit: + free(catsbuf); + return NULL; +} + +static int write_sensitivitycategory_rules_to_cil(FILE *out, struct policydb *pdb) +{ + level_datum_t *level; + char *name, *cats; + unsigned i; + int rc = 0; + + /* sensitivities */ + for (i=0; i < pdb->p_levels.nprim; i++) { + name = pdb->p_sens_val_to_name[i]; + if (!name) continue; + level = hashtab_search(pdb->p_levels.table, name); + if (!level) { + rc = -1; + goto exit; + } + if (level->isalias) continue; + + if (ebitmap_cardinality(&level->level->cat) > 0) { + cats = cats_ebitmap_to_str(&level->level->cat, pdb->p_cat_val_to_name); + sepol_printf(out, "(sensitivitycategory %s %s)\n", name, cats); + free(cats); + } + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing sensitivitycategory rules to CIL\n"); + } + + return rc; +} + +static int write_mls_rules_to_cil(FILE *out, struct policydb *pdb) +{ + int rc = 0; + + if (!pdb->mls) { + sepol_printf(out, "(mls false)\n"); + /* CIL requires MLS, even if the kernel binary won't have it */ + write_default_mls_level(out); + return 0; + } + + sepol_printf(out, "(mls true)\n"); + + rc = write_sensitivity_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_category_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_sensitivitycategory_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing mls rules to CIL\n"); + } + + return rc; +} + +static int write_polcap_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ebitmap_node *node; + const char *name; + uint32_t i; + int rc = 0; + + ebitmap_for_each_bit(&pdb->policycaps, node, i) { + if (!ebitmap_get_bit(&pdb->policycaps, i)) { + continue; + } + name = sepol_polcap_getname(i); + if (name == NULL) { + sepol_log_err("Unknown policy capability id: %i", i); + rc = -1; + goto exit; + } + + sepol_printf(out, "(policycap %s)\n", name); + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing polcap rules to CIL\n"); + } + + return rc; +} + +static int write_type_attributes_to_cil(FILE *out, struct policydb *pdb) +{ + type_datum_t *type; + char *name; + struct strs *strs; + unsigned i, num; + int rc = 0; + + rc = strs_init(&strs, pdb->p_types.nprim); + if (rc != 0) { + goto exit; + } + + for (i=0; i < pdb->p_types.nprim; i++) { + type = pdb->type_val_to_struct[i]; + if (type->flavor == TYPE_ATTRIB) { + rc = strs_add(strs, pdb->p_type_val_to_name[i]); + if (rc != 0) { + goto exit; + } + } + } + + strs_sort(strs); + + num = strs_num_items(strs); + for (i = 0; i < num; i++) { + name = strs_read_at_index(strs, i); + if (!name) { + rc = -1; + goto exit; + } + sepol_printf(out, "(typeattribute %s)\n", name); + } + +exit: + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing typeattribute rules to CIL\n"); + } + + return rc; +} + +static int write_role_attributes_to_cil(FILE *out, struct policydb *pdb) +{ + role_datum_t *role; + char *name; + struct strs *strs; + unsigned i, num; + int rc = 0; + + rc = strs_init(&strs, pdb->p_roles.nprim); + if (rc != 0) { + goto exit; + } + + for (i=0; i < pdb->p_roles.nprim; i++) { + role = pdb->role_val_to_struct[i]; + if (role && role->flavor == ROLE_ATTRIB) { + rc = strs_add(strs, pdb->p_role_val_to_name[i]); + if (rc != 0) { + goto exit; + } + } + } + + strs_sort(strs); + + num = strs_num_items(strs); + for (i=0; istate ? "true" : "false"; + + return strs_create_and_add(strs, "(boolean %s %s)", 2, key, value); +} + +static int write_boolean_decl_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct strs *strs; + int rc = 0; + + rc = strs_init(&strs, 32); + if (rc != 0) { + goto exit; + } + + rc = hashtab_map(pdb->p_bools.table, map_boolean_to_strs, strs); + if (rc != 0) { + goto exit; + } + + strs_sort(strs); + strs_write_each(strs, out); + +exit: + strs_free_all(strs); + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing boolean declarations to CIL\n"); + } + + return rc; +} + +static int write_type_decl_rules_to_cil(FILE *out, struct policydb *pdb) +{ + type_datum_t *type; + struct strs *strs; + char *name; + unsigned i, num; + int rc = 0; + + rc = strs_init(&strs, pdb->p_types.nprim); + if (rc != 0) { + goto exit; + } + + for (i=0; i < pdb->p_types.nprim; i++) { + type = pdb->type_val_to_struct[i]; + if (type->flavor == TYPE_TYPE && type->primary) { + rc = strs_add(strs, pdb->p_type_val_to_name[i]); + if (rc != 0) { + goto exit; + } + } + } + + strs_sort(strs); + + num = strs_num_items(strs); + for (i=0; ip_types.nprim); + if (rc != 0) { + goto exit; + } + + for (i=0; i < pdb->p_types.nprim; i++) { + alias = pdb->type_val_to_struct[i]; + if (!alias->primary) { + rc = strs_add(strs, pdb->p_type_val_to_name[i]); + if (rc != 0) { + goto exit; + } + } + } + + strs_sort(strs); + + num = strs_num_items(strs); + for (i=0; ip_types.table, name); + if (!alias) { + rc = -1; + goto exit; + } + type = pdb->p_type_val_to_name[alias->s.value - 1]; + sepol_printf(out, "(typealiasactual %s %s)\n", name, type); + } + +exit: + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing type alias rules to CIL\n"); + } + + return rc; +} + +static int write_type_bounds_rules_to_cil(FILE *out, struct policydb *pdb) +{ + type_datum_t *type; + struct strs *strs; + char *parent; + char *child; + unsigned i, num; + int rc = 0; + + rc = strs_init(&strs, pdb->p_types.nprim); + if (rc != 0) { + goto exit; + } + + for (i=0; i < pdb->p_types.nprim; i++) { + type = pdb->type_val_to_struct[i]; + if (type->flavor == TYPE_TYPE) { + if (type->bounds > 0) { + rc = strs_add(strs, pdb->p_type_val_to_name[i]); + if (rc != 0) { + goto exit; + } + } + } + } + + strs_sort(strs); + + num = strs_num_items(strs); + for (i=0; ip_types.table, child); + if (!type) { + rc = -1; + goto exit; + } + parent = pdb->p_type_val_to_name[type->bounds - 1]; + sepol_printf(out, "(typebounds %s %s)\n", parent, child); + } + +exit: + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing type bounds rules to CIL\n"); + } + + return rc; +} + +static int write_type_attribute_sets_to_cil(FILE *out, struct policydb *pdb) +{ + type_datum_t *attr; + struct strs *strs; + ebitmap_t *typemap; + char *name, *types; + unsigned i; + int rc; + + rc = strs_init(&strs, pdb->p_types.nprim); + if (rc != 0) { + goto exit; + } + + for (i=0; i < pdb->p_types.nprim; i++) { + attr = pdb->type_val_to_struct[i]; + if (attr->flavor != TYPE_ATTRIB) continue; + name = pdb->p_type_val_to_name[i]; + typemap = &pdb->attr_type_map[i]; + if (ebitmap_cardinality(typemap) == 0) continue; + types = ebitmap_to_str(typemap, pdb->p_type_val_to_name, 1); + if (!types) { + rc = -1; + goto exit; + } + + rc = strs_create_and_add(strs, "(typeattributeset %s (%s))", + 2, name, types); + free(types); + if (rc != 0) { + goto exit; + } + } + + strs_sort(strs); + strs_write_each(strs, out); + +exit: + strs_free_all(strs); + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing typeattributeset rules to CIL\n"); + } + + return rc; +} + +static int write_type_permissive_rules_to_cil(FILE *out, struct policydb *pdb) +{ + type_datum_t *type; + struct strs *strs; + char *name; + unsigned i, num; + int rc = 0; + + rc = strs_init(&strs, pdb->p_types.nprim); + if (rc != 0) { + goto exit; + } + + for (i=0; i < pdb->p_types.nprim; i++) { + type = pdb->type_val_to_struct[i]; + if (type->flavor == TYPE_TYPE && (type->flags & TYPE_FLAGS_PERMISSIVE)) { + rc = strs_add(strs, pdb->p_type_val_to_name[i]); + if (rc != 0) { + goto exit; + } + } + } + + strs_sort(strs); + + num = strs_num_items(strs); + for (i=0; ispecified != AVTAB_XPERMS_IOCTLFUNCTION) + && (xperms->specified != AVTAB_XPERMS_IOCTLDRIVER)) { + return NULL; + } + + for (bit = 0; bit < sizeof(xperms->perms)*8; bit++) { + len = 0; + + if (!xperm_test(bit, xperms->perms)) + continue; + + if (in_range && next_bit_in_range(bit, xperms->perms)) { + /* continue until high value found */ + continue; + } else if (next_bit_in_range(bit, xperms->perms)) { + /* low value */ + low_bit = bit; + in_range = 1; + continue; + } + + if (xperms->specified & AVTAB_XPERMS_IOCTLFUNCTION) { + value = xperms->driver<<8 | bit; + low_value = xperms->driver<<8 | low_bit; + if (in_range) { + len = snprintf(p, remaining, " (range 0x%hx 0x%hx)", low_value, value); + in_range = 0; + } else { + len = snprintf(p, remaining, " 0x%hx", value); + } + } else if (xperms->specified & AVTAB_XPERMS_IOCTLDRIVER) { + value = bit << 8; + low_value = low_bit << 8; + if (in_range) { + len = snprintf(p, remaining, " (range 0x%hx 0x%hx)", low_value, (uint16_t) (value|0xff)); + in_range = 0; + } else { + len = snprintf(p, remaining, " (range 0x%hx 0x%hx)", value, (uint16_t) (value|0xff)); + } + + } + if (len < 0 || len >= remaining) { + return NULL; + } + p += len; + remaining -= len; + } + + if (remaining < 2) { + return NULL; + } + + xpermsbuf[0] = '('; + *p++ = ')'; + *p = '\0'; + + return xpermsbuf; +} + +static char *avtab_node_to_str(struct policydb *pdb, avtab_key_t *key, avtab_datum_t *datum) +{ + const char *flavor; + uint32_t data = datum->data; + type_datum_t *type; + char *src, *tgt, *class, *perms, *new; + char *rule = NULL; + + switch (0xFFF & key->specified) { + case AVTAB_ALLOWED: + flavor = "allow"; + break; + case AVTAB_AUDITALLOW: + flavor = "auditallow"; + break; + case AVTAB_AUDITDENY: + flavor = "dontaudit"; + data = ~data; + break; + case AVTAB_XPERMS_ALLOWED: + flavor = "allowx"; + break; + case AVTAB_XPERMS_AUDITALLOW: + flavor = "auditallowx"; + break; + case AVTAB_XPERMS_DONTAUDIT: + flavor = "dontauditx"; + break; + case AVTAB_TRANSITION: + flavor = "typetransition"; + break; + case AVTAB_MEMBER: + flavor = "typemember"; + break; + case AVTAB_CHANGE: + flavor = "typechange"; + break; + default: + sepol_log_err("Unknown avtab type: %i", key->specified); + goto exit; + } + + src = pdb->p_type_val_to_name[key->source_type - 1]; + tgt = pdb->p_type_val_to_name[key->target_type - 1]; + if (key->source_type == key->target_type && !(key->specified & AVTAB_TYPE)) { + type = pdb->type_val_to_struct[key->source_type - 1]; + if (type->flavor != TYPE_ATTRIB) { + tgt = "self"; + } + } + class = pdb->p_class_val_to_name[key->target_class - 1]; + + if (key->specified & AVTAB_AV) { + perms = sepol_av_to_string(pdb, key->target_class, data); + if (perms == NULL) { + sepol_log_err("Failed to generate permission string"); + goto exit; + } + rule = create_str("(%s %s %s (%s (%s)))", 5, + flavor, src, tgt, class, perms+1); + } else if (key->specified & AVTAB_XPERMS) { + perms = xperms_to_str(datum->xperms); + if (perms == NULL) { + sepol_log_err("Failed to generate extended permission string"); + goto exit; + } + + rule = create_str("(%s %s %s (%s %s (%s)))", 6, + flavor, src, tgt, "ioctl", class, perms); + } else { + new = pdb->p_type_val_to_name[data - 1]; + + rule = create_str("(%s %s %s %s %s)", 5, flavor, src, tgt, class, new); + } + + if (!rule) { + goto exit; + } + + return rule; + +exit: + return NULL; +} + +struct map_avtab_args { + struct policydb *pdb; + uint32_t flavor; + struct strs *strs; +}; + +static int map_avtab_write_helper(avtab_key_t *key, avtab_datum_t *datum, void *args) +{ + struct map_avtab_args *map_args = args; + uint32_t flavor = map_args->flavor; + struct policydb *pdb = map_args->pdb; + struct strs *strs = map_args->strs; + char *rule; + int rc = 0; + + if (key->specified & flavor) { + rule = avtab_node_to_str(pdb, key, datum); + if (!rule) { + rc = -1; + goto exit; + } + rc = strs_add(strs, rule); + if (rc != 0) { + free(rule); + goto exit; + } + } + +exit: + return rc; +} + +static int write_avtab_flavor_to_cil(FILE *out, struct policydb *pdb, uint32_t flavor, int indent) +{ + struct map_avtab_args args; + struct strs *strs; + int rc = 0; + + rc = strs_init(&strs, 1000); + if (rc != 0) { + goto exit; + } + + args.pdb = pdb; + args.flavor = flavor; + args.strs = strs; + + rc = avtab_map(&pdb->te_avtab, map_avtab_write_helper, &args); + if (rc != 0) { + goto exit; + } + + strs_sort(strs); + strs_write_each_indented(strs, out, indent); + +exit: + strs_free_all(strs); + strs_destroy(&strs); + + return rc; +} + +static int write_avtab_to_cil(FILE *out, struct policydb *pdb, int indent) +{ + unsigned i; + int rc = 0; + + for (i = 0; i < AVTAB_FLAVORS_SZ; i++) { + rc = write_avtab_flavor_to_cil(out, pdb, avtab_flavors[i], indent); + if (rc != 0) { + goto exit; + } + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing avtab rules to CIL\n"); + } + + return rc; +} + +struct map_filename_trans_args { + struct policydb *pdb; + struct strs *strs; +}; + +static int map_filename_trans_to_str(hashtab_key_t key, void *data, void *arg) +{ + filename_trans_t *ft = (filename_trans_t *)key; + filename_trans_datum_t *datum = data; + struct map_filename_trans_args *map_args = arg; + struct policydb *pdb = map_args->pdb; + struct strs *strs = map_args->strs; + char *src, *tgt, *class, *filename, *new; + + src = pdb->p_type_val_to_name[ft->stype - 1]; + tgt = pdb->p_type_val_to_name[ft->ttype - 1]; + class = pdb->p_class_val_to_name[ft->tclass - 1]; + filename = ft->name; + new = pdb->p_type_val_to_name[datum->otype - 1]; + + return strs_create_and_add(strs, "(typetransition %s %s %s %s %s)", 5, + src, tgt, class, filename, new); +} + +static int write_filename_trans_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct map_filename_trans_args args; + struct strs *strs; + int rc = 0; + + rc = strs_init(&strs, 100); + if (rc != 0) { + goto exit; + } + + args.pdb = pdb; + args.strs = strs; + + rc = hashtab_map(pdb->filename_trans, map_filename_trans_to_str, &args); + if (rc != 0) { + goto exit; + } + + strs_sort(strs); + strs_write_each(strs, out); + +exit: + strs_free_all(strs); + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing filename typetransition rules to CIL\n"); + } + + return rc; +} + +static char *level_to_str(struct policydb *pdb, struct mls_level *level) +{ + ebitmap_t *cats = &level->cat; + char *level_str = NULL; + char *sens_str = pdb->p_sens_val_to_name[level->sens - 1]; + char *cats_str; + + if (ebitmap_cardinality(cats) > 0) { + cats_str = cats_ebitmap_to_str(cats, pdb->p_cat_val_to_name); + level_str = create_str("(%s %s)", 2, sens_str, cats_str); + free(cats_str); + } else { + level_str = create_str("(%s)", 1, sens_str); + } + + return level_str; +} + +static char *range_to_str(struct policydb *pdb, mls_range_t *range) +{ + char *low = NULL; + char *high = NULL; + char *range_str = NULL; + + low = level_to_str(pdb, &range->level[0]); + if (!low) { + goto exit; + } + + high = level_to_str(pdb, &range->level[1]); + if (!high) { + goto exit; + } + + range_str = create_str("(%s %s)", 2, low, high); + +exit: + free(low); + free(high); + + return range_str; +} + +struct map_range_trans_args { + struct policydb *pdb; + struct strs *strs; +}; + +static int map_range_trans_to_str(hashtab_key_t key, void *data, void *arg) +{ + range_trans_t *rt = (range_trans_t *)key; + mls_range_t *mls_range = data; + struct map_range_trans_args *map_args = arg; + struct policydb *pdb = map_args->pdb; + struct strs *strs = map_args->strs; + char *src, *tgt, *class, *range; + int rc; + + src = pdb->p_type_val_to_name[rt->source_type - 1]; + tgt = pdb->p_type_val_to_name[rt->target_type - 1]; + class = pdb->p_class_val_to_name[rt->target_class - 1]; + range = range_to_str(pdb, mls_range); + if (!range) { + rc = -1; + goto exit; + } + + rc = strs_create_and_add(strs, "(rangetransition %s %s %s %s)", 4, + src, tgt, class, range); + free(range); + if (rc != 0) { + goto exit; + } + +exit: + return rc; +} + +static int write_range_trans_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct map_range_trans_args args; + struct strs *strs; + int rc = 0; + + rc = strs_init(&strs, 100); + if (rc != 0) { + goto exit; + } + + args.pdb = pdb; + args.strs = strs; + + rc = hashtab_map(pdb->range_tr, map_range_trans_to_str, &args); + if (rc != 0) { + goto exit; + } + + strs_sort(strs); + strs_write_each(strs, out); + +exit: + strs_free_all(strs); + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing range transition rules to CIL\n"); + } + + return rc; +} + +static int write_cond_av_list_to_cil(FILE *out, struct policydb *pdb, cond_av_list_t *cond_list, int indent) +{ + cond_av_list_t *cond_av; + avtab_ptr_t node; + uint32_t flavor; + avtab_key_t *key; + avtab_datum_t *datum; + struct strs *strs; + char *rule; + unsigned i; + int rc; + + for (i = 0; i < AVTAB_FLAVORS_SZ; i++) { + flavor = avtab_flavors[i]; + rc = strs_init(&strs, 64); + if (rc != 0) { + goto exit; + } + + for (cond_av = cond_list; cond_av != NULL; cond_av = cond_av->next) { + node = cond_av->node; + key = &node->key; + datum = &node->datum; + if (key->specified & flavor) { + rule = avtab_node_to_str(pdb, key, datum); + if (!rule) { + rc = -1; + goto exit; + } + rc = strs_add(strs, rule); + if (rc != 0) { + free(rule); + goto exit; + } + } + } + + strs_sort(strs); + strs_write_each_indented(strs, out, indent); + strs_free_all(strs); + strs_destroy(&strs); + } + + return 0; + +exit: + return rc; +} + +struct cond_data { + char *expr; + struct cond_node *cond; +}; + +static int cond_node_cmp(const void *a, const void *b) +{ + const struct cond_data *aa = a; + const struct cond_data *bb = b; + return strcmp(aa->expr, bb->expr); +} + +static int write_cond_nodes_to_cil(FILE *out, struct policydb *pdb) +{ + struct cond_data *cond_data; + char *expr; + struct cond_node *cond; + unsigned i, num = 0; + int rc = 0; + + for (cond = pdb->cond_list; cond != NULL; cond = cond->next) { + num++; + } + + cond_data = calloc(sizeof(struct cond_data), num); + if (!cond_data) { + rc = -1; + goto exit; + } + + i = 0; + for (cond = pdb->cond_list; cond != NULL; cond = cond->next) { + cond_data[i].cond = cond; + expr = cond_expr_to_str(pdb, cond->expr); + if (!expr) { + num = i; + goto exit; + } + cond_data[i].expr = expr; + i++; + } + + qsort(cond_data, num, sizeof(*cond_data), cond_node_cmp); + + for (i=0; itrue_list != NULL) { + sepol_indent(out, 1); + sepol_printf(out, "(true\n"); + rc = write_cond_av_list_to_cil(out, pdb, cond->true_list, 2); + if (rc != 0) { + goto exit; + } + sepol_indent(out, 1); + sepol_printf(out, ")\n"); + } + + if (cond->false_list != NULL) { + sepol_indent(out, 1); + sepol_printf(out, "(false"); + rc = write_cond_av_list_to_cil(out, pdb, cond->false_list, 2); + if (rc != 0) { + goto exit; + } + sepol_indent(out, 1); + sepol_printf(out, ")\n"); + } + sepol_printf(out, ")\n"); + } + +exit: + if (cond_data) { + for (i=0; ip_roles.nprim); + if (rc != 0) { + goto exit; + } + + for (i=0; i < pdb->p_roles.nprim; i++) { + role = pdb->role_val_to_struct[i]; + if (role && role->flavor == ROLE_ROLE) { + rc = strs_add(strs, pdb->p_role_val_to_name[i]); + if (rc != 0) { + goto exit; + } + } + } + + strs_sort(strs); + + num = strs_num_items(strs); + + for (i=0; ip_roles.table, child); + if (!role) { + rc = -1; + goto exit; + } + + if (role->bounds > 0) { + parent = pdb->p_role_val_to_name[role->bounds - 1]; + sepol_printf(out, "(rolebounds %s %s)\n", parent, child); + } + } + + for (i=0; ip_roles.table, name); + if (!role) { + rc = -1; + goto exit; + } + types = &role->types.types; + if (types && (ebitmap_cardinality(types) > 0)) { + ebitmap_for_each_bit(types, node, j) { + if (!ebitmap_get_bit(types, j)) { + continue; + } + type = pdb->p_type_val_to_name[j]; + sepol_printf(out, "(roletype %s %s)\n", name, type); + } + } + } + + strs_destroy(&strs); + + rc = strs_init(&strs, pdb->p_types.nprim); + if (rc != 0) { + goto exit; + } + + for (i=0; i < pdb->p_types.nprim; i++) { + type_datum = pdb->type_val_to_struct[i]; + if (type_datum->flavor == TYPE_TYPE && type_datum->primary) { + rc = strs_add(strs, pdb->p_type_val_to_name[i]); + if (rc != 0) { + goto exit; + } + } + } + + strs_sort(strs); + + num = strs_num_items(strs); + + for (i=0; irole_tr; + struct strs *strs; + char *role, *type, *class, *new; + int rc = 0; + + rc = strs_init(&strs, 32); + if (rc != 0) { + goto exit; + } + + while (curr) { + role = pdb->p_role_val_to_name[curr->role - 1]; + type = pdb->p_type_val_to_name[curr->type - 1]; + class = pdb->p_class_val_to_name[curr->tclass - 1]; + new = pdb->p_role_val_to_name[curr->new_role - 1]; + + rc = strs_create_and_add(strs, "(roletransition %s %s %s %s)", 4, + role, type, class, new); + if (rc != 0) { + goto exit; + } + + curr = curr->next; + } + + strs_sort(strs); + strs_write_each(strs, out); + +exit: + strs_free_all(strs); + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing role transition rules to CIL\n"); + } + + return rc; +} + +static int write_role_allow_rules_to_cil(FILE *out, struct policydb *pdb) +{ + role_allow_t *curr = pdb->role_allow; + struct strs *strs; + char *role, *new; + int rc = 0; + + rc = strs_init(&strs, 32); + if (rc != 0) { + goto exit; + } + + while (curr) { + role = pdb->p_role_val_to_name[curr->role - 1]; + new = pdb->p_role_val_to_name[curr->new_role - 1]; + + rc = strs_create_and_add(strs, "(roleallow %s %s)", 2, role, new); + if (rc != 0) { + goto exit; + } + + curr = curr->next; + } + + strs_sort(strs); + strs_write_each(strs, out); + +exit: + strs_free_all(strs); + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing role allow rules to CIL\n"); + } + + return rc; +} + +static int write_user_decl_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct user_datum *user; + struct strs *strs; + char *name, *role, *level, *range; + struct ebitmap *roles; + struct ebitmap_node *node; + unsigned i, num; + uint32_t j; + int rc = 0; + + rc = strs_init(&strs, pdb->p_users.nprim); + if (rc != 0) { + goto exit; + } + + for (i=0; i < pdb->p_users.nprim; i++) { + rc = strs_add(strs, pdb->p_user_val_to_name[i]); + if (rc != 0) { + goto exit; + } + } + + strs_sort(strs); + + num = strs_num_items(strs); + + for (i=0; ip_users.table, name); + if (!user) { + rc = -1; + goto exit; + } + roles = &user->roles.roles; + if (roles && (ebitmap_cardinality(roles) > 0)) { + ebitmap_for_each_bit(roles, node, j) { + if (!ebitmap_get_bit(roles, j)) { + continue; + } + role = pdb->p_role_val_to_name[j]; + sepol_printf(out, "(userrole %s %s)\n", name, role); + } + } + } + + for (i=0; ip_users.table, name); + if (!user) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(userlevel %s ", name); + + if (pdb->mls) { + level = level_to_str(pdb, &user->exp_dfltlevel); + if (!level) { + rc = -1; + goto exit; + } + sepol_printf(out, "%s", level); + free(level); + } else { + sepol_printf(out, DEFAULT_LEVEL); + } + sepol_printf(out, ")\n"); + } + + for (i=0; ip_users.table, name); + if (!user) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(userrange %s ", name); + if (pdb->mls) { + range = range_to_str(pdb, &user->exp_range); + if (!range) { + rc = -1; + goto exit; + } + sepol_printf(out, "%s", range); + free(range); + } else { + sepol_printf(out, DEFAULT_LEVEL " " DEFAULT_LEVEL); + } + sepol_printf(out, ")\n"); + } + + strs_destroy(&strs); + +exit: + if (rc != 0) { + sepol_log_err("Error writing user declarations to CIL\n"); + } + + return rc; +} + +static char *context_to_str(struct policydb *pdb, struct context_struct *con) +{ + char *user, *role, *type, *range; + char *ctx = NULL; + + user = pdb->p_user_val_to_name[con->user - 1]; + role = pdb->p_role_val_to_name[con->role - 1]; + type = pdb->p_type_val_to_name[con->type - 1]; + + if (pdb->mls) { + range = range_to_str(pdb, &con->range); + } else { + range = create_str("(%s %s)", 2, DEFAULT_LEVEL, DEFAULT_LEVEL); + } + if (!range) { + goto exit; + } + + ctx = create_str("(%s %s %s %s)", 4, user, role, type, range); + free(range); + +exit: + return ctx; +} + +static int write_sid_context_rules_to_cil(FILE *out, struct policydb *pdb, const char *const *sid_to_str) +{ + struct ocontext *isid; + struct strs *strs; + const char *sid; + char *ctx, *rule; + unsigned i; + int rc = -1; + + rc = strs_init(&strs, 32); + if (rc != 0) { + goto exit; + } + + for (isid = pdb->ocontexts[0]; isid != NULL; isid = isid->next) { + i = isid->sid[0]; + sid = sid_to_str[i]; + ctx = context_to_str(pdb, &isid->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + rule = create_str("(sidcontext %s %s)", 2, sid, ctx); + free(ctx); + if (!rule) { + rc = -1; + goto exit; + } + + rc = strs_add_at_index(strs, rule, i); + if (rc != 0) { + free(rule); + goto exit; + } + } + + strs_write_each(strs, out); + +exit: + strs_free_all(strs); + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing sidcontext rules to CIL\n"); + } + + return rc; +} + +static int write_selinux_isid_rules_to_cil(FILE *out, struct policydb *pdb) +{ + return write_sid_context_rules_to_cil(out, pdb, selinux_sid_to_str); +} + +static int write_selinux_fsuse_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ocontext *fsuse; + const char *behavior; + char *name, *ctx; + int rc = 0; + + for (fsuse = pdb->ocontexts[5]; fsuse != NULL; fsuse = fsuse->next) { + switch (fsuse->v.behavior) { + case SECURITY_FS_USE_XATTR: behavior = "xattr"; break; + case SECURITY_FS_USE_TRANS: behavior = "trans"; break; + case SECURITY_FS_USE_TASK: behavior = "task"; break; + default: + sepol_log_err("Unknown fsuse behavior: %i", fsuse->v.behavior); + rc = -1; + goto exit; + } + + name = fsuse->u.name; + ctx = context_to_str(pdb, &fsuse->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(fsuse %s %s %s)\n", behavior, name, ctx); + + free(ctx); + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing fsuse rules to CIL\n"); + } + + return rc; +} + +static int write_genfscon_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct genfs *genfs; + struct ocontext *ocon; + struct strs *strs; + char *fstype, *name, *ctx; + int rc; + + rc = strs_init(&strs, 32); + if (rc != 0) { + goto exit; + } + + for (genfs = pdb->genfs; genfs != NULL; genfs = genfs->next) { + for (ocon = genfs->head; ocon != NULL; ocon = ocon->next) { + fstype = genfs->fstype; + name = ocon->u.name; + + ctx = context_to_str(pdb, &ocon->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + rc = strs_create_and_add(strs, "(genfscon %s %s %s)", 3, + fstype, name, ctx); + free(ctx); + if (rc != 0) { + goto exit; + } + } + } + + strs_sort(strs); + strs_write_each(strs, out); + +exit: + strs_free_all(strs); + strs_destroy(&strs); + + if (rc != 0) { + sepol_log_err("Error writing genfscon rules to CIL\n"); + } + + return rc; +} + +static int write_selinux_port_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ocontext *portcon; + const char *protocol; + uint16_t low; + uint16_t high; + char low_high_str[44]; /* 2^64 <= 20 digits so "(low high)" <= 44 chars */ + char *ctx; + int rc = 0; + + for (portcon = pdb->ocontexts[2]; portcon != NULL; portcon = portcon->next) { + switch (portcon->u.port.protocol) { + case IPPROTO_TCP: protocol = "tcp"; break; + case IPPROTO_UDP: protocol = "udp"; break; + case IPPROTO_DCCP: protocol = "dccp"; break; + default: + sepol_log_err("Unknown portcon protocol: %i", portcon->u.port.protocol); + rc = -1; + goto exit; + } + + low = portcon->u.port.low_port; + high = portcon->u.port.high_port; + if (low == high) { + rc = snprintf(low_high_str, 44, "%u", low); + } else { + rc = snprintf(low_high_str, 44, "(%u %u)", low, high); + } + if (rc < 0 || rc >= 44) { + rc = -1; + goto exit; + } + + ctx = context_to_str(pdb, &portcon->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(portcon %s %s %s)\n", protocol, low_high_str, ctx); + + free(ctx); + } + + rc = 0; + +exit: + if (rc != 0) { + sepol_log_err("Error writing portcon rules to CIL\n"); + } + + return rc; +} + +static int write_selinux_netif_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ocontext *netif; + char *name, *ctx1, *ctx2; + int rc = 0; + + for (netif = pdb->ocontexts[3]; netif != NULL; netif = netif->next) { + name = netif->u.name; + ctx1 = context_to_str(pdb, &netif->context[0]); + if (!ctx1) { + rc = -1; + goto exit; + } + ctx2 = context_to_str(pdb, &netif->context[1]); + if (!ctx2) { + free(ctx1); + rc = -1; + goto exit; + } + + sepol_printf(out, "(netifcon %s %s %s)\n", name, ctx1, ctx2); + + free(ctx1); + free(ctx2); + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing netifcon rules to CIL\n"); + } + + return rc; +} + +static int write_selinux_node_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ocontext *node; + char addr[INET_ADDRSTRLEN]; + char mask[INET_ADDRSTRLEN]; + char *ctx; + int rc = 0; + + for (node = pdb->ocontexts[4]; node != NULL; node = node->next) { + if (inet_ntop(AF_INET, &node->u.node.addr, addr, INET_ADDRSTRLEN) == NULL) { + sepol_log_err("Nodecon address is invalid: %s", strerror(errno)); + rc = -1; + goto exit; + } + + if (inet_ntop(AF_INET, &node->u.node.mask, mask, INET_ADDRSTRLEN) == NULL) { + sepol_log_err("Nodecon mask is invalid: %s", strerror(errno)); + rc = -1; + goto exit; + } + + ctx = context_to_str(pdb, &node->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(nodecon (%s) (%s) %s)\n", addr, mask, ctx); + + free(ctx); + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing nodecon rules to CIL\n"); + } + + return rc; +} + +static int write_selinux_node6_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ocontext *node; + char addr[INET6_ADDRSTRLEN]; + char mask[INET6_ADDRSTRLEN]; + char *ctx; + int rc = 0; + + for (node = pdb->ocontexts[6]; node != NULL; node = node->next) { + if (inet_ntop(AF_INET6, &node->u.node6.addr, addr, INET6_ADDRSTRLEN) == NULL) { + sepol_log_err("Nodecon address is invalid: %s", strerror(errno)); + rc = -1; + goto exit; + } + + if (inet_ntop(AF_INET6, &node->u.node6.mask, mask, INET6_ADDRSTRLEN) == NULL) { + sepol_log_err("Nodecon mask is invalid: %s", strerror(errno)); + rc = -1; + goto exit; + } + + ctx = context_to_str(pdb, &node->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(nodecon (%s) (%s) %s)\n", addr, mask, ctx); + + free(ctx); + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing nodecon rules to CIL\n"); + } + + return rc; +} + +static int write_xen_isid_rules_to_cil(FILE *out, struct policydb *pdb) +{ + return write_sid_context_rules_to_cil(out, pdb, xen_sid_to_str); +} + +static int write_xen_pirq_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ocontext *pirq; + char pirq_str[21]; + char *ctx; + int rc = 0; + + for (pirq = pdb->ocontexts[1]; pirq != NULL; pirq = pirq->next) { + rc = snprintf(pirq_str, 21, "%i", pirq->u.pirq); + if (rc < 0 || rc >= 21) { + rc = -1; + goto exit; + } + + ctx = context_to_str(pdb, &pirq->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(pirqcon %s %s)\n", pirq_str, ctx); + + free(ctx); + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing pirqcon rules to CIL\n"); + } + + return rc; +} + +static int write_xen_ioport_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ocontext *ioport; + uint32_t low; + uint32_t high; + char low_high_str[44]; /* 2^64 <= 20 digits so "(low high)" <= 44 chars */ + char *ctx; + int rc = 0; + + for (ioport = pdb->ocontexts[2]; ioport != NULL; ioport = ioport->next) { + low = ioport->u.ioport.low_ioport; + high = ioport->u.ioport.high_ioport; + if (low == high) { + rc = snprintf(low_high_str, 44, "%i", low); + } else { + rc = snprintf(low_high_str, 44, "(%i %i)", low, high); + } + if (rc < 0 || rc >= 44) { + rc = -1; + goto exit; + } + + ctx = context_to_str(pdb, &ioport->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(ioportcon %s %s)\n", low_high_str, ctx); + + free(ctx); + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing ioportcon rules to CIL\n"); + } + + return rc; +} + +static int write_xen_iomem_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ocontext *iomem; + uint64_t low; + uint64_t high; + char low_high_str[44]; /* 2^64 <= 20 digits so "(low high)" <= 44 chars */ + char *ctx; + int rc = 0; + + for (iomem = pdb->ocontexts[3]; iomem != NULL; iomem = iomem->next) { + low = iomem->u.iomem.low_iomem; + high = iomem->u.iomem.high_iomem; + if (low == high) { + rc = snprintf(low_high_str, 44, "%#lX", (unsigned long)low); + } else { + rc = snprintf(low_high_str, 44, "(%#lX %#lX)", (unsigned long)low, (unsigned long)high); + } + if (rc < 0 || rc >= 44) { + rc = -1; + goto exit; + } + + ctx = context_to_str(pdb, &iomem->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(iomemcon %s %s)\n", low_high_str, ctx); + + free(ctx); + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing iomemcon rules to CIL\n"); + } + + return rc; +} + +static int write_xen_pcidevice_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ocontext *pcid; + char device_str[21]; + char *ctx; + int rc = 0; + + for (pcid = pdb->ocontexts[4]; pcid != NULL; pcid = pcid->next) { + rc = snprintf(device_str, 21, "%#lx", (unsigned long)pcid->u.device); + if (rc < 0 || rc >= 21) { + rc = -1; + goto exit; + } + + ctx = context_to_str(pdb, &pcid->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(pcidevicecon %s %s)\n", device_str, ctx); + + free(ctx); + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing pcidevicecon rules to CIL\n"); + } + + return rc; +} + +static int write_xen_devicetree_rules_to_cil(FILE *out, struct policydb *pdb) +{ + struct ocontext *dtree; + char *name, *ctx; + int rc = 0; + + for (dtree = pdb->ocontexts[5]; dtree != NULL; dtree = dtree->next) { + name = dtree->u.name; + ctx = context_to_str(pdb, &dtree->context[0]); + if (!ctx) { + rc = -1; + goto exit; + } + + sepol_printf(out, "(devicetreecon %s %s)\n", name, ctx); + + free(ctx); + } + +exit: + if (rc != 0) { + sepol_log_err("Error writing devicetreecon rules to CIL\n"); + } + + return rc; +} + +int sepol_kernel_policydb_to_cil(FILE *out, struct policydb *pdb) +{ + struct strs *mls_constraints; + struct strs *non_mls_constraints; + int rc = 0; + + rc = strs_init(&mls_constraints, 32); + if (rc != 0) { + goto exit; + } + + rc = strs_init(&non_mls_constraints, 32); + if (rc != 0) { + goto exit; + } + + if (pdb == NULL) { + sepol_log_err("No policy"); + rc = -1; + goto exit; + } + + if (pdb->policy_type != SEPOL_POLICY_KERN) { + sepol_log_err("Policy is not a kernel policy"); + rc = -1; + goto exit; + } + + rc = constraint_rules_to_strs(pdb, mls_constraints, non_mls_constraints); + if (rc != 0) { + goto exit; + } + + rc = write_handle_unknown_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_class_decl_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_sid_decl_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_default_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_mls_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + strs_write_each(mls_constraints, out); + + rc = write_polcap_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_type_attributes_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_role_attributes_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_boolean_decl_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_type_decl_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_type_alias_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_type_bounds_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_type_attribute_sets_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_type_permissive_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_avtab_to_cil(out, pdb, 0); + if (rc != 0) { + goto exit; + } + + rc = write_filename_trans_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + if (pdb->mls) { + rc = write_range_trans_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + } + + rc = write_cond_nodes_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_role_decl_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_role_transition_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_role_allow_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_user_decl_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + strs_write_each(non_mls_constraints, out); + + rc = sort_ocontexts(pdb); + if (rc != 0) { + goto exit; + } + + if (pdb->target_platform == SEPOL_TARGET_SELINUX) { + rc = write_selinux_isid_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_selinux_fsuse_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_genfscon_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_selinux_port_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_selinux_netif_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_selinux_node_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_selinux_node6_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + } else if (pdb->target_platform == SEPOL_TARGET_XEN) { + rc = write_xen_isid_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_genfscon_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_xen_pirq_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_xen_ioport_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_xen_iomem_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_xen_pcidevice_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + + rc = write_xen_devicetree_rules_to_cil(out, pdb); + if (rc != 0) { + goto exit; + } + } + +exit: + strs_free_all(mls_constraints); + strs_destroy(&mls_constraints); + strs_free_all(non_mls_constraints); + strs_destroy(&non_mls_constraints); + + return rc; +} diff --git a/libsepol/src/kernel_to_common.c b/libsepol/src/kernel_to_common.c new file mode 100644 index 0000000..4d47b84 --- /dev/null +++ b/libsepol/src/kernel_to_common.c @@ -0,0 +1,681 @@ +#include +#include +#include +#include +#include +#include + +#include +#include +#ifndef IPPROTO_DCCP +#define IPPROTO_DCCP 33 +#endif + +#include +#include +#include + +#include "kernel_to_common.h" + + +__attribute__ ((format(printf, 1, 2))) +void sepol_log_err(const char *fmt, ...) +{ + va_list argptr; + va_start(argptr, fmt); + if (vfprintf(stderr, fmt, argptr) < 0) { + _exit(EXIT_FAILURE); + } + va_end(argptr); + if (fprintf(stderr, "\n") < 0) { + _exit(EXIT_FAILURE); + } +} + +void sepol_indent(FILE *out, int indent) +{ + if (fprintf(out, "%*s", indent * 4, "") < 0) { + sepol_log_err("Failed to write to output"); + } +} + +__attribute__ ((format(printf, 2, 3))) +void sepol_printf(FILE *out, const char *fmt, ...) +{ + va_list argptr; + va_start(argptr, fmt); + if (vfprintf(out, fmt, argptr) < 0) { + sepol_log_err("Failed to write to output"); + } + va_end(argptr); +} + +__attribute__ ((format(printf, 1, 0))) +static char *create_str_helper(const char *fmt, int num, va_list vargs) +{ + va_list vargs2; + char *str = NULL; + char *s; + size_t len; + int i, rc; + + va_copy(vargs2, vargs); + + len = strlen(fmt) + 1; /* +1 for '\0' */ + + for (i=0; i= (int)len) { + goto exit; + } + + return str; + +exit: + free(str); + return NULL; +} + +__attribute__ ((format(printf, 1, 3))) +char *create_str(const char *fmt, int num, ...) +{ + char *str = NULL; + va_list vargs; + + va_start(vargs, num); + str = create_str_helper(fmt, num, vargs); + va_end(vargs); + + return str; +} + +int strs_init(struct strs **strs, size_t size) +{ + struct strs *new; + + *strs = NULL; + + new = malloc(sizeof(struct strs)); + if (!new) { + sepol_log_err("Out of memory"); + return -1; + } + + new->list = calloc(sizeof(char *), size); + if (!new->list) { + sepol_log_err("Out of memory"); + free(new); + return -1; + } + + new->num = 0; + new->size = size; + + *strs = new; + + return 0; +} + +void strs_destroy(struct strs **strs) +{ + if (!strs || !*strs) { + return; + } + + free((*strs)->list); + (*strs)->list = NULL; + (*strs)->num = 0; + (*strs)->size = 0; + free(*strs); + *strs = NULL; +} + +void strs_free_all(struct strs *strs) +{ + if (!strs) { + return; + } + + while (strs->num > 0) { + strs->num--; + free(strs->list[strs->num]); + } +} + +int strs_add(struct strs *strs, char *s) +{ + if (strs->num + 1 > strs->size) { + char **new; + unsigned i = strs->size; + strs->size *= 2; + new = realloc(strs->list, sizeof(char *)*strs->size); + if (!new) { + sepol_log_err("Out of memory"); + return -1; + } + strs->list = new; + memset(&strs->list[i], 0, sizeof(char *)*(strs->size-i)); + } + + strs->list[strs->num] = s; + strs->num++; + + return 0; +} + +__attribute__ ((format(printf, 2, 4))) +int strs_create_and_add(struct strs *strs, const char *fmt, int num, ...) +{ + char *str; + va_list vargs; + int rc; + + va_start(vargs, num); + str = create_str_helper(fmt, num, vargs); + va_end(vargs); + + if (!str) { + rc = -1; + goto exit; + } + + rc = strs_add(strs, str); + if (rc != 0) { + free(str); + goto exit; + } + + return 0; + +exit: + return rc; +} + +char *strs_remove_last(struct strs *strs) +{ + if (strs->num == 0) { + return NULL; + } + strs->num--; + return strs->list[strs->num]; +} + +int strs_add_at_index(struct strs *strs, char *s, unsigned index) +{ + if (index >= strs->size) { + char **new; + unsigned i = strs->size; + while (index >= strs->size) { + strs->size *= 2; + } + new = realloc(strs->list, sizeof(char *)*strs->size); + if (!new) { + sepol_log_err("Out of memory"); + return -1; + } + strs->list = new; + memset(&strs->list[i], 0, sizeof(char *)*(strs->size - i)); + } + + strs->list[index] = s; + if (index >= strs->num) { + strs->num = index+1; + } + + return 0; +} + +char *strs_read_at_index(struct strs *strs, unsigned index) +{ + if (index >= strs->num) { + return NULL; + } + + return strs->list[index]; +} + +static int strs_cmp(const void *a, const void *b) +{ + char *const *aa = a; + char *const *bb = b; + return strcmp(*aa,*bb); +} + +void strs_sort(struct strs *strs) +{ + if (strs->num == 0) { + return; + } + qsort(strs->list, strs->num, sizeof(char *), strs_cmp); +} + +unsigned strs_num_items(struct strs *strs) +{ + return strs->num; +} + +size_t strs_len_items(struct strs *strs) +{ + unsigned i; + size_t len = 0; + + for (i=0; inum; i++) { + if (!strs->list[i]) continue; + len += strlen(strs->list[i]); + } + + return len; +} + +char *strs_to_str(struct strs *strs) +{ + char *str = NULL; + size_t len = 0; + char *p; + unsigned i; + int rc; + + if (strs->num == 0) { + goto exit; + } + + /* strs->num added because either ' ' or '\0' follows each item */ + len = strs_len_items(strs) + strs->num; + str = malloc(len); + if (!str) { + sepol_log_err("Out of memory"); + goto exit; + } + + p = str; + for (i=0; inum; i++) { + if (!strs->list[i]) continue; + len = strlen(strs->list[i]); + rc = snprintf(p, len+1, "%s", strs->list[i]); + if (rc < 0 || rc > (int)len) { + free(str); + str = NULL; + goto exit; + } + p += len; + if (i < strs->num - 1) { + *p++ = ' '; + } + } + + *p = '\0'; + +exit: + return str; +} + +void strs_write_each(struct strs *strs, FILE *out) +{ + unsigned i; + + for (i=0; inum; i++) { + if (!strs->list[i]) { + continue; + } + sepol_printf(out, "%s\n",strs->list[i]); + } +} + +void strs_write_each_indented(struct strs *strs, FILE *out, int indent) +{ + unsigned i; + + for (i=0; inum; i++) { + if (!strs->list[i]) { + continue; + } + sepol_indent(out, indent); + sepol_printf(out, "%s\n",strs->list[i]); + } +} + +int hashtab_ordered_to_strs(char *key, void *data, void *args) +{ + struct strs *strs = (struct strs *)args; + symtab_datum_t *datum = data; + + return strs_add_at_index(strs, key, datum->value-1); +} + +int ebitmap_to_strs(struct ebitmap *map, struct strs *strs, char **val_to_name) +{ + struct ebitmap_node *node; + uint32_t i; + int rc; + + ebitmap_for_each_bit(map, node, i) { + if (!ebitmap_get_bit(map, i)) continue; + + rc = strs_add(strs, val_to_name[i]); + if (rc != 0) { + return -1; + } + } + + return 0; +} + +char *ebitmap_to_str(struct ebitmap *map, char **val_to_name, int sort) +{ + struct strs *strs; + char *str = NULL; + int rc; + + rc = strs_init(&strs, 32); + if (rc != 0) { + goto exit; + } + + rc = ebitmap_to_strs(map, strs, val_to_name); + if (rc != 0) { + goto exit; + } + + if (sort) { + strs_sort(strs); + } + + str = strs_to_str(strs); + +exit: + strs_destroy(&strs); + + return str; +} + +int stack_init(struct strs **stack) +{ + return strs_init(stack, STACK_SIZE); +} + +void stack_destroy(struct strs **stack) +{ + return strs_destroy(stack); +} + +int stack_push(struct strs *stack, char *s) +{ + return strs_add(stack, s); +} + +char *stack_pop(struct strs *stack) +{ + return strs_remove_last(stack); +} + +int stack_empty(struct strs *stack) +{ + return strs_num_items(stack) == 0; +} + +static int compare_ranges(uint64_t l1, uint64_t h1, uint64_t l2, uint64_t h2) +{ + uint64_t d1, d2; + + d1 = h1-l1; + d2 = h2-l2; + + if (d1 < d2) { + return -1; + } else if (d1 > d2) { + return 1; + } else { + if (l1 < l2) { + return -1; + } else if (l1 > l2) { + return 1; + } + } + + return 0; +} + +static int fsuse_data_cmp(const void *a, const void *b) +{ + struct ocontext *const *aa = a; + struct ocontext *const *bb = b; + + if ((*aa)->v.behavior != (*bb)->v.behavior) { + if ((*aa)->v.behavior < (*bb)->v.behavior) { + return -1; + } else { + return 1; + } + } + + return strcmp((*aa)->u.name, (*bb)->u.name); +} + +static int portcon_data_cmp(const void *a, const void *b) +{ + struct ocontext *const *aa = a; + struct ocontext *const *bb = b; + int rc; + + rc = compare_ranges((*aa)->u.port.low_port, (*aa)->u.port.high_port, + (*bb)->u.port.low_port, (*bb)->u.port.high_port); + if (rc == 0) { + if ((*aa)->u.port.protocol == (*bb)->u.port.protocol) { + rc = 0; + } else if ((*aa)->u.port.protocol == IPPROTO_TCP) { + rc = -1; + } else { + rc = 1; + } + } + + return rc; +} + +static int netif_data_cmp(const void *a, const void *b) +{ + struct ocontext *const *aa = a; + struct ocontext *const *bb = b; + + return strcmp((*aa)->u.name, (*bb)->u.name); +} + +static int node_data_cmp(const void *a, const void *b) +{ + struct ocontext *const *aa = a; + struct ocontext *const *bb = b; + int rc; + + rc = memcmp(&(*aa)->u.node.mask, &(*bb)->u.node.mask, sizeof((*aa)->u.node.mask)); + if (rc > 0) { + return -1; + } else if (rc < 0) { + return 1; + } + + return memcmp(&(*aa)->u.node.addr, &(*bb)->u.node.addr, sizeof((*aa)->u.node.addr)); +} + +static int node6_data_cmp(const void *a, const void *b) +{ + struct ocontext *const *aa = a; + struct ocontext *const *bb = b; + int rc; + + rc = memcmp(&(*aa)->u.node6.mask, &(*bb)->u.node6.mask, sizeof((*aa)->u.node6.mask)); + if (rc > 0) { + return -1; + } else if (rc < 0) { + return 1; + } + + return memcmp(&(*aa)->u.node6.addr, &(*bb)->u.node6.addr, sizeof((*aa)->u.node6.addr)); +} + +static int pirq_data_cmp(const void *a, const void *b) +{ + struct ocontext *const *aa = a; + struct ocontext *const *bb = b; + + if ((*aa)->u.pirq < (*bb)->u.pirq) { + return -1; + } else if ((*aa)->u.pirq > (*bb)->u.pirq) { + return 1; + } + + return 0; +} + +static int ioport_data_cmp(const void *a, const void *b) +{ + struct ocontext *const *aa = a; + struct ocontext *const *bb = b; + + return compare_ranges((*aa)->u.ioport.low_ioport, (*aa)->u.ioport.high_ioport, + (*bb)->u.ioport.low_ioport, (*bb)->u.ioport.high_ioport); +} + +static int iomem_data_cmp(const void *a, const void *b) +{ + struct ocontext *const *aa = a; + struct ocontext *const *bb = b; + + return compare_ranges((*aa)->u.iomem.low_iomem, (*aa)->u.iomem.high_iomem, + (*bb)->u.iomem.low_iomem, (*bb)->u.iomem.high_iomem); +} + +static int pcid_data_cmp(const void *a, const void *b) +{ + struct ocontext *const *aa = a; + struct ocontext *const *bb = b; + + if ((*aa)->u.device < (*bb)->u.device) { + return -1; + } else if ((*aa)->u.device > (*bb)->u.device) { + return 1; + } + + return 0; +} + +static int dtree_data_cmp(const void *a, const void *b) +{ + struct ocontext *const *aa = a; + struct ocontext *const *bb = b; + + return strcmp((*aa)->u.name, (*bb)->u.name); +} + +static int sort_ocontext_data(struct ocontext **ocons, int (*cmp)(const void *, const void *)) +{ + struct ocontext *ocon; + struct ocontext **data; + unsigned i, num; + + num = 0; + for (ocon = *ocons; ocon != NULL; ocon = ocon->next) { + num++; + } + + if (num == 0) { + return 0; + } + + data = calloc(sizeof(*data), num); + if (!data) { + sepol_log_err("Out of memory\n"); + return -1; + } + + i = 0; + for (ocon = *ocons; ocon != NULL; ocon = ocon->next) { + data[i] = ocon; + i++; + } + + qsort(data, num, sizeof(*data), cmp); + + *ocons = data[0]; + for (i=1; i < num; i++) { + data[i-1]->next = data[i]; + } + data[num-1]->next = NULL; + + free(data); + + return 0; +} + +int sort_ocontexts(struct policydb *pdb) +{ + int rc = 0; + + if (pdb->target_platform == SEPOL_TARGET_SELINUX) { + rc = sort_ocontext_data(&pdb->ocontexts[5], fsuse_data_cmp); + if (rc != 0) { + goto exit; + } + + rc = sort_ocontext_data(&pdb->ocontexts[2], portcon_data_cmp); + if (rc != 0) { + goto exit; + } + + rc = sort_ocontext_data(&pdb->ocontexts[3], netif_data_cmp); + if (rc != 0) { + goto exit; + } + + rc = sort_ocontext_data(&pdb->ocontexts[4], node_data_cmp); + if (rc != 0) { + goto exit; + } + + rc = sort_ocontext_data(&pdb->ocontexts[6], node6_data_cmp); + if (rc != 0) { + goto exit; + } + } else if (pdb->target_platform == SEPOL_TARGET_XEN) { + rc = sort_ocontext_data(&pdb->ocontexts[1], pirq_data_cmp); + if (rc != 0) { + goto exit; + } + + rc = sort_ocontext_data(&pdb->ocontexts[2], ioport_data_cmp); + if (rc != 0) { + goto exit; + } + + rc = sort_ocontext_data(&pdb->ocontexts[3], iomem_data_cmp); + if (rc != 0) { + goto exit; + } + + rc = sort_ocontext_data(&pdb->ocontexts[4], pcid_data_cmp); + if (rc != 0) { + goto exit; + } + + rc = sort_ocontext_data(&pdb->ocontexts[5], dtree_data_cmp); + if (rc != 0) { + goto exit; + } + } + +exit: + if (rc != 0) { + sepol_log_err("Error sorting ocontexts\n"); + } + + return rc; +} diff --git a/libsepol/src/kernel_to_common.h b/libsepol/src/kernel_to_common.h new file mode 100644 index 0000000..62c6d69 --- /dev/null +++ b/libsepol/src/kernel_to_common.h @@ -0,0 +1,110 @@ +#include +#include +#include + +#include +#include + + +#define STACK_SIZE 16 +#define DEFAULT_LEVEL "systemlow" +#define DEFAULT_OBJECT "object_r" + +// initial sid names aren't actually stored in the pp files, need to a have +// a mapping, taken from the linux kernel +static const char * const selinux_sid_to_str[] = { + "null", + "kernel", + "security", + "unlabeled", + "fs", + "file", + "file_labels", + "init", + "any_socket", + "port", + "netif", + "netmsg", + "node", + "igmp_packet", + "icmp_socket", + "tcp_socket", + "sysctl_modprobe", + "sysctl", + "sysctl_fs", + "sysctl_kernel", + "sysctl_net", + "sysctl_net_unix", + "sysctl_vm", + "sysctl_dev", + "kmod", + "policy", + "scmp_packet", + "devnull", +}; + +static const char * const xen_sid_to_str[] = { + "null", + "xen", + "dom0", + "domio", + "domxen", + "unlabeled", + "security", + "ioport", + "iomem", + "irq", + "device", +}; + +static const uint32_t avtab_flavors[] = { + AVTAB_ALLOWED, + AVTAB_AUDITALLOW, + AVTAB_AUDITDENY, + AVTAB_XPERMS_ALLOWED, + AVTAB_XPERMS_AUDITALLOW, + AVTAB_XPERMS_DONTAUDIT, + AVTAB_TRANSITION, + AVTAB_MEMBER, + AVTAB_CHANGE, +}; + +#define AVTAB_FLAVORS_SZ (sizeof(avtab_flavors)/sizeof(avtab_flavors[0])) + +struct strs { + char **list; + unsigned num; + size_t size; +}; + +void sepol_log_err(const char *fmt, ...); +void sepol_indent(FILE *out, int indent); +void sepol_printf(FILE *out, const char *fmt, ...); + +char *create_str(const char *fmt, int num, ...); + +int strs_init(struct strs **strs, size_t size); +void strs_destroy(struct strs **strs); +void strs_free_all(struct strs *strs); +int strs_add(struct strs *strs, char *s); +int strs_create_and_add(struct strs *strs, const char *fmt, int num, ...); +char *strs_remove_last(struct strs *strs); +int strs_add_at_index(struct strs *strs, char *s, unsigned index); +char *strs_read_at_index(struct strs *strs, unsigned index); +void strs_sort(struct strs *strs); +unsigned strs_num_items(struct strs *strs); +size_t strs_len_items(struct strs *strs); +char *strs_to_str(struct strs *strs); +void strs_write_each(struct strs *strs, FILE *out); +void strs_write_each_indented(struct strs *strs, FILE *out, int indent); +int hashtab_ordered_to_strs(char *key, void *data, void *args); +int ebitmap_to_strs(struct ebitmap *map, struct strs *strs, char **val_to_name); +char *ebitmap_to_str(struct ebitmap *map, char **val_to_name, int sort); + +int stack_init(struct strs **stack); +void stack_destroy(struct strs **stack); +int stack_push(struct strs *stack, char *s); +char *stack_pop(struct strs *stack); +int stack_empty(struct strs *stack); + +int sort_ocontexts(struct policydb *pdb); diff --git a/libsepol/src/libsepol.map.in b/libsepol/src/libsepol.map.in index 47a4440..b78a3b3 100644 --- a/libsepol/src/libsepol.map.in +++ b/libsepol/src/libsepol.map.in @@ -49,4 +49,5 @@ LIBSEPOL_1.1 { sepol_ppfile_to_module_package; sepol_module_package_to_cil; sepol_module_policydb_to_cil; + sepol_kernel_policydb_to_cil; } LIBSEPOL_1.0;