Alternatives and similar repositories for PaStA

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

• error27 / smatch
  Static Analyser for C
  ☆154Updated last week
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆67Updated 2 weeks ago
• coccinelle / coccinellery
  ☆113Updated last year
• SUSE / clang-extract
  A tool to extract code content from source files using the clang and LLVM infrastructure.
  ☆29Updated 3 months ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆350Updated 2 years ago
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆56Updated last month
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆91Updated last year
• ClangBuiltLinux / linux
  Linux kernel source tree
  ☆256Updated 2 years ago
• kernelci / kernelci-core
  Core KernelCI tools
  ☆117Updated this week
• oracle / ktf
  Kernel Test Framework - a unit test framework for the Linux kernel
  ☆94Updated 3 years ago
• euspectre / kedr
  Main repository of KEDR project
  ☆121Updated 8 months ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆68Updated 3 years ago
• intel / lkp-tests
  Linux Kernel Performance tests
  ☆298Updated this week
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆63Updated 3 months ago
• rostedt / trace-cmd
  utilities for Linux ftrace
  ☆309Updated last month
• cregit / cregit
  ☆148Updated 3 years ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆704Updated 2 months ago
• linux-blktests / blktests
  Linux kernel block layer testing framework
  ☆132Updated last week
• tytso / xfstests-bld
  Creates a file system / storage test appliance which can be run using KVM, GCE, and Android
  ☆74Updated 3 weeks ago
• scheduler-tools / rt-app
  rt-app emulates typical mobile and real-time systems use cases and gives runtime information
  ☆138Updated 4 months ago
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆256Updated 2 weeks ago
• google / kernel-sanitizers
  Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel
  ☆469Updated 9 months ago
• ptesarik / libkdumpfile
  Kernel coredump file access
  ☆32Updated 5 months ago
• antonblanchard / will-it-scale
  ☆84Updated 2 years ago
• hrw / syscalls-table
  Information about Linux system calls on different architectures
  ☆173Updated last month
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆41Updated last year
• joergroedel / flocc
  The Fast Lines of Code Counter
  ☆11Updated 5 months ago
• hku-systems / owl
  ☆13Updated 5 years ago
• rostedt / libccli
  This is a simple CLI interface helper library for C.
  ☆53Updated 5 months ago
• acmel / dwarves
  Pahole and the dwarves
  ☆251Updated 2 months ago