Symbolic execution is a powerful technique used in the field of cybersecurity for security analysis of computer systems. It differs from ordinary testing or fuzzing by its ability to systematically explore the different execution paths of a program, considering all possible inputs and their symbolic representations. This approach allows for a deeper understanding of the