Lazy initialization enables symbolic execution for programs with heap-allocated inputs. It
starts the program execution with a symbolic heap and concretizes it on demand as the …