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.
☆68May 24, 2023Updated 3 years ago
Alternatives and similar repositories for cil
Users that are interested in cil are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is the upstream SELinux testsuite which is designed as a basic set of regression tests for the SELinux kernel functionality.☆61May 13, 2026Updated last month
- GitHub mirror of the SELinux kernel repository☆168Jul 2, 2026Updated last week
- Notes on Kali Linux on Nethunter by hcs0☆12Oct 13, 2019Updated 6 years ago
- SELinux Reference Policy v2☆385Updated this week
- SEAndroid policy analysis tool☆12Jul 7, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- setools has moved to https://github.com/SELinuxProject/setools☆92Jun 15, 2018Updated 8 years ago
- ☆10Mar 28, 2023Updated 3 years ago
- This is a repository for discussing Roles Based Access Control for docker☆20Jul 27, 2015Updated 10 years ago
- A heuristic, python-based detector for fast-flux botnets.☆13Feb 24, 2012Updated 14 years ago
- selinux-policy for Fedora is a large patch off the mainline☆210Updated this week
- How to write basic memory corruption exploits on Windows☆28Sep 14, 2016Updated 9 years ago
- Extra RHEL SELinux modules for OpenStack☆22May 13, 2026Updated last month
- Non-interactively generate GRUB2-compatible PBKDF2 hashes from the cmdline with python☆12Dec 5, 2018Updated 7 years ago
- Provide automation for Cluster - High Availability management☆20Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- refpolicy-contrib has moved to https://github.com/SELinuxProject/refpolicy☆28Jun 10, 2018Updated 8 years ago
- On the fly TCP and UDP network fuzzer☆16Jan 3, 2020Updated 6 years ago
- Fedora Policy Contributions☆39May 17, 2021Updated 5 years ago
- Collection of scripts to analyse the Linux kernel☆10Aug 25, 2019Updated 6 years ago
- Configuration to use gpg smartcards for ssh authentication☆17Nov 22, 2020Updated 5 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…☆69Dec 3, 2025Updated 7 months ago
- Telehash in Objective-C for iOS and OSX☆25Jul 9, 2015Updated 11 years ago
- CBOR version of the JOSE specifications☆14Apr 4, 2017Updated 9 years ago
- This repository contains a proof of concept demonstrating block inheritance via CIL namespaces, which allows better container separation☆20Jan 21, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A free runtime modification library.☆13Feb 10, 2020Updated 6 years ago
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆25May 27, 2026Updated last month
- Build scripts for Qemu.js☆17Jan 26, 2019Updated 7 years ago
- Select authentication and indentity profile to use on the system.☆63Jun 22, 2026Updated 2 weeks ago
- Ansible Packer Role for VM/ISO Creation☆29Jun 12, 2026Updated 3 weeks ago
- refpolicy has moved to https://github.com/SELinuxProject/refpolicy☆127Jun 10, 2018Updated 8 years ago
- Website with systemd brand assets☆17Aug 7, 2024Updated last year
- GC/Wii homebrew application used for playing back dff files recorded by Dolphin on real hardware.☆18May 2, 2015Updated 11 years ago
- JTAG in a box : easy JTAG for router flashing, recovery and many more use cases !☆13Dec 17, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Modified drivers to reliably perform fragmentation and aggregation vulnerability tests☆12Jan 7, 2023Updated 3 years ago
- Development repository for the selinux cookbook☆61Jul 2, 2026Updated last week
- Convert an embed code to a plugin.☆13Apr 24, 2026Updated 2 months ago
- Sys Mon! Why yu nuh logging dat?☆13Dec 10, 2018Updated 7 years ago
- Linux Security Module Stacking☆10Apr 25, 2026Updated 2 months ago
- Miscellaneous Tools☆37May 31, 2015Updated 11 years ago
- Automated memory forensics analysis☆32Aug 20, 2019Updated 6 years ago