shval | Pintool framework for shadow value analysis

shval is a C++ library. shval has no bugs, it has no vulnerabilities and it has low support. However shval has a Non-SPDX License. You can download it from GitHub.

Real-valued arithmetic is crucial to the performance and accuracy of scientific computation. Although IEEE 64-bit floating-point is the standard representation, many developers are investigating the possibility of using either lower precision (for better performance) or higher precision (for more accuracy). However, exploring alternative representations often requires significant code revision. This Pintool simulates execution with alternative real number implementations at the binary level. The tool supports x86_64 programs and a variety of alternative implementations, including IEEE single (32-bit) precision and arbitrary precision using the GNU MPFR library. It also supports tracing execution and generating a digraph of computation, optionally with the difference between single- and double-precision calculated at each operation.