{"id":"arxiv/2609.07492","url":"https://arxiv.org/abs/2609.07492","tags":["cs.SE","math.NA"],"score":0,"title":"FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection","domain":"cs.SE","source":"arxiv","authors":["Julien Bortolussi","Dorra Ben Khalifa","Pierre-Loïc Garoche"],"reviews":0,"subject":"cs.SE","summary":"Writing error-free floating-point programs is a challenging task, especially for programmers who lack a strong background in numerical analysis and rounding-error propagation. State-of-the-art techniques typically aim to bound such errors using static or dynamic analysis. However, only a few tools explicitly address critical floating-point pitfalls such as absorption and catastrophic cancellation. These anomalies represent situations in which rounding errors are significantly amplified, causing the semantics of the finite-precision computation to deviate substantially from the real-number…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-07","reactions":{}}