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
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆67Updated last week
• error27 / smatch
  Static Analyser for C
  ☆156Updated last week
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆91Updated last year
• SUSE / clang-extract
  A tool to extract code content from source files using the clang and LLVM infrastructure.
  ☆29Updated last week
• 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
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆56Updated last month
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆705Updated 2 months ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆351Updated 2 years ago
• cregit / cregit
  ☆148Updated 3 years ago
• kernelci / kernelci-core
  Core KernelCI tools
  ☆117Updated this week
• ClangBuiltLinux / linux
  Linux kernel source tree
  ☆256Updated 2 years ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 4 years ago
• euspectre / kedr
  Main repository of KEDR project
  ☆121Updated 8 months ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆41Updated last year
• patchew-project / patchew
  A patch email tracking and testing system
  ☆76Updated last year
• intel / pm-graph
  The Suspend/Resume project provides a tool for system developers to visualize the activity between suspend and resume, allowing them to i…
  ☆141Updated last week
• dspinellis / cqmetrics
  C Quality Metrics
  ☆68Updated 3 years ago
• stefanha / git-publish
  Prepare and store patch revisions as git tags
  ☆149Updated 4 months ago
• google / kmsan
  KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel
  ☆421Updated 10 months ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆102Updated 4 years ago
• chaudron / cally
  Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files
  ☆203Updated 2 years ago
• getpatchwork / patchwork
  Patchwork is a web-based patch tracking system designed to facilitate the contribution and management of contributions to an open-source …
  ☆304Updated 2 weeks ago
• ptesarik / libkdumpfile
  Kernel coredump file access
  ☆32Updated 5 months ago
• dspinellis / cscout
  C code refactoring browser
  ☆220Updated 2 months ago
• scheduler-tools / rt-app
  rt-app emulates typical mobile and real-time systems use cases and gives runtime information
  ☆138Updated 4 months ago
• kernelci / kcidb
  kernelci.org common database tools
  ☆28Updated 4 months ago
• tytso / xfstests-bld
  Creates a file system / storage test appliance which can be run using KVM, GCE, and Android
  ☆74Updated last month
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆63Updated last week