On 04/01/2015 11:01 AM, James Carter wrote: > V4 Adds the new command-line options to the checkpolicy and checkmodule man pages, adds error checking and messages to checkpolicy and checkmodule, updates libsepol's Android.mk and libsepol.map.in files as needed, and makes pp linke libsepol dynamically. > V3 fixes another whitespace issue. > V2 fixes some whitespace issues and make the new libsepol file LGPL instead of GPL. > > This patch set moves the code to generate CIL from pp.c in policycoreutils/hll/pp to libsepol, adds a new function to generate CIL from a module policydb, and modifies checkpolicy and checkmodule to support generating CIL as their output. > > The primary motivation of this work is to allow SE for Android to use the CIl compiler. Converting the policy.conf to CIL and then compiling to the kernel binary policy results in a policy that is about 20% smaller. The smaller size is because type expressions with negations are converted to type attribute sets in CIL instead of being expanded. > > James Carter (3): > libsepol, policycoreutils: Move functions to convert a module package > to CIL > libsepol: add function to generate CIL from a module policydb > checkpolicy: Add support for generating CIL > > checkpolicy/checkmodule.8 | 5 +- > checkpolicy/checkmodule.c | 63 +- > checkpolicy/checkpolicy.8 | 5 +- > checkpolicy/checkpolicy.c | 83 +- > libsepol/Android.mk | 1 + > libsepol/include/sepol/module_to_cil.h | 8 + > libsepol/src/libsepol.map.in | 3 + > libsepol/src/module_to_cil.c | 4010 ++++++++++++++++++++++++++++++++ > policycoreutils/hll/pp/Makefile | 2 +- > policycoreutils/hll/pp/pp.c | 3830 +----------------------------- > 10 files changed, 4128 insertions(+), 3882 deletions(-) > create mode 100644 libsepol/include/sepol/module_to_cil.h > create mode 100644 libsepol/src/module_to_cil.c > Looks like usage() functions in checkpolicy.c and checkmodule.c also need to be updated to include the -C option. With that fixed, this patchset, including relicensing from GPL to LGPL, is Acked-by: Steve Lawrence <slawrence@xxxxxxxxxx> _______________________________________________ Selinux mailing list Selinux@xxxxxxxxxxxxx To unsubscribe, send email to Selinux-leave@xxxxxxxxxxxxx. To get help, send an email containing "help" to Selinux-request@xxxxxxxxxxxxx.
