symbolic execution: wykonywanie symboliczne

> Dodaj do ulubionych
Technika analizy kodu programu polegająca na symulowaniu wykonywania programu przy użyciu nazw symbolicznych zamiast rzeczywistych wartości.

Dodaj komentarz

dwadzieścia − 17 =