csutils / csdiff
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆19Updated last week
Related projects ⓘ
Alternatives and complementary repositories for csdiff
- A tool for static analysis, dynamic analysis, and formal verification of RPM packages☆23Updated last week
- Tool to build a source image based on an existing OCI image☆29Updated last week
- BeakerLib is a shell-level integration testing library, providing convenience functions which simplify writing, running and analysis of i…☆37Updated this week
- sign daemon and client for remote gpg signing.☆17Updated 2 months ago
- A fedora messaging consumer that files bugzilla bugs for upstream releases☆44Updated this week
- Cockpit Continuous Integration and Delivery☆36Updated last month
- ☆40Updated 5 months ago
- Various scripts for operating on an OSTree repository☆24Updated 3 years ago
- Ansible roles for the Performance Co-Pilot toolkit☆20Updated this week
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆57Updated this week
- Image builder image definition library☆23Updated this week
- 🐚 GitHub Action for running ShellCheck differentially☆54Updated 3 weeks ago
- A modern, cloud native SCAP scanner.☆20Updated 2 years ago
- Collection of GPG keys used in Linux Distributions☆29Updated last week
- Container build support for Koji buildsystem☆29Updated last year
- Orthos is a machine administration tool.☆14Updated 2 months ago
- ☆24Updated 7 months ago
- RegisterMachine Go☆20Updated 6 years ago
- Tool for checking common errors in rpm packages☆135Updated this week
- CI infrastructure for SUSE Manager☆16Updated last week
- Repository for all documentation written about tools hosted at github.com/containers☆12Updated last year
- Storage Instantiation Daemon☆12Updated this week
- ☆24Updated last week
- This tool helps you rebase your package to the latest version☆42Updated 3 months ago
- Build deb packages from rpm specifications☆57Updated last week
- A python package containing functions that help interacting with various versions of Ansible☆21Updated last week
- This repository contains a proof of concept demonstrating block inheritance via CIL namespaces, which allows better container separation☆18Updated 5 years ago
- Manage an overlay repository of RPMs from upstream git☆21Updated 5 years ago
- torcx is a boot-time addon manager for immutable systems☆15Updated 9 months ago
- Select authentication and indentity profile to use on the system.☆47Updated 3 months ago