Alternatives and similar repositories for PALinux

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

• teesec-research / optee_examples
  OP-TEE Trusted Applications vulnerable to memory corruption bugs.
  ☆14Updated 4 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 3 years ago
• seclab-ucr / SyzDescribe
  ☆55Updated last year
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 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…
  ☆37Updated 6 months ago
• seclab-ucr / SyzGenPlusPlus
  ☆13Updated last year
• ucsb-seclab / actor
  Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)
  ☆34Updated last year
• vul337 / cfi-eval
  ☆22Updated 4 years ago
• ambergroup-labs / papora
  ☆14Updated 2 years ago
• HexHive / ViDeZZo
  ViDeZZo source code.
  ☆35Updated last month
• SyzTrust / syztrust
  SyzTrust's main repository. Start here to install.
  ☆17Updated last year
• umnsec / typm
  ☆33Updated 2 years ago
• sslab-gatech / deadline
  ☆46Updated 3 years ago
• rssys / shard
  ☆13Updated 3 years ago
• secsysresearch / DRFuzz
  ☆27Updated 3 years ago
• CactiLab / SoK-Cortex-M
  The published code repo for the Cortex-M SoK paper.
  ☆19Updated 2 months ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• s3team / Abacus
  Side-channel Analysis
  ☆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
  ☆24Updated 2 years ago
• sslab-gatech / sgx-bomb
  ☆17Updated 6 years ago
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆60Updated 6 months ago
• compsec-snu / petal
  PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)
  ☆11Updated 6 months ago
• OMH4ck / mufuzz
  ☆34Updated last year
• PKU-ASAL / WASEM
  WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
  ☆14Updated 8 months ago
• vusec / dangzero
  ☆17Updated last year
• sslab-gatech / krace
  Source code release for the KRace project
  ☆28Updated 3 years ago
• enochii / simple-pointer-analysis
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆15Updated 3 years ago
• securesystemslab / periscope
  ☆64Updated 6 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 5 years ago
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆29Updated 11 months ago