SELinuxProject / cil
The SELinux Common Intermediate Language (CIL) is designed to be a language that sits between one or more high level policy languages (such as the current module language) and the low-level kernel policy representation.
☆65Updated last year
Alternatives and similar repositories for cil:
Users that are interested in cil are comparing it to the libraries listed below
- This is the upstream SELinux testsuite which is designed as a basic set of regression tests for the SELinux kernel functionality.☆53Updated last week
- GitHub mirror of the SELinux kernel repository☆150Updated last week
- SELinux Policy Analysis Tools☆164Updated last week
- SELinux Policy Analysis Tools v3☆68Updated 9 years ago
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆22Updated 4 months ago
- Linux UEFI Validation Distribution☆114Updated 3 years ago
- refpolicy has moved to https://github.com/SELinuxProject/refpolicy☆126Updated 6 years ago
- Tools to manage the Linux NetLabel subsystem☆27Updated last year
- setools has moved to https://github.com/SELinuxProject/setools☆91Updated 6 years ago
- mirror of https://chromium.googlesource.com/chromiumos/platform/vboot_reference☆33Updated last week
- Upstream Linux Kernel Validation Project API☆41Updated 8 months ago
- SELinux Reference Policy v2☆310Updated this week
- UEFI shim loader☆64Updated 3 years ago
- Linux kernel source tree☆25Updated last year
- Kernel Test Framework - a unit test framework for the Linux kernel☆94Updated 2 years ago
- Linux Security Module Stacking☆8Updated 3 weeks ago
- SELinux policy analysis tool☆16Updated 4 years ago
- Qubes component: linux-utils☆28Updated 3 weeks ago
- Check kernel config files against a set of mandatory-for-security settings☆17Updated 4 years ago
- Fedora SELinux Userspace☆22Updated last week
- ☆68Updated 11 months ago
- A quilt-like series of patches plus scripts and .spec files to produce the kernel RPM package. If you are looking for a ready-to-use kern…☆150Updated this week
- Small C tool for Linux filesystem encryption☆122Updated 9 months ago
- TPM subsystem updates for Linux kernel source tree☆21Updated 6 years ago
- grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…☆85Updated 7 years ago
- Linux tools for signed PE-COFF binaries☆112Updated 4 months ago
- Open Systems Firmware (OSF)☆72Updated last year
- Generic library for reporting various problems☆30Updated last week
- Binary Configuration Tool for Intel(R) FSP☆69Updated 4 months ago
- Certifiable Linux Integration Platform (CLIP)☆46Updated last year