Skip to content
Pintool framework for shadow value analysis of floating-point code
Shell C++ C Makefile
Branch: master
Clone or download
Pull request Compare This branch is 2 commits ahead, 46 commits behind crafthpc:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

Instruction Error Analysis using SHVAL

This repo is a fork of that performs:

  • Error evolution analysis per memory location.
  • Error evolution analysis per instruction.
  • Isolating error caused by functions.

Note: This fork disables MPFR shadow value analysis.


Currently this project only works on x86_64 Linux.


  • Intel Pin 3.2 (Tested version: 81205)

    Set the PIN_ROOT variable in the ./ script.

    Copy pin_isa.H to PIN_ROOT/source/include/pin/

To build all tools, use the ./ command in the tools directory. To run a tool, use a command similar to the following:

pin -t /path/to/obj-intel64/ -- /path/to/app

This assumes that the pin wrapper is in your PATH. Application parameters can be included at the end if necessary. In addition, most tools provide various command-line options to customize their runtime behavior. To see descriptions of each tool's options, run the tool without an app. These options must be specified after the tool library but before the -- separator.


SHVAL was originally written by Michael O. Lam, This fork is written by Ramy Medhat,

You can’t perform that action at this time.