Oct 2, 2024 · Static analysis techniques such as symbolic execution are effective in detecting general bugs which often cause memory error or program crash.
Apr 17, 2024 · Static analysis techniques such as symbolic execution are effective in detecting general bugs which often cause memory error or program crash.
Missing: exceptions. | Show results with:exceptions.
Oct 4, 2024 · This paper introduces a precision and range independent tool for testing the compliance of hardware or software implementations of ...
This paper introduces GPU-FPX, a tool that has low overhead, allows for deep understanding of the origin and flow of exceptions, and also how exceptions are ...
Symbolic testing of floating-point bugs and exceptions. https://doi.org/10.1016/j.jss.2024.112226 ·. Journal: Journal of Systems and Software, 2025, p. 112226.
Ariadne [13] adapts symbolic execution to detect floating-point exceptions. It uses a real arithmetic solver to solve floating-point constraints, however, com-.
This version of the tool exploits an essential filtering property based on the representation of floating-point numbers that makes it suitable to generate path- ...
在本文中，我们提出了一种新的分析框架YUSE，它可以通过构建约束和探索包含浮点表达式的路径来检测浮点错误。具体来说，我们在非关系数值抽象域中引入了区间计算和区间约束 ...
Symbolic testing of floating-point bugs and exceptions. Dongyu Ma. Zeyu Liang. Luming Yin. Hongliang Liang. SID: avCzxpei. DOI: 10.1016/j.jss.2024.112226 ...
This paper proposes to accelerate symbolic execution for floating-point exception detection, using value-range analysis. Our insight is that floating-point ...