Символьне виконання
Символьне виконання — це техніка аналізу програм, яка виконує програми, використовуючи символьні (неконкретні) значення замість фактичних вхідних даних, відстежуючи потік символьних значень через програму. Запропоноване Джеймсом К. Кінгом у 1976 році, символьне виконання будує математичні обмеження на змінні програми та може визначати, які вхідні дані спричиняють певну поведінку програми, уможливлюючи автоматичну генерацію тестів та виявлення вразливостей. Сучасні інструменти символьного виконання, такі як KLEE, S2E та Z3, стали потужними засобами для пошуку тонких помилок та вразливостей безпеки.
Читати метод повністю
Увійдіть із безкоштовним обліковим записом, щоб прочитати цей розділ.
Method map
The neighbourhood of related methods — select a node to explore.
Джерела
- 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/uk/cryptography/symbolic-execution
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
- ФаззінгКриптографія↔ compare
- Статичне тестування безпеки додатківКриптографія↔ compare
- Тейнт-аналізКриптографія↔ compare
Згадується в
Помітили помилку на цій сторінці? Повідомте про неї або запропонуйте виправлення →