symbolic execution: wykonywanie symboliczne
Technika analizy kodu programu polegająca na symulowaniu wykonywania programu przy użyciu nazw symbolicznych zamiast rzeczywistych wartości.
Podoba Ci się ta strona?
Pomóż nam się rozwijać, wykupując płatne konto. Dzięki temu będziemy mogli tworzyć dla Ciebie jeszcze więcej ciekawych treści, a Ty pozbędziesz się reklam.