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
- A proof-of-concept Linux clone of Santa, Google's binary authorization system for macOS☆32Updated 2 years ago
- LKRG bypass methods☆72Updated 5 years ago
- Conferences, tools, papers, etc.☆43Updated last month
- ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.☆116Updated 2 years ago
- (Linux Kernel) Stack Monitoring Tool☆45Updated 3 years ago
- eBPF - extended Berkeley Packet Filter tooling☆123Updated 3 years ago
- ☆13Updated 4 years ago
- ☆15Updated 5 years ago
- ☆27Updated 2 years ago
- A tool to help you understand TPM commands and responses.☆45Updated 7 months ago
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated 2 months ago
- ☆88Updated last year
- Checks for tpm vulnerabilities☆37Updated 2 years ago
- Mimojas Firmware Toolkit for unpacking and analysis firmware images☆14Updated 5 years ago
- Linux kernel - See Landlock issues☆41Updated 2 months ago
- Automate generation of syzkaller's grammar☆16Updated 2 years ago
- Armory Drive - USB encrypted drive with mobile unlock over BLE☆73Updated 2 months ago
- Build custom Docker seccomp profiles for containers by finding syscalls it uses.☆90Updated 4 years ago
- Tool to examine the behaviour of setuid binaries under constrained limits.☆61Updated 4 years ago
- Example program using eBPF to log data being based in using shell pipes☆41Updated 4 years ago
- Docker Secure Computing Profile Generator☆48Updated 3 years ago
- TLS-Anvil, a fully automated TLS testsuite for client and servers.☆93Updated this week
- Automated dynamic security analysis by emulation of IoT firmware images in CI-pipelines.☆13Updated 3 years ago
- Fast multi-platform (ELF/PE/MachO) binary checksec written in Rust.☆104Updated last year
- Go Trusted Execution Environment (TEE)☆129Updated 3 months ago
- BootHole vulnerability (CVE-2020-10713). detection script, links and other mitigation related materials☆67Updated 4 years ago
- VM demonstration various symlink and hard link attacks against secure boot. See the whitepaper at: https://www.anvilventures.com/blog/def…☆13Updated 4 years ago
- ☆96Updated 5 years ago
- A collection of bypasses and exploits for eBPF-based cloud security.☆24Updated last year