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.
  ☆60Updated last week
• error27 / smatch
  Static Analyser for C
  ☆137Updated 4 months ago
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆89Updated 9 months ago
• ClangBuiltLinux / linux
  Linux kernel source tree
  ☆248Updated 2 years ago
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆56Updated last month
• kernelci / kernelci-core
  Core KernelCI tools
  ☆113Updated this week
• oracle / ktf
  Kernel Test Framework - a unit test framework for the Linux kernel
  ☆93Updated 3 years ago
• SUSE / clang-extract
  A tool to extract code content from source files using the clang and LLVM infrastructure.
  ☆27Updated 2 weeks ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆694Updated 3 weeks ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆351Updated 2 years ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆38Updated last year
• Plailect / linux-devel
  A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd
  ☆131Updated 6 years ago
• euspectre / kedr
  Main repository of KEDR project
  ☆119Updated 5 months ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆102Updated 3 years ago
• bulwahn / linux-kernel-analysis
  Collection of scripts to analyse the Linux kernel
  ☆10Updated 6 years ago
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆234Updated 3 weeks ago
• cregit / cregit
  ☆146Updated 2 years ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆187Updated 3 years ago
• deater / perf_event_tests
  Test suite for the Linux perf_event subsystem
  ☆118Updated 3 months ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆66Updated 3 years ago
• google / kmsan
  KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel
  ☆417Updated 7 months ago
• KernelTestFramework / ktf
  Kernel Test Framework
  ☆149Updated 9 months ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆33Updated 8 years ago
• patchew-project / patchew
  A patch email tracking and testing system
  ☆76Updated last year
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• intel / ccc-linux-guest-hardening
  Linux Security Hardening for Confidential Compute
  ☆68Updated last year
• ClangBuiltLinux / continuous-integration
  Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools
  ☆45Updated 4 years ago
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆143Updated 5 years ago
• intel / lkp-tests
  Linux Kernel Performance tests
  ☆290Updated this week