csutils / csdiff
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆19Updated this week
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 this week
- Collection of GPG keys used in Linux Distributions☆32Updated last week
- manage reproducible build environments☆18Updated this week
- A fedora messaging consumer that files bugzilla bugs for upstream releases☆44Updated 3 weeks ago
- sign daemon and client for remote gpg signing.☆17Updated 5 months ago
- Cockpit Continuous Integration and Delivery☆36Updated last week
- Repository for all documentation written about tools hosted at github.com/containers☆13Updated last year
- Builder used to construct Garden Linux. Re-usable for other OS-projects.☆12Updated 2 weeks ago
- Various scripts for operating on an OSTree repository☆26Updated 4 years ago
- Tool to build a source image based on an existing OCI image☆30Updated 2 weeks ago
- 8️⃣ systemd source-git for RHEL8☆10Updated 3 weeks ago
- ☆12Updated last year
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 4 years ago
- Shortnames project is collecting registry alias names for shortnames to fully specified container image names.☆72Updated 2 weeks ago
- A non-official clone of git-annex established for DataLad purposes. No PRs will be merged, but could be used to test perspective git-anne…☆21Updated this week
- Tiny Btrfs maintenance daemon☆21Updated 7 months ago
- Flexible Metadata Format☆24Updated this week
- Manage an overlay repository of RPMs from upstream git☆22Updated 5 years ago
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆57Updated 2 months ago
- Common filesystem assertions for Bats☆43Updated last month
- 🐚 GitHub Action for running ShellCheck differentially☆59Updated this week
- Select authentication and indentity profile to use on the system.☆52Updated 2 weeks ago
- Service to sync upstream Tickets/PR's with downstream JIRA tickets!☆14Updated this week
- Show information about binary and source packages in multiple (independent) apt-repositories utilizing libapt / python-apt/ apt_pkg witho…☆15Updated 2 years ago
- The Unreproducible Package☆62Updated this week
- A pubsubhubbub application that rebroadcasts github events on the fedmsg bus☆19Updated last year
- oVirt Memory Overcommitment Manager, a tool for managing overcommitment on KVM hosts.☆20Updated 3 months ago
- This tool is helpful to create rootfs for debian-based distributions with reproducable outputs.☆18Updated 2 years ago
- Distribution oriented templating system☆18Updated last month