| Name: | csexec |
|---|---|
| Version: | 2.2.0 |
| Release: | 1.el7 |
| Architecture: | x86_64 |
| Group: | Development/Tools |
| Size: | 891785 |
| License: | GPLv3+ |
| RPM: | csexec-2.2.0-1.el7.x86_64.rpm |
| Source RPM: | cswrap-2.2.0-1.el7.src.rpm |
| Build Date: | Mon Apr 04 2022 |
| Build Host: | build-ol7-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. |