Skip to content

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

License

Notifications You must be signed in to change notification settings

jperezdealgaba/csmock

 
 

Repository files navigation

csmock
======
csmock is a tool for scanning SRPMs by Static Analysis tools in a fully
automated way.  You can find the up2date sources in the following repository:

    https://github.com/csutils/csmock

csmock is licensed under GPLv3+, see COPYING for details.  Please report bugs
and feature requests on GitHub using the above URL.


Dependences
-----------
    * csdiff (non-interactive tools for processing scan results in plain-text)

    * cswrap (generic compiler wrapper that captures diagnostic messages)

    * mock (chroot-based tool for building RPMs)


RPM-based Installation
----------------------
    ./make-srpm.sh

    rpmbuild --rebuild ./csmock-*.src.rpm

    sudo dnf install ...


Documentation
-------------
See the 'csmock(1)' man page for the usage of csmock itself.  The output
of 'csmock --help' additionally includes the command-line options handled
by csmock plug-ins.  A higher-level description can be found in the Flock
2014 presentation about csmock:

    https://kdudka.fedorapeople.org/static-analysis-flock2014.pdf

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 83.2%
  • Shell 13.9%
  • CMake 2.4%
  • Makefile 0.5%