We use FPdebug [1]} as a tool to analysis floating-point accuracy in program dynamically.
Fpdebug uses binary translation to perform every floating-point computation
side by side in higher precision.
Furthermore, it uses a lightweight slicing approach to track the evolution of errors.
