SELinuxProject / selintLinks
Static code analysis of refpolicy style SELinux policy
☆44Updated 3 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…☆64Updated 2 months ago
- LKRG bypass methods☆72Updated 5 years ago
- Check linux sources dump for known CVEs.☆132Updated 2 months ago
- ☆15Updated 5 years ago
- ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.☆116Updated 2 years ago
- Checks for tpm vulnerabilities☆37Updated 2 years ago
- Linux kernel - See Landlock issues☆41Updated 2 months ago
- Various utilities useful for developers writing BPF tools☆30Updated 2 years ago
- A proof-of-concept Linux clone of Santa, Google's binary authorization system for macOS☆32Updated 2 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated 2 months ago
- unofficial grsecurity gpl release☆22Updated 6 years ago
- A system call interception tool☆57Updated 6 months ago
- eBPF - extended Berkeley Packet Filter tooling☆122Updated 3 years ago
- ☆88Updated 11 months ago
- Modular framework for file information extraction and dependency analysis to generate accurate SBOMs☆31Updated this week
- fsfuzzer mirror☆14Updated 8 years ago
- A place to systematically store software bill of materials (SBOM) documents.☆46Updated 2 years ago
- Build custom Docker seccomp profiles for containers by finding syscalls it uses.☆90Updated 4 years ago
- bpflock - eBPF driven security for locking and auditing Linux machines☆147Updated 3 years ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆123Updated last year
- Automate generation of syzkaller's grammar☆16Updated 2 years ago
- (Linux Kernel) Stack Monitoring Tool☆45Updated 3 years ago
- ☆27Updated 2 years ago
- Linux kernel JIT spray for SMEP / KERNEXEC bypass☆55Updated 12 years ago
- A tool to help you understand TPM commands and responses.☆45Updated 6 months ago
- Default query sets for Joern☆27Updated 3 years ago
- Static code analysis test source code☆32Updated last year
- Converged Security Suite for Intel & AMD platform security features☆61Updated last week
- upstream for seccheck☆15Updated 7 years ago
- Securing open-source package ecosystems by originating, validating, and augmenting build attestations.☆42Updated this week