Dear all， This exception occurred in the course of runinng slovers: Program received signal SIGFPE: Floating-point exception - erroneous arithmetic operation. Backtrace for this error: Program ...

Symbolic execution is a classic program analysis technique which uses symbolic inputs to explore feasible program paths. It has been widely used in bug detection and test case generation. However, ...