| Name: | csexec |
|---|---|
| Version: | 2.0.1 |
| Release: | 1.el8 |
| Architecture: | x86_64 |
| Group: | Unspecified |
| Size: | 1016066 |
| License: | GPLv3+ |
| RPM: | csexec-2.0.1-1.el8.x86_64.rpm |
| Source RPM: | cswrap-2.0.1-1.el8.src.rpm |
| Build Date: | Wed Sep 08 2021 |
| Build Host: | localhost.localdomain |
| Vendor: | Oracle America |
| URL: | https://github.com/csutils/cswrap |
| Summary: | Dynamic linker wrapper |
| Description: | This package contains csexec - a dynamic linker wrapper. The wrapper can be used to run dynamic analyzers and formal verifiers on source RPM package fully automatically. |