SENG Compiler and Examples

I’ve finally uploaded a copy of the proof-of-concept SENG compiler and some examples of using it to write policies.

For the uninitiated: SENG is an experimental language for writing SELinux policies. In a nutshell, it augments the existing language with higher-level constructs aimed at eliminating the need for macros. It was first presented publicly at the SELinux Symposium earlier this month.

The compiler source code and examples are stored in a Bazaar-NG (a.k.a. bzr) repository. If you don’t already have a bzr client installed and can’t get one from your Linux distribution of choice, follow that link to download one. That done, all you need to do is get started is run the following to check out the latest copy:

$ bzr get

To bring that copy up-to-date, go into the directory you checked the code out to and run:

$ bzr pull

That’s it! There’s a couple README files included that should give you enough to get started. To build the compiler, you’ll need Java 1.5 as well as Ant and JavaCC.

I hope to flesh out the (admittedly meager) example as time goes on, but in the near future homework will be claiming more of my “free” time.

I apologize for the delay in getting this out, but there were some problems with the code that needed fixing before showing it to the world.

Comments are closed.