csutils / csdiffLinks
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆20Updated 3 weeks ago
Alternatives and similar repositories for csdiff
Users that are interested in csdiff are comparing it to the libraries listed below
Sorting:
- A tool for static analysis, dynamic analysis, and formal verification of RPM packages☆24Updated this week
- Local DNS caching services configuration daemon.☆12Updated last week
- A fedora messaging consumer that files bugzilla bugs for upstream releases☆45Updated 3 weeks ago
- Various scripts for operating on an OSTree repository☆27Updated 4 years ago
- Repository for all documentation written about tools hosted at github.com/containers☆13Updated 2 years ago
- sign daemon and client for remote gpg signing.☆17Updated last month
- Cockpit Continuous Integration and Delivery☆36Updated this week
- ☆25Updated last year
- Tool to build a source image based on an existing OCI image☆31Updated last month
- Collection of GPG keys used in Linux Distributions☆33Updated this week
- manage reproducible build environments☆18Updated this week
- A python package containing functions that help interacting with various versions of Ansible☆22Updated this week
- [DEPRECATED] A collection of utilities, plugins and examples related to the YUM package manager☆36Updated 11 months ago
- OpenScanHub is a service for static and dynamic analysis.☆18Updated 2 months ago
- Flexible Metadata Format☆26Updated 2 months ago
- Manage an overlay repository of RPMs from upstream git☆22Updated 5 years ago
- RPM build system - upstream for https://copr.fedorainfracloud.org/☆131Updated this week
- 8️⃣ systemd source-git for RHEL8☆10Updated 2 months ago
- 🐚 GitHub Action for running ShellCheck differentially☆58Updated 2 weeks ago
- Tool for checking common errors in rpm packages☆150Updated this week
- ☆41Updated 11 months ago
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 4 years ago
- Container build support for Koji buildsystem☆30Updated 2 months ago
- Middleware service for console.redhat.com, between osbuild/image-builder-frontend and osbuild/osbuild-composer.☆54Updated this week
- Distribution oriented templating system☆19Updated 4 months ago
- BeakerLib is a shell-level integration testing library, providing convenience functions which simplify writing, running and analysis of i…☆38Updated 4 months ago
- NOTE: moved to microdnf; previously: minimal implementation of yum -y install in C using libhif☆11Updated 8 years ago
- Shortnames project is collecting registry alias names for shortnames to fully specified container image names.☆79Updated last week
- Packit provided as a service☆39Updated this week
- A lowest-common-denominator API description for meta-build systems to build individual components☆25Updated last year