方法证据记录
Symbolic Execution
Symbolic execution is a program analysis technique that executes programs using symbolic (non-concrete) values instead of actual inputs, tracking how symbolic values flow through the program. Introduced by James C. King in 1976, symbolic execution builds mathematical constraints on program variables and can determine which inputs cause specific program behaviors, enabling automatic test generation and vulnerability detection. Modern symbolic execution tools like KLEE, S2E, and Z3 have become powerful instruments for finding subtle bugs and security vulnerabilities.
源记录
引文逐字复制自方法源记录。这些引文不代表任何层级的验证。
Symbolic Execution
分类方法记录 · ml-model / cryptography
- 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
精选声明
声明已持久化到证据分类账中，每个声明都有自己的评估。
尚无精选声明
当分类账中没有声明时，此视图不会自行创建声明评估。
相关方法
从方法图中生成，显示为机器建议的关系 — 不推断任何证据声明。