LLNL / FPChecker Star 29 Code Issues Pull requests A dynamic analysis tool to detect floating-point errors in HPC applications. llvm cuda overflow clang exceptions floating-point infinity cancellation overflow-detection floating-point-arithmetic underflow-detection Updated Sep 19, 2022 Python
keithpl / checked-int Star 2 Code Issues Pull requests A small single-header library to detect integer overflow/underflow before it happens. c overflow integer overflow-detection underflow underflow-detection Updated Jun 30, 2023 C
Anala-Keshava / Realization-of-Saturation-Logic-in-DSPA Star 1 Code Issues Pull requests mac verilog signed overflow-detection dspa saturationlogic underflow-detection Updated Nov 8, 2019 Verilog