Pinned Loading

1. csutils/csdiff csutils/csdiff Public

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

   C++ 16 16

2. csutils/csmock csutils/csmock Public

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

   Python 23 20

3. csutils/cswrap csutils/cswrap Public

   Generic Compiler Wrapper

   C 6 2

4. csutils/cscppc csutils/cscppc Public

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

   C 8 3

5. predator predator Public

   A Shape Analyzer Based on Symbolic Memory Graphs

   C 71 21

6. openscanhub/openscanhub openscanhub/openscanhub Public

   OpenScanHub is a service for static and dynamic analysis.

   Python 15 10