Skip to content
@csutils

csutils

Code Scanning Utilities

Pinned

  1. csmock csmock Public

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

    Python 22 19

  2. csdiff csdiff Public

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

    C++ 15 16

  3. cscppc cscppc Public

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

    C 6 3

  4. cswrap cswrap Public

    Generic Compiler Wrapper

    C 5 2

Repositories

Showing 4 of 4 repositories
  • csdiff Public

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

    C++ 15 GPL-3.0 16 10 2 Updated May 3, 2024
  • csmock Public

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

    Python 22 GPL-3.0 19 8 1 Updated May 3, 2024
  • cscppc Public

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

    C 6 GPL-3.0 3 0 0 Updated Nov 1, 2023
  • cswrap Public

    Generic Compiler Wrapper

    C 5 GPL-3.0 2 0 0 Updated Oct 3, 2023

Top languages

Loading…

Most used topics

Loading…