csutils

  • csmock Public

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

    csutils/csmock’s past year of commit activity

    Python

    26

    GPL-3.0

    20 8 1

    Updated Mar 9, 2026

  • csdiff Public

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

    csutils/csdiff’s past year of commit activity

    C++

    24

    GPL-3.0

    17 12 1

    Updated Mar 3, 2026

  • cscppc Public

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

    csutils/cscppc’s past year of commit activity

    C

    10

    GPL-3.0

    3 0 0

    Updated Dec 2, 2025

  • cswrap Public

    Generic Compiler Wrapper

    csutils/cswrap’s past year of commit activity

    C

    6

    GPL-3.0

    2 0 0

    Updated Nov 21, 2025