Skip to content
@csutils

csutils

Code Scanning Utilities

Pinned Loading

  1. csmock Public

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

    Python 24 20

  2. csdiff Public

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

    C++ 19 16

  3. cscppc Public

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

    C 9 3

  4. cswrap Public

    Generic Compiler Wrapper

    C 6 2

Repositories

Showing 4 of 4 repositories
  • csdiff Public

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

    C++ 19 GPL-3.0 16 11 1 Updated Apr 24, 2025
  • csmock Public

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

    Python 24 GPL-3.0 20 9 1 Updated Apr 23, 2025
  • cswrap Public

    Generic Compiler Wrapper

    C 6 GPL-3.0 2 0 1 Updated Apr 3, 2025
  • cscppc Public

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

    C 9 GPL-3.0 3 0 0 Updated Apr 3, 2025

Top languages

C C++ Python