For classic symbolic execution, how can I handle the symbol table in different paths. Shall I store the symbol table in each conditional statement and reload it when I need it in another paths?
classic symbolic execution
symbol table
Aucun commentaire:
Enregistrer un commentaire