BinFPE: Detecting floating-point exceptions in NVIDIA GPU applications.
about
BinFPE is a tool that detects floating-point exceptions (NaN, infinity, and subnormal quantities) in NVIDIA GPU applications using binary instrumentation. It requires no re-compilation of the application and can analyze libraries. The tool extends NVBit, which is provided by NVIDIA Labs to analyze binaries. We provide a patch to NVBit to build BinFPE.
source code github.com/LLNL/BinFPE
FLiT: Floating-Point Litmus Tester - reproducibility testing framework
about
FLiT is a reproducibility testing framework for floating-point algorithms under different compilers and optimizations
source code github.com/PRUNERS/FLiT
Herbie: Automatically Improving Accuracy for Floating Point Expressions
about
Herbie detects inaccurate expressions and finds more accurate replacements.
website herbie.uwplse.org/
SATIRE: Scalable Abstraction-guided Technique for Incremental Rigorous analysis of round-off Errors
about
Satire is a first order error analysis tool for obtaining rigorous bounds on worst case floating point round-off errors. It works on straight line floating-point programs.
source code github.com/arnabd88/Satire
SEESAW: Scalable Error Analysis of Conditional Floating Point Programs
about
Seesaw similar to its predecessor Satire is a first order error analysis tool for obtaining rigorous bounds on worst case floating point round-off errors. But unlike Satire, Seesaw works on floating-point programs WITH conditions.
source code github.com/arnabd88/Seesaw
FPChecker: Detecting Floating-point Exceptions in GPU Applications
about
FPChecker is a dynamic analysis tool to detect floating-point errors in HPC applications.
website fpchecker.org/
source code github.com/LLNL/FPChecker