Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - 書籍 - Springer London Ltd - 9781848000162 - 2008年6月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Axel Simon
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition

価格
¥ 29.437
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月27日 - 年9月14日
Axel Simon の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

The book formally describes how program operations are mapped to operations on polyhedra and details how to limit the analysis to those p- tionsofstructuresandarraysthatarerelevantforveri?cation. Withrespectto operations on string bu?ers, we demonstrate how to analyse C strings whose length is determined by anul character within the string.

302 pages, 1, black & white illustrations

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2008年6月26日
ISBN13 9781848000162
出版社 Springer London Ltd
ページ数 302
寸法 155 × 235 × 19 mm   ·   630 g
言語 英語  

同じ出版社からのその他の記事

Axel Simonのすべてを見る ( 例： Paperback Book , Hardcover Book および Book )