SELinuxProject / selintLinks
Static code analysis of refpolicy style SELinux policy
☆45Updated 6 months ago
Alternatives and similar repositories for selint
Users that are interested in selint are comparing it to the libraries listed below
Sorting:
- ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.☆117Updated 2 years ago
- 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
- LKRG bypass methods☆73Updated 5 years ago
- Fast multi-platform (ELF/PE/MachO) binary checksec written in Rust.☆107Updated last year
- eBPF - extended Berkeley Packet Filter tooling☆124Updated 3 years ago
- Tutorials from TPM.dev members☆112Updated last week
- Build custom Docker seccomp profiles for containers by finding syscalls it uses.☆90Updated 5 years ago
- SELinux Policy Analysis Tools☆189Updated last week
- A proof-of-concept Linux clone of Santa, Google's binary authorization system for macOS☆32Updated 2 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 5 months ago
- Automatic fuzz targets generation for Golang packages☆53Updated 3 weeks ago
- Kernel Test Framework☆145Updated 7 months ago
- Go Trusted Execution Environment (TEE)☆135Updated 3 weeks ago
- (Linux Kernel) Stack Monitoring Tool☆47Updated 3 years ago
- Converged Security Suite for Intel & AMD platform security features☆65Updated 3 weeks ago
- Linux kernel - See Landlock issues☆42Updated 4 months ago
- ☆27Updated 2 years ago
- Check kernel config files against a set of mandatory-for-security settings☆18Updated 5 years ago
- unofficial grsecurity gpl release☆24Updated 6 years ago
- Disabling kernel lockdown on Ubuntu without physical access☆79Updated 2 years ago
- This repository contains the tools we used in our research on the Google Titan M chip☆195Updated 3 years ago
- Example BPF program with LSM hooks☆33Updated 4 years ago
- Modular framework for file information extraction and dependency analysis to generate accurate SBOMs☆34Updated this week
- Lind: Secure Lightweight Adaptive Isolation☆32Updated 2 months ago
- Fork from git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git (unstable and force pushed!)☆21Updated 2 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Example program using eBPF to log data being based in using shell pipes☆41Updated 4 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆144Updated this week
- Check linux sources dump for known CVEs.☆135Updated last week
- bpflock - eBPF driven security for locking and auditing Linux machines☆150Updated 3 years ago