Value-Range Analysis of C Programs: Towards Proving girro 2014年2月2日 19 阅读 0 评论 未分类 Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities Hardcover: 302 pages Publisher: Springer (June 26, 2008) Language: English ISBN-10: 1848000162 代发服务PDF电子书10元立即求助