csutils / csdiffLinks
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆23Updated 3 weeks ago
Alternatives and similar repositories for csdiff
Users that are interested in csdiff are comparing it to the libraries listed below
Sorting:
- Local DNS caching services configuration daemon.☆16Updated last week
- A tool for static analysis, dynamic analysis, and formal verification of RPM packages☆25Updated 3 weeks ago
- Leapp - Application & OS Modernization Framework (For in-place upgrades, follow leapp-repository)☆102Updated last month
- The legal review and SBOM system used by SUSE and openSUSE☆61Updated 2 weeks ago
- Tool for checking common errors in rpm packages☆160Updated 2 weeks ago
- POSIX resolvconf implementation☆78Updated last week
- RPM build system - upstream for https://copr.fedorainfracloud.org/☆149Updated 2 weeks ago
- BeakerLib is a shell-level integration testing library, providing convenience functions which simplify writing, running and analysis of i…☆38Updated 3 weeks ago
- Select authentication and indentity profile to use on the system.☆61Updated last month
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆59Updated last month
- A python module for configuration of block devices☆113Updated 3 weeks ago
- Smemstat reports the physical memory usage taking into consideration shared memory. The tool can either report a current snapshot of memo…☆32Updated last year
- Flexible Metadata Format☆29Updated 6 months ago
- A tool for visualizing changes in Linux software packages☆251Updated 11 months ago
- Forwards messages from the journal to other hosts over the network using syslog format RFC 5424 and RFC 3164☆89Updated 3 weeks ago
- Mirror of https://salsa.debian.org/agx/git-buildpackage☆100Updated 2 weeks ago
- Build deb packages from rpm specifications☆64Updated last week
- Verify backward compatibility of Linux packages (RPM or DEB)☆22Updated 5 years ago
- Shortnames project is collecting registry alias names for shortnames to fully specified container image names.☆83Updated 4 months ago
- ☆43Updated last year
- Tool to build a source image based on an existing OCI image☆31Updated 3 weeks ago
- CLI for the Stratis project☆109Updated last week
- 🐚 GitHub Action for running ShellCheck differentially☆62Updated this week
- Cockpit Continuous Integration and Delivery☆40Updated this week
- A library providing C and Python (libcURL like) API for downloading packages and linux repository metadata in rpm-md format☆82Updated 3 weeks ago
- [DEPRECATED] A collection of utilities, plugins and examples related to the YUM package manager☆36Updated last year
- A fedora messaging consumer that files bugzilla bugs for upstream releases☆46Updated 2 weeks ago
- Repository for all documentation written about tools hosted at github.com/containers☆13Updated 2 years ago
- Collection of GPG keys used in Linux Distributions☆36Updated last week
- Platform for collection and analysis of packages and package crashes☆46Updated last year