Pinned Repositories
cscppc
A compiler wrapper that runs Clang Analyzer, Cppcheck, GCC Analyzer or Smatch in the background
csdiff
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
csmock
A tool for static analysis, dynamic analysis, and formal verification of RPM packages
cswrap
Generic Compiler Wrapper
csutils's Repositories
csutils/csmock
A tool for static analysis, dynamic analysis, and formal verification of RPM packages
csutils/csdiff
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
csutils/cscppc
A compiler wrapper that runs Clang Analyzer, Cppcheck, GCC Analyzer or Smatch in the background
csutils/cswrap
Generic Compiler Wrapper