csutils / csmock
A tool for static analysis, dynamic analysis, and formal verification of RPM packages
☆25Updated 2 weeks ago
Alternatives and similar repositories for csmock:
Users that are interested in csmock are comparing it to the libraries listed below
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆57Updated this week
- Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools☆19Updated 3 weeks ago
- A fedora messaging consumer that files bugzilla bugs for upstream releases☆45Updated last month
- Flexible Metadata Format☆24Updated 2 weeks ago
- Cockpit Continuous Integration and Delivery☆36Updated last week
- ☆24Updated 2 years ago
- Various scripts for operating on an OSTree repository☆26Updated 4 years ago
- Module Building in a Box☆18Updated 2 years ago
- ☆40Updated 9 months ago
- Generic Health Checking Framework for systemd☆108Updated last week
- Configuration files for Feedback Pipeline☆22Updated this week
- 8️⃣ systemd source-git for RHEL8☆10Updated 2 weeks ago
- Container build support for Koji buildsystem☆30Updated last year
- ☆25Updated last year
- Middleware service for console.redhat.com, between osbuild/image-builder-frontend and osbuild/osbuild-composer.☆54Updated this week
- OpenScanHub is a service for static and dynamic analysis.☆17Updated 2 weeks ago
- Enhanced config file parser, which merges config files placed in several locations into one.☆83Updated 2 months ago
- Tool to update fedora packages branches☆23Updated 2 weeks ago
- A library for parsing and manipulating RPM spec files☆26Updated this week
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 4 years ago
- C Library for manipulating module metadata files☆31Updated 2 months ago
- Repository for all documentation written about tools hosted at github.com/containers☆13Updated last year
- Orthos is a machine administration tool.☆14Updated 2 weeks ago
- Platform for collection and analysis of packages and package crashes☆46Updated 11 months ago
- Ansible modules to manage Koji resources☆24Updated 3 months ago
- Ansible roles for the Performance Co-Pilot toolkit☆20Updated last month
- Packit provided as a service☆39Updated this week
- The Butane Python Toolkit☆13Updated last year
- Tool to build a source image based on an existing OCI image☆30Updated last month