| Name: | csexec |
|---|---|
| Version: | 2.2.4 |
| Release: | 1.el8 |
| Architecture: | x86_64 |
| Group: | Unspecified |
| Size: | 950995 |
| License: | GPLv3+ |
| RPM: | csexec-2.2.4-1.el8.x86_64.rpm |
| Source RPM: | cswrap-2.2.4-1.el8.src.rpm |
| Build Date: | Thu Jul 04 2024 |
| Build Host: | build-ol8-x86_64.oracle.com |
| 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. |