csutils

Code Scanning Utilities

Pinned Repositories

cscppc
A compiler wrapper that runs Clang Analyzer, Cppcheck, GCC Analyzer or Smatch in the background
Language:C8 3 13
csdiff
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
Language:C++16 6 4216
csmock
A tool for static analysis, dynamic analysis, and formal verification of RPM packages
Language:Python23 5 2020
cswrap
Generic Compiler Wrapper
Language:C6 3 02

csutils's Repositories

csutils/csmock
A tool for static analysis, dynamic analysis, and formal verification of RPM packages
Language:Python23 5 2020
csutils/csdiff
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
Language:C++16 6 4216
csutils/cscppc
A compiler wrapper that runs Clang Analyzer, Cppcheck, GCC Analyzer or Smatch in the background
Language:C8 3 13
csutils/cswrap
Generic Compiler Wrapper
Language:C6 3 02