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.
☆66Updated 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 2 weeks ago
- GitHub mirror of the SELinux kernel repository☆153Updated this week
- SELinux Policy Analysis Tools☆166Updated 2 months ago
- SELinux Policy Analysis Tools v3☆69Updated 10 years ago
- refpolicy has moved to https://github.com/SELinuxProject/refpolicy☆126Updated 6 years ago
- SELinux Reference Policy v2☆321Updated last week
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆22Updated 6 months ago
- Tools to manage the Linux NetLabel subsystem☆28Updated last month
- Linux Security Module Stacking☆8Updated this week
- SELinux policy analysis tool☆16Updated 4 years ago
- setools has moved to https://github.com/SELinuxProject/setools☆91Updated 6 years ago
- libdtrace-ctf is the Compact Type Format library used by DTrace on Linux☆46Updated 2 years ago
- refpolicy-contrib has moved to https://github.com/SELinuxProject/refpolicy☆28Updated 6 years ago
- selinux-policy for Fedora is a large patch off the mainline☆172Updated this week
- UEFI shim loader☆64Updated 3 years ago
- Dynamic Host Configuration Protocol for IPv4☆15Updated last year
- TPM subsystem updates for Linux kernel source tree☆22Updated 6 years ago
- Small C tool for Linux filesystem encryption☆125Updated last month
- grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…☆85Updated 7 years ago
- IPE is a Linux Security Module (LSM), which allows for a configurable policy to enforce integrity requirements on the whole system. IPE b…☆60Updated 2 months ago
- Upstream Linux Kernel Validation Project API☆41Updated 11 months ago
- Linux UEFI Validation Distribution☆114Updated 4 years ago
- GitHub mirror of the Linux Kernel's audit repository☆148Updated last week
- GrSecurity and PaX Patches Before End of Public Release☆63Updated 6 years ago
- Fedora SELinux Userspace☆23Updated last week
- Qubes component: linux-utils☆29Updated 3 weeks ago
- Core KernelCI tools☆113Updated this week
- Automatic bug detection and reporting tool☆244Updated 3 weeks ago
- Provides a way to load and enumerate PKCS#11 modules.☆156Updated 3 weeks ago
- Generic library for reporting various problems☆31Updated last month