csutils / csdiff
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆19Updated last month
Alternatives and similar repositories for csdiff:
Users that are interested in csdiff are comparing it to the libraries listed below
- A tool for static analysis, dynamic analysis, and formal verification of RPM packages☆25Updated 2 months ago
- Cockpit Continuous Integration and Delivery☆36Updated last month
- Tool to build a source image based on an existing OCI image☆30Updated last week
- sign daemon and client for remote gpg signing.☆17Updated 4 months ago
- Collection of GPG keys used in Linux Distributions☆31Updated this week
- ☆40Updated 7 months ago
- A fedora messaging consumer that files bugzilla bugs for upstream releases☆44Updated this week
- Manage an overlay repository of RPMs from upstream git☆22Updated 5 years ago
- Repository for all documentation written about tools hosted at github.com/containers☆12Updated last year
- Various scripts for operating on an OSTree repository☆24Updated 4 years ago
- BeakerLib is a shell-level integration testing library, providing convenience functions which simplify writing, running and analysis of i…☆37Updated 2 months ago
- Compare content of rpm package and find differences inside the files.☆12Updated 5 months ago
- Show information about binary and source packages in multiple (independent) apt-repositories utilizing libapt / python-apt/ apt_pkg witho…☆15Updated 2 years ago
- Salt Toaster: An ultimate test suite for Salt☆24Updated last year
- oVirt Memory Overcommitment Manager, a tool for managing overcommitment on KVM hosts.☆20Updated 2 months ago
- 8️⃣ systemd source-git for RHEL8☆10Updated last month
- This tool is helpful to create rootfs for debian-based distributions with reproducable outputs.☆18Updated 2 years ago
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 4 years ago
- ☆25Updated 3 years ago
- discover information about upstream projects☆14Updated this week
- Container build support for Koji buildsystem☆30Updated last year
- A modern, cloud native SCAP scanner.☆20Updated 2 years ago
- The International FOSS Law Book, v.2 and onwards☆13Updated 3 years ago
- Platform for making incremental changes to code in VCSes☆10Updated this week
- XMLStarlet Toolkit: Python CFFI bindings☆15Updated last year
- [DEPRECATED] A collection of utilities, plugins and examples related to the YUM package manager☆35Updated 7 months ago
- client for OpenShift Build Service☆39Updated last month
- Tools that work directly on Gluster volumes, inspired by the standard coreutils.☆10Updated last year
- NOTE: moved to microdnf; previously: minimal implementation of yum -y install in C using libhif☆11Updated 8 years ago
- Orthos is a machine administration tool.☆14Updated last month