Skip to content
/ csmock Public

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

License

Notifications You must be signed in to change notification settings

csutils/csmock

Folders and files

NameName
Last commit message
Last commit date
Oct 2, 2023
Dec 18, 2023
Nov 15, 2019
Oct 2, 2023
Jul 18, 2024
Jul 16, 2024
May 17, 2024
Dec 17, 2014
Jul 16, 2024
Nov 16, 2023
Oct 27, 2022
Feb 4, 2014
Dec 17, 2014
Aug 31, 2021
Jul 16, 2024
May 27, 2024
Aug 31, 2021

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