SELinuxProject / selintLinks
Static code analysis of refpolicy style SELinux policy
☆47Updated 10 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…☆67Updated last month
- Fast multi-platform (ELF/PE/MachO) binary checksec written in Rust.☆118Updated last year
- eBPF - extended Berkeley Packet Filter tooling☆132Updated 3 years ago
- LKRG bypass methods☆73Updated 6 years ago
- Automatic fuzz targets generation for Golang packages☆55Updated 2 months ago
- SELinux Policy Analysis Tools☆192Updated 3 months ago
- ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.☆119Updated last month
- Linux kernel - See Landlock issues☆44Updated last month
- Tutorials from TPM.dev members☆120Updated 4 months ago
- Go Trusted Execution Environment (TEE)☆147Updated 4 months ago
- A tool to help you understand TPM commands and responses.☆47Updated last year
- Lind: Secure Lightweight Adaptive Isolation☆32Updated 6 months ago
- Build custom Docker seccomp profiles for containers by finding syscalls it uses.☆91Updated 3 months ago
- Converged Security Suite for Intel & AMD platform security features☆68Updated last month
- (Linux Kernel) Stack Monitoring Tool☆48Updated 3 years ago
- Moved: https://codeberg.org/koutheir/binary-security-check☆71Updated last year
- A proof-of-concept Linux clone of Santa, Google's binary authorization system for macOS☆34Updated 3 years ago
- unofficial grsecurity gpl release☆24Updated 7 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 4 years ago
- ☆27Updated 2 years ago
- Example program using eBPF to log data being based in using shell pipes☆41Updated 4 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 9 months ago
- Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.☆66Updated this week
- Containers for building the Linux kernel or other software with many different compilers☆256Updated this week
- A Dolev-Yao-model-guided fuzzer for TLS☆149Updated this week
- Check linux sources dump for known CVEs.☆133Updated this week
- Example BPF program with LSM hooks☆34Updated 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…☆202Updated 4 years ago
- Armory Drive - USB encrypted drive with mobile unlock over BLE☆78Updated 4 months ago
- Quality assurance testing for the curl project☆94Updated last week