Symbolic execution is not straightforward when floating point arithmetic is involved. KLEE-float is a good tool to combat this problem.
-
Updated
Mar 2, 2023 - C
Symbolic execution is not straightforward when floating point arithmetic is involved. KLEE-float is a good tool to combat this problem.
Add a description, image, and links to the klee-float topic page so that developers can more easily learn about it.
To associate your repository with the klee-float topic, visit your repo's landing page and select "manage topics."