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:22Issues:5Issues:20

csdiff

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

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

cscppc

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

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

cswrap

Generic Compiler Wrapper

Language:CLicense:GPL-3.0Stargazers:5Issues:2Issues:0