Giters
csutils

csutils

Geek Repo

Code Scanning Utilities

Github PK Tool:Github PK Tool

csutils's repositories

csmock

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

Language:PythonLicense:GPL-3.0Stargazers:23Issues:5Issues:20

csdiff

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

Language:C++License:GPL-3.0Stargazers:16Issues:6Issues:39

cscppc

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

Language:CLicense:GPL-3.0Stargazers:8Issues:3Issues:1

cswrap

Generic Compiler Wrapper

Language:CLicense:GPL-3.0Stargazers:6Issues:3Issues:0