SELinuxProject / selintLinks
Static code analysis of refpolicy style SELinux policy
☆46Updated 8 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…☆66Updated last week
- LKRG bypass methods☆73Updated 5 years ago
- Fast multi-platform (ELF/PE/MachO) binary checksec written in Rust.☆118Updated last year
- eBPF - extended Berkeley Packet Filter tooling☆131Updated 3 years ago
- ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.☆117Updated 2 weeks ago
- Linux kernel - See Landlock issues☆43Updated 7 months ago
- SELinux Policy Analysis Tools☆191Updated 2 months ago
- Build custom Docker seccomp profiles for containers by finding syscalls it uses.☆90Updated last month
- Explore a live Linux kernel's memory using GDB☆117Updated 3 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 7 months ago
- Kernel Test Framework☆149Updated 2 weeks ago
- A Dolev-Yao-model-guided fuzzer for TLS☆149Updated this week
- Example program using eBPF to log data being based in using shell pipes☆41Updated 4 years ago
- Disabling kernel lockdown on Ubuntu without physical access☆81Updated 2 years ago
- (Linux Kernel) Stack Monitoring Tool☆48Updated 3 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- A kernelspace syscall interceptor and randomized faulter☆357Updated last year
- Converged Security Suite for Intel & AMD platform security features☆68Updated this week
- Quality assurance testing for the curl project☆93Updated this week
- Tutorials from TPM.dev members☆117Updated 3 months ago
- This repository contains the tools we used in our research on the Google Titan M chip☆205Updated 3 years ago
- Security-related flags and options for C compilers☆198Updated 3 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆167Updated 6 years ago
- Automatic fuzz targets generation for Golang packages☆55Updated last month
- 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
- ☆15Updated 5 years ago
- Fork from git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git (unstable and force pushed!)☆21Updated 2 years ago
- Example BPF program with LSM hooks☆34Updated 4 years ago
- An extensively configurable tool providing a summary of the changes between two files or directories, ignoring all the fluff you don't ca…☆203Updated 3 years ago
- Containers for building the Linux kernel or other software with many different compilers☆254Updated last week