Thực thi ký hiệu
Thực thi ký hiệu là một kỹ thuật phân tích chương trình thực thi các chương trình bằng cách sử dụng các giá trị ký hiệu (không cụ thể) thay vì các đầu vào thực tế, theo dõi cách các giá trị ký hiệu luân chuyển trong chương trình. Được James C. King giới thiệu vào năm 1976, thực thi ký hiệu xây dựng các ràng buộc toán học trên các biến chương trình và có thể xác định đầu vào nào gây ra các hành vi chương trình cụ thể, cho phép tạo kiểm thử tự động và phát hiện lỗ hổng. Các công cụ thực thi ký hiệu hiện đại như KLEE, S2E và Z3 đã trở thành những công cụ mạnh mẽ để tìm ra các lỗi tinh vi và lỗ hổng bảo mật.
Đọc toàn bộ phương pháp
Đăng nhập bằng tài khoản miễn phí để đọc phần này.
Method map
The neighbourhood of related methods — select a node to explore.
Nguồn tài liệu
- 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 ↗
Cách trích dẫn trang này
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/vi/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.
- FuzzingMật mã học↔ compare
- Kiểm thử bảo mật ứng dụng tĩnhMật mã học↔ compare
- Phân tích vết bẩnMật mã học↔ compare
Được tham chiếu bởi
Phát hiện lỗi trên trang này? Báo cáo hoặc đề xuất chỉnh sửa →