Pinned Loading

1. csmock csmock Public

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

   Python 25 20

2. csdiff csdiff Public

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

   C++ 23 16

3. cscppc cscppc Public

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

   C 10 3

4. cswrap cswrap Public

   Generic Compiler Wrapper

   C 6 2