Value-Range Analysis of C Programs: Towards Proving

2014-02-02 分类：未分类

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元我要求助