kdudka Goto Github PK

ast

This is the AT&T Software Technology ast software download site from AT&T Research. The AT&T AST OpenSource Software Collection provides an overview and Practical Reusable UNIX Software provides a historical perspective. You can join the ast and uwin mailgroups, or monitor the mail archives. There is also an AT&T internal talk. The man page index contains most of the ast commands and library functions; command man pages are also available at runtime using the --man or --html option of any ast command.

aufover-benchmark

Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.

cbmc-utils

Output conversion utilities for CBMC

chrony

Mirror of git.tuxfamily.org/gitroot/chrony/chrony.git

compiz-reloaded-overlay

content-resolver-input

Configuration files for Feedback Pipeline

cppcheck

static analysis of C/C++ code

csbuild-deb

packaging of csbuild for Ubuntu LTS

cscppc

A compiler wrapper that runs Cppcheck/Clang in background

csdiff

CLI tools for processing code scan results in plain-text

csigsafe

GCC plug-in, which detects bugs in signal handlers

csmock

A mock wrapper for Static Analysis tools

cswrap

Generic Compiler Wrapper

curl

experimental csbuild-based continuous integration for curl

db-rpm-config

Scripts/RPM macros that help with DB maintenance

elinks

Fork of elinks

fss

Fast SAT Solver

kconfig

KConfig

kobo

A pile of python modules used by Red Hat release engineering to build their tools.

librepo

A library providing C and Python (libcURL like) API for downloading packages and linux repository metadata in rpm-md format

libssh2

the SSH library

logging-vector

Experimenting with trying to rebuild ViaQ/vector

logrotate

The logrotate utility is designed to simplify the administration of log files on a system which generates a lot of log files.

mock

Mock is a tool for a reproducible build of RPM packages.

modulemd-tools

A tool to take a yum repo and turn it into a Fedora module stream

nghttp2

nghttp2 - HTTP/2 C Library

nss-pem

PEM file reader for Network Security Services (NSS), implemented as a PKCS#11 module

openscanhub

OpenScanHub is a service for static and dynamic analysis.

pigz

A parallel implementation of gzip for modern multi-processor, multi-core machines.

predator

A Shape Analyzer Based on Symbolic Memory Graphs