Alternatives and similar repositories for PaStA

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

• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆65Updated this week
• coccinelle / coccinellery
  ☆113Updated last year
• error27 / smatch
  Static Analyser for C
  ☆148Updated 3 weeks ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆701Updated 3 weeks ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆39Updated last year
• ClangBuiltLinux / linux
  Linux kernel source tree
  ☆256Updated 2 years ago
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆56Updated last week
• hku-systems / owl
  ☆13Updated 5 years ago
• euspectre / kedr
  Main repository of KEDR project
  ☆120Updated 6 months ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆66Updated 3 years ago
• kernelci / kernelci-core
  Core KernelCI tools
  ☆116Updated this week
• amluto / virtme
  An easy way to virtualize the running system
  ☆351Updated 2 years ago
• google / kernel-sanitizers
  Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel
  ☆468Updated 8 months ago
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆62Updated 2 months ago
• google / kmsan
  KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel
  ☆417Updated 8 months ago
• scheduler-tools / rt-app
  rt-app emulates typical mobile and real-time systems use cases and gives runtime information
  ☆137Updated 3 months ago
• bulwahn / linux-kernel-analysis
  Collection of scripts to analyse the Linux kernel
  ☆10Updated 6 years ago
• oracle / ktf
  Kernel Test Framework - a unit test framework for the Linux kernel
  ☆94Updated 3 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• SUSE / clang-extract
  A tool to extract code content from source files using the clang and LLVM infrastructure.
  ☆29Updated 2 months ago
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆90Updated 10 months ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 4 years ago
• kmrov / racehound
  Data race detector for Linux kernel modules
  ☆30Updated 8 years ago
• priv-kweihmann / meta-sca
  Layer for static code analysis and security hardening
  ☆104Updated last week
• dspinellis / cscout
  C code refactoring browser
  ☆217Updated last month
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• Plailect / linux-devel
  A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd
  ☆131Updated 6 years ago
• bpfverif / agni
  ☆45Updated 3 weeks ago
• lttng / lttng-modules
  This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…
  ☆98Updated 2 weeks ago
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆254Updated 2 weeks ago