Symbolic execution is a powerful technique used in the field of cybersecurity for analyzing the security of computer systems. It involves executing a program with symbolic inputs rather than concrete values, allowing for the exploration of different execution paths and the generation of test cases that can reveal vulnerabilities. However, when it comes to floating-point