csutils / csmock
A tool for static analysis, dynamic analysis, and formal verification of RPM packages
☆23Updated last week
Related projects ⓘ
Alternatives and complementary repositories for csmock
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆57Updated last week
- A fedora messaging consumer that files bugzilla bugs for upstream releases☆43Updated 3 weeks ago
- ☆24Updated 2 years ago
- Cockpit Continuous Integration and Delivery☆36Updated last month
- Container build support for Koji buildsystem☆29Updated last year
- Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools☆19Updated last week
- Module Building in a Box☆18Updated 2 years ago
- C Library for manipulating module metadata files☆31Updated 6 months ago
- Various scripts for operating on an OSTree repository☆24Updated 3 years ago
- Configuration files for Feedback Pipeline☆22Updated this week
- A library for parsing and manipulating RPM spec files☆25Updated this week
- 8️⃣ systemd source-git for RHEL8☆10Updated this week
- Generic Health Checking Framework for systemd☆101Updated this week
- Build deb packages from rpm specifications☆57Updated last week
- ☆40Updated 5 months ago
- Repository for all documentation written about tools hosted at github.com/containers☆12Updated last year
- This tool helps you rebase your package to the latest version☆42Updated 3 months ago
- Orthos is a machine administration tool.☆14Updated 2 months ago
- A userspace fake of "sudo"☆20Updated 3 years ago
- Tools to manage the Linux NetLabel subsystem☆26Updated last year
- Select authentication and indentity profile to use on the system.☆47Updated 3 months ago
- ☆25Updated last year
- Image Builder service for console.redhat.com☆50Updated this week
- Ansible modules to manage Koji resources☆24Updated last year
- BeakerLib is a shell-level integration testing library, providing convenience functions which simplify writing, running and analysis of i…☆37Updated this week
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 4 years ago
- A python module for configuration of block devices☆106Updated this week
- A library for sending AMQP messages with JSON schema in Fedora infrastructure☆55Updated this week
- Tool to build a source image based on an existing OCI image☆29Updated last week
- Enhanced config file parser, which merges config files placed in several locations into one.☆82Updated last month