csutils / csdiffLinks
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆21Updated this week
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☆25Updated last week
- Local DNS caching services configuration daemon.☆12Updated last month
- Collection of GPG keys used in Linux Distributions☆33Updated 3 weeks ago
- A fedora messaging consumer that files bugzilla bugs for upstream releases☆46Updated last month
- Tiny Btrfs maintenance daemon☆23Updated last year
- Tool for checking common errors in rpm packages☆151Updated 2 weeks ago
- Leapp - Application & OS Modernization Framework (For in-place upgrades, follow leapp-repository)☆99Updated last month
- [DEPRECATED] A collection of utilities, plugins and examples related to the YUM package manager☆36Updated last year
- Retired; BLS-only support lives at https://src.fedoraproject.org/rpms/grubby☆31Updated 3 years ago
- OpenScanHub is a service for static and dynamic analysis.☆18Updated 3 weeks ago
- sign daemon and client for remote gpg signing.☆17Updated 3 months ago
- POSIX resolvconf implementation☆76Updated 2 weeks ago
- A python module for configuration of block devices☆110Updated last week
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 5 years ago
- Repository for all documentation written about tools hosted at github.com/containers☆13Updated 2 years ago
- Tool to build a source image based on an existing OCI image☆32Updated 2 months ago
- 8️⃣ systemd source-git for RHEL8☆10Updated 4 months ago
- Mirror of https://salsa.debian.org/agx/git-buildpackage☆100Updated 3 months ago
- ☆29Updated 4 years ago
- A collection of utility scripts to manage images☆11Updated last week
- BeakerLib is a shell-level integration testing library, providing convenience functions which simplify writing, running and analysis of i…☆38Updated 5 months ago
- Platform for collection and analysis of packages and package crashes☆46Updated last year
- Cockpit Continuous Integration and Delivery☆37Updated this week
- This tool is helpful to create rootfs for debian-based distributions with reproducable outputs.☆18Updated 2 years ago
- Upstream Linux Kernel Validation Project API☆40Updated last year
- The legal review and SBOM system used by SUSE and openSUSE☆57Updated 2 weeks ago
- Forwards messages from the journal to other hosts over the network using syslog format RFC 5424 and RFC 3164☆85Updated 3 months ago
- Select authentication and indentity profile to use on the system.☆56Updated this week
- Container build support for Koji buildsystem☆30Updated 3 months ago
- Patch attestation utility☆30Updated 3 weeks ago