Символьное исполнение
Символьное исполнение — это метод анализа программ, который выполняет программы, используя символьные (неконкретные) значения вместо фактических входных данных, отслеживая, как символьные значения проходят через программу. Введенное Джеймсом Кингом в 1976 году, символьное исполнение строит математические ограничения на переменные программы и может определять, какие входные данные вызывают конкретное поведение программы, что позволяет автоматически генерировать тесты и обнаруживать уязвимости. Современные инструменты символьного исполнения, такие как KLEE, S2E и Z3, стали мощными средствами для поиска скрытых ошибок и уязвимостей безопасности.
Читать метод полностью
Войдите с бесплатным аккаунтом, чтобы прочитать этот раздел.
Карта метода
Окружение родственных методов — выберите узел, чтобы перейти к нему.
Источники
- 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 ↗
Как цитировать эту страницу
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/ru/cryptography/symbolic-execution
Какой метод?
Поставьте этот метод рядом с ближайшими родственными и прочитайте их бок о бок — библиотека выкладывает книги на стол, а выбор за вами.
- ФаззингКриптография↔ сравнить
- Статическое тестирование безопасности приложенийКриптография↔ сравнить
- Тейнт-анализКриптография↔ сравнить
Упоминается в
Нашли ошибку на этой странице? Сообщите о ней или предложите исправление →