GitHub repository: vmihalko/csmock
Description: A tool for static analysis, dynamic analysis, and formal verification of RPM packages