I am learning about Symbolic execution I have to questions: first, what is the framework of symbolic execution, I mean for example in Genetic Algorithm we have some steps like selection, crossover,... for symbolic execution what are these steps?
Second, I know for solving path conditions we use Constraint Solver, suppose we run a program symbolically and gather constraints, at some point in the middle of program our symbolic execution stuck and we cannot go further, if I am right, at this point we use constraint solver to solve gathered paths. So after then what happen? How we continue executing the program symbolically till end?
Many Thanks for your help
Aucun commentaire:
Enregistrer un commentaire