Символно изпълнение
Символното изпълнение е техника за анализ на програми, която изпълнява програми, използвайки символни (неконкретни) стойности вместо действителни входни данни, проследявайки как символни стойности протичат през програмата. Въведено от Джеймс К. Кинг през 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/bg/cryptography/symbolic-execution
Кой метод?
Поставете този метод до най-близките му сродни методи и ги четете едно до друго — библиотеката полага книгите на масата; изборът е ваш.
- FuzzingКриптография↔ сравняване
- Статичен анализ на сигурността на приложениятаКриптография↔ сравняване
- Анализ на замърсяванеКриптография↔ сравняване
Цитиран в
Забелязахте ли проблем на тази страница? Съобщете или предложете поправка →