Wykonanie Symboliczne
Wykonanie symboliczne to technika analizy programów, która wykonuje programy, używając wartości symbolicznych (niekonkretnych) zamiast rzeczywistych danych wejściowych, śledząc, jak wartości symboliczne przepływają przez program. Wprowadzona przez Jamesa C. Kinga w 1976 roku, technika wykonania symbolicznego buduje matematyczne ograniczenia na zmiennych programu i może określić, które dane wejściowe powodują specyficzne zachowania programu, umożliwiając automatyczne generowanie testów i wykrywanie luk w zabezpieczeniach. Nowoczesne narzędzia do wykonania symbolicznego, takie jak KLEE, S2E i Z3, stały się potężnymi instrumentami do znajdowania subtelnych błędów i luk bezpieczeństwa.
Przeczytaj pełny opis metody
Zaloguj się na bezpłatne konto, aby przeczytać tę sekcję.
Mapa metod
Sąsiedztwo pokrewnych metod — wybierz węzeł, aby je zgłębić.
Źródła
- King, J. C. (1976). Symbolic execution and program testing. Communications of the ACM, 19(7), 385-394. DOI: 10.1145/360248.360252 ↗
- Cadar, C., & Sen, K. (2013). Symbolic execution for software testing: Three decades later. Communications of the ACM, 56(2), 82-90. DOI: 10.1145/2408776.2408795 ↗
Jak cytować tę stronę
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/pl/cryptography/symbolic-execution
Która metoda?
Zestaw tę metodę z najbliższymi jej krewnymi i czytaj je obok siebie — biblioteka kładzie księgi na stole; wybór należy do Ciebie.
- FuzzingKryptografia↔ porównaj
- Statyczne testowanie bezpieczeństwa aplikacjiKryptografia↔ porównaj
- Analiza skażeniaKryptografia↔ porównaj
Cytowana przez
Widzisz błąd na tej stronie? Zgłoś go lub zaproponuj poprawkę →