Alternatives and similar repositories for PaStA

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

• coccinelle / coccinellery
  ☆113Updated last year
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆55Updated last week
• error27 / smatch
  Static Analyser for C
  ☆126Updated last month
• cregit / cregit
  ☆144Updated 2 years ago
• oracle / ktf
  Kernel Test Framework - a unit test framework for the Linux kernel
  ☆94Updated 3 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆54Updated 3 months ago
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆87Updated 6 months ago
• ClangBuiltLinux / linux
  Linux kernel source tree
  ☆245Updated 2 years ago
• bulwahn / linux-kernel-analysis
  Collection of scripts to analyse the Linux kernel
  ☆10Updated 5 years ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆675Updated last week
• hku-systems / owl
  ☆13Updated 5 years ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆348Updated last year
• kernelci / kernelci-core
  Core KernelCI tools
  ☆112Updated this week
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆102Updated 3 years ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 3 years ago
• google / kernel-sanitizers
  Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel
  ☆459Updated 3 months ago
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆62Updated last month
• scheduler-tools / rt-app
  rt-app emulates typical mobile and real-time systems use cases and gives runtime information
  ☆133Updated 2 weeks ago
• udoprog / kernelstats
  Calculate Statistics about the Linux Kernel
  ☆44Updated 11 months ago
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆225Updated 2 weeks ago
• ClangBuiltLinux / continuous-integration
  Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools
  ☆44Updated 4 years ago
• gregkh / kernel-history
  Linux kernel history logs and stats
  ☆111Updated 5 months ago
• ptesarik / libkdumpfile
  Kernel coredump file access
  ☆31Updated 7 months ago
• Plailect / linux-devel
  A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd
  ☆132Updated 5 years ago
• tudinfse / fex
  Fex: A Software Systems Evaluator
  ☆9Updated 4 years ago
• KernelTestFramework / ktf
  Kernel Test Framework
  ☆144Updated 6 months ago
• rostedt / trace-cmd
  utilities for Linux ftrace
  ☆297Updated last week
• google / kmsan
  KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel
  ☆415Updated 4 months ago
• google / silifuzz
  ☆405Updated 2 weeks ago
• danceos / fail
  FAult Injection Leveraged
  ☆40Updated 3 years ago