Symbolic Execution
Symbolic execution je technika analýzy programů, která provádí programy s použitím symbolických (nekonkrétních) hodnot namísto skutečných vstupů a sleduje tok symbolických hodnot programem. Tato technika, představená Jamesem C. Kingem v roce 1976, buduje matematické omezení na proměnné programu a dokáže určit, které vstupy způsobují specifické chování programů, což umožňuje automatické generování testů a detekci zranitelností. Moderní nástroje pro symbolickou exekuci, jako KLEE, S2E a Z3, se staly mocnými nástroji pro nacházení subtilních chyb a bezpečnostních zranitelností.
Přečíst celou metodu
Pro přečtení této sekce se přihlaste s bezplatným účtem.
Mapa metod
Okolí příbuzných metod — vyberte uzel, který chcete prozkoumat.
Zdroje
- 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 citovat tuto stránku
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/cs/cryptography/symbolic-execution
Která metoda?
Postavte tuto metodu vedle jejích nejbližších příbuzných a čtěte je vedle sebe — knihovna položí knihy na stůl; volba je na vás.
- FuzzingKryptografie↔ porovnat
- Statická analýza bezpečnosti aplikacíKryptografie↔ porovnat
- Analýza znečištění datKryptografie↔ porovnat
Odkazuje sem
Našli jste na této stránce chybu? Nahlaste ji nebo navrhněte opravu →