SELinuxProject / selintLinks
Static code analysis of refpolicy style SELinux policy
☆45Updated 5 months ago
Alternatives and similar repositories for selint
Users that are interested in selint are comparing it to the libraries listed below
Sorting:
- IPE is a Linux Security Module (LSM), which allows for a configurable policy to enforce integrity requirements on the whole system. IPE b…☆65Updated 4 months ago
- ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.☆117Updated 2 years ago
- LKRG bypass methods☆72Updated 5 years ago
- eBPF - extended Berkeley Packet Filter tooling☆124Updated 3 years ago
- Linux kernel - See Landlock issues☆42Updated 4 months ago
- Tutorials from TPM.dev members☆112Updated last year
- SELinux Policy Analysis Tools☆186Updated 3 months ago
- Fast multi-platform (ELF/PE/MachO) binary checksec written in Rust.☆106Updated last year
- Converged Security Suite for Intel & AMD platform security features☆64Updated this week
- Build custom Docker seccomp profiles for containers by finding syscalls it uses.☆90Updated 5 years ago
- A proof-of-concept Linux clone of Santa, Google's binary authorization system for macOS☆32Updated 2 years ago
- Moved: https://codeberg.org/koutheir/binary-security-check☆69Updated last year
- unofficial grsecurity gpl release☆24Updated 6 years ago
- ☆15Updated 5 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated 4 months ago
- Kernel Test Framework☆145Updated 7 months ago
- Go Trusted Execution Environment (TEE)☆134Updated 3 weeks ago
- TLS-Anvil, a fully automated TLS testsuite for client and servers.☆96Updated this week
- VINCE is the Vulnerability Information and Coordination Environment developed and used by the CERT Coordination Center to improve coordin…☆76Updated 2 weeks ago
- Check linux sources dump for known CVEs.☆135Updated 2 weeks ago
- Security-related flags and options for C compilers☆194Updated 2 years ago
- Check kernel config files against a set of mandatory-for-security settings☆18Updated 4 years ago
- GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuz…☆200Updated 4 years ago
- Disabling kernel lockdown on Ubuntu without physical access☆79Updated 2 years ago
- fsfuzzer mirror☆13Updated 8 years ago
- ☆89Updated last year
- A tool to help you understand TPM commands and responses.☆46Updated 8 months ago
- Automatic fuzz targets generation for Golang packages☆53Updated last week
- Containers for building the Linux kernel or other software with many different compilers☆227Updated last month
- Vulnerability management tool that provides Yocto SBOM generation and CVE Analysis of target images.☆39Updated 3 weeks ago