Alternatives and similar repositories for PALinux:

Users that are interested in PALinux are comparing it to the libraries listed below

• umnsec / typm
  ☆33Updated last year
• seclab-ucr / SyzDescribe
  ☆51Updated 10 months ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• secsysresearch / DRFuzz
  ☆25Updated 2 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• rssys / shard
  ☆13Updated 3 years ago
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆28Updated 8 months ago
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆59Updated 3 months ago
• sslab-gatech / deadline
  ☆46Updated 3 years ago
• vul337 / EnclaveFuzz
  Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"
  ☆24Updated 5 months ago
• PKU-ASAL / WASEM
  WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
  ☆13Updated 5 months ago
• seclab-ucr / SyzGenPlusPlus
  ☆11Updated last year
• vul337 / cfi-eval
  ☆22Updated 4 years ago
• Dirac5ea / Maze
  An Automated Heap Feng Shui Tool
  ☆16Updated 2 years ago
• CactiLab / SoK-Cortex-M
  The published code repo for the Cortex-M SoK paper.
  ☆18Updated last month
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆69Updated 9 months ago
• akshithg / linux-security-papers
  ☆22Updated 5 years ago
• enochii / simple-pointer-analysis
  Implement pointer analysis prototype (currently including anderson, steensgard)~
  ☆15Updated 3 years ago
• Huawei / Huawei_CCA_QEMU
  ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki
  ☆22Updated last year
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• teesec-research / optee_examples
  OP-TEE Trusted Applications vulnerable to memory corruption bugs.
  ☆14Updated 4 years ago
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆35Updated 4 months ago
• strongcourage / fuzzing-targets
  A collection of widely-fuzzed targets
  ☆44Updated 5 years ago
• FoRTE-Research / HeXcite
  High-Efficiency eXpanded Coverage for Improved Testing of Executables
  ☆24Updated 2 years ago
• ww9210 / kepler-cfhp
  Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability
  ☆62Updated 5 years ago
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆73Updated 2 years ago
• Ljiee / fairfuzz
  ☆14Updated 7 years ago
• embedded-sec / ACES
  Automatic Compartments for Embedded Systems
  ☆24Updated 5 years ago
• ucsb-seclab / actor
  Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)
  ☆33Updated 10 months ago
• elManto / SAST_on_Decompilers
  Code and artifacts related to the Asia CCS 2022 paper
  ☆36Updated 3 years ago