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.
  ☆48Updated this week
• cregit / cregit
  ☆138Updated 2 years ago
• coccinelle / coccinellery
  ☆109Updated 9 months ago
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆86Updated 3 months ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆37Updated last year
• dspinellis / cqmetrics
  C Quality Metrics
  ☆66Updated 2 years ago
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆53Updated this week
• rostedt / libccli
  This is a simple CLI interface helper library for C.
  ☆46Updated last year
• error27 / smatch
  Static Analyser for C
  ☆115Updated 3 weeks ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• ClangBuiltLinux / linux
  Linux kernel source tree
  ☆246Updated last year
• bulwahn / linux-kernel-analysis
  Collection of scripts to analyse the Linux kernel
  ☆10Updated 5 years ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆15Updated 5 years ago
• klockeph / grep-linux-patch-statistics
  Scripts to show tool impact on recent linux kernel development
  ☆13Updated 6 years ago
• kernelci / kernelci-core
  Core KernelCI tools
  ☆113Updated this week
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• ptesarik / libkdumpfile
  Kernel coredump file access
  ☆27Updated 3 months ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 3 years ago
• gregkh / kernel-history
  Linux kernel history logs and stats
  ☆110Updated last month
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆59Updated 2 weeks ago
• efficios / latency-tracker
  Kernel module to track latencies between 2 events (punch in, punch out) with timeout
  ☆59Updated last year
• caseycas / gitcproc
  Tool for analyzing git log messages and diffs.
  ☆22Updated 4 years ago
• scheduler-tools / rt-app
  rt-app emulates typical mobile and real-time systems use cases and gives runtime information
  ☆127Updated last month
• matheustavares / gcc-callgraph-plugin
  A GCC plugin to dump call graphs for programs being compiled using LTO.
  ☆22Updated 5 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆99Updated 3 years ago
• oracle / ktf
  Kernel Test Framework - a unit test framework for the Linux kernel
  ☆93Updated 3 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 4 years ago
• rssys / snowboard
  This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…
  ☆25Updated 3 years ago
• tytso / xfstests-bld
  Creates a file system / storage test appliance which can be run using KVM, GCE, and Android
  ☆72Updated last week
• osandov / blktests
  Linux kernel block layer testing framework
  ☆121Updated last week