Symbolische Uitvoering
Symbolische uitvoering is een techniek voor programmanalyse die programma's uitvoert met behulp van symbolische (niet-concrete) waarden in plaats van werkelijke invoer, en volgt hoe symbolische waarden door het programma stromen. Geïntroduceerd door James C. King in 1976, bouwt symbolische uitvoering wiskundige beperkingen op programma variabelen en kan het bepalen welke invoer specifieke programma gedragingen veroorzaakt, waardoor automatische testgeneratie en detectie van kwetsbaarheden mogelijk wordt. Moderne symbolische uitvoeringstools zoals KLEE, S2E en Z3 zijn krachtige instrumenten geworden voor het vinden van subtiele bugs en beveiligingskwetsbaarheden.
Lees de volledige methode
Log in met een gratis account om dit onderdeel te lezen.
Methodenkaart
De omgeving van verwante methoden — selecteer een knooppunt om te verkennen.
Bronnen
- 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 ↗
Deze pagina citeren
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/nl/cryptography/symbolic-execution
Welke methode?
Plaats deze methode naast haar naaste verwanten en lees ze naast elkaar — de bibliotheek legt de boeken op tafel; de keuze is aan u.
- FuzzingCryptografie↔ vergelijken
- Statische ApplicatiebeveiligingstestsCryptografie↔ vergelijken
- TaintanalyseCryptografie↔ vergelijken
Geciteerd door
Een fout op deze pagina gezien? Meld het of stel een correctie voor →