Formale Methoden im Reverse Engineering - Zynamics

zynamics.com

Formale Methoden im Reverse Engineering - Zynamics

Zu analysierender Code wird in gerichteten

Graph zerlegt

Knoten enthalten einzelne Werteübergänge

Kanten beschreiben möglichen

Programmablauf zwischen Werteübergängen

Weitere Magazine dieses Users
Ähnliche Magazine