基于二进制代码的动态符号执行工具 (Chinese Edition)
by 康奇 倪
Explores dynamic symbolic execution techniques for analyzing binary code, offering essential insights for computer science researchers and software analysis professionals.
About This Book
This book examines dynamic symbolic execution techniques applied to binary code analysis.
It provides foundational knowledge for researchers and practitioners working with binary-level program analysis.
The content focuses on the principles and methods used in developing symbolic execution tools.
Reviews
No reviews yet. Be the first to review this book!