vmojzis / sepolicy_analysisLinks
SELinux policy analysis tool
☆17Updated 4 years ago
Alternatives and similar repositories for sepolicy_analysis
Users that are interested in sepolicy_analysis are comparing it to the libraries listed below
Sorting:
- This is the upstream SELinux testsuite which is designed as a basic set of regression tests for the SELinux kernel functionality.☆55Updated last month
- Linux Kernel Source Tree Reducer☆80Updated 7 months ago
- unofficial grsecurity gpl release☆22Updated 6 years ago
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 5 years ago
- A place to store my toy linux-security modules.☆92Updated 4 years ago
- A high level language for SELinux policy☆59Updated 3 months 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
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆23Updated 9 months ago
- Static code analysis of refpolicy style SELinux policy☆44Updated 2 months ago
- refpolicy has moved to https://github.com/SELinuxProject/refpolicy☆126Updated 6 years ago
- GitHub mirror of the Linux Kernel's audit repository☆153Updated last week
- setools has moved to https://github.com/SELinuxProject/setools☆91Updated 6 years ago
- [DEPRECATED] PKCS#11 Module for TPM 2.0☆68Updated 5 years ago
- Trusted Path Execution (TPE) Linux Kernel Module☆160Updated 5 years ago
- Convert libvirt-QEMU-save (LQS) files to raw memory files☆37Updated last year
- Linux kernel source tree (Kernel Self Protection Project)☆86Updated 4 months ago
- Routines for hunting down kernel symbols.☆82Updated 14 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…☆64Updated last month
- Tools for inspecting disk images☆25Updated 6 years ago
- SELinux Reference Policy v2☆331Updated 3 weeks ago
- Userspace tool to create ext4 encrypted directories.☆51Updated 8 years ago
- Linux kernel - See Landlock issues☆40Updated last month
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆131Updated 7 months ago
- ☆62Updated 2 years ago
- PoC LibVMI-based GDB server for virtual machines☆53Updated 7 years ago
- SELinux Policy Analysis Tools☆180Updated 3 weeks ago
- fsfuzzer mirror☆14Updated 8 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆84Updated 11 years ago
- grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…☆86Updated 8 years ago
- ☆25Updated 3 years ago