vmojzis / sepolicy_analysis
SELinux policy analysis tool
☆16Updated 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
- 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
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆22Updated 6 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 last year
- SELinux Policy Analysis Tools☆166Updated 2 months ago
- setools has moved to https://github.com/SELinuxProject/setools☆91Updated 6 years ago
- Routines for hunting down kernel symbols.☆83Updated 14 years ago
- GitHub mirror of the Linux Kernel's audit repository☆148Updated this week
- 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
- PoC LibVMI-based GDB server for virtual machines☆53Updated 7 years ago
- DEPRECATED TPM enabled GRUB2 Bootloader☆193Updated 3 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆84Updated 11 years ago
- SELinux Policy Analysis Tools v3☆69Updated 10 years ago
- Tools for inspecting disk images☆25Updated 6 years ago
- refpolicy has moved to https://github.com/SELinuxProject/refpolicy☆126Updated 6 years ago
- Trusted Path Execution (TPE) Linux Kernel Module☆158Updated 5 years ago
- Fedora Policy Contributions☆38Updated 3 years ago
- refpolicy-contrib has moved to https://github.com/SELinuxProject/refpolicy☆28Updated 6 years ago
- Linux Kernel Source Tree Reducer☆80Updated 5 months ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆219Updated 3 years ago
- ⛔️ DEPRECATED☆37Updated 4 years ago
- A high level language for SELinux policy☆58Updated 3 weeks ago
- ☆70Updated 4 years ago
- unofficial grsecurity gpl release☆22Updated 6 years ago
- Linux kernel - See Landlock issues☆39Updated 3 months ago
- Tools to manage the Linux NetLabel subsystem☆28Updated last month
- GrSecurity and PaX Patches Before End of Public Release☆63Updated 6 years ago
- kCFI Documentation☆14Updated 7 years ago
- This rap optimizations and hl_cfi have be merged in hardenedlinux/linux-unofficial_grsec☆17Updated 5 years ago
- ikgt manifest☆42Updated 2 years ago
- D-Bus fuzzer☆39Updated last month