Telecharger Cours

Outils pour l'analyse de code et de contre-mesures pour l'injection ...

KLEE [92]. KLEE copies the present state N times, when a pointer p indirectly refers to N objects, and in each state, it im- plements proper read or write ...



Download