Repositories list

• cswrap

  Public
  Generic Compiler Wrapper

  C

  •

  GNU General Public License v3.0

  •2•6•0•0•Updated Aug 12, 2025Aug 12, 2025

• csdiff

  Public
  Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools

  C++

  •

  GNU General Public License v3.0

  •16•21•11•1•Updated Aug 12, 2025Aug 12, 2025

• cscppc

  Public
  A compiler wrapper that runs Clang Analyzer, Cppcheck, GCC Analyzer or Smatch in the background

  C

  •

  GNU General Public License v3.0

  •3•9•0•0•Updated Aug 12, 2025Aug 12, 2025

• csmock

  Public
  A tool for static analysis, dynamic analysis, and formal verification of RPM packages

  Python

  •

  GNU General Public License v3.0

  •20•25•8•0•Updated Aug 11, 2025Aug 11, 2025