SELinuxProject / setoolsLinks
SELinux Policy Analysis Tools
☆192Updated 3 months ago
Alternatives and similar repositories for setools
Users that are interested in setools are comparing it to the libraries listed below
Sorting:
- SELinux Reference Policy v2☆365Updated this week
- GitHub mirror of the SELinux kernel repository☆160Updated 2 weeks ago
- The SELinux Common Intermediate Language (CIL) is designed to be a language that sits between one or more high level policy languages (su…☆66Updated 2 years ago
- The SELinux Notebook☆707Updated 3 weeks ago
- This is the upstream SELinux testsuite which is designed as a basic set of regression tests for the SELinux kernel functionality.☆58Updated 2 months ago
- Collection of files for booting Linux kernels☆33Updated 2 months ago
- Kexec Tools: Userspace portion of Kexec☆73Updated last month
- sandboxing and containment tool used in ChromeOS and Android☆356Updated this week
- Containers for building the Linux kernel or other software with many different compilers☆256Updated 2 weeks ago
- Static code analysis of refpolicy style SELinux policy☆47Updated 10 months ago
- Linux Kernel Runtime Guard☆563Updated 3 weeks ago
- This is a simple how-to to create your own android kernel debugging cable using commercially available parts.☆216Updated 4 years ago
- ☆120Updated 3 months ago
- selinux-policy for Fedora is a large patch off the mainline☆191Updated last week
- Linux kernel source tree☆26Updated 2 months ago
- Small C tool for Linux filesystem encryption☆141Updated 2 months ago
- Fedora SELinux Userspace☆28Updated this week
- Tools and libraries to work with EFI variables☆270Updated 3 weeks ago
- IPE is a Linux Security Module (LSM), which allows for a configurable policy to enforce integrity requirements on the whole system. IPE b…☆67Updated last month
- kmod - Linux kernel module handling☆96Updated 2 weeks ago
- the userspace side of Linux' CONFIG_STATIC_USERMODEHELPER☆16Updated last year
- SELinux Policy Analysis Tools v3☆70Updated 10 years ago
- SELinux policy analysis tool☆17Updated 5 years ago
- Debian GNU/Linux based Services Profiles☆246Updated 3 years ago
- This repository contains the tools we used in our research on the Google Titan M chip☆206Updated 3 years ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆469Updated 9 months ago
- Reviews of shim☆81Updated 2 months ago
- Linux kernel source tree (Kernel Self Protection Project)☆91Updated last year
- Information about Linux system calls on different architectures☆173Updated last month
- TPM subsystem updates for Linux kernel source tree☆22Updated 7 years ago