Data Flow Analysis: Theory and Practice (Hardcover)

Uday Khedker, Amitabha Sanyal, Bageshri Sathe

  • 出版商: CRC
  • 出版日期: 2009-03-27
  • 售價: $3,600
  • 貴賓價: 9.5$3,420
  • 語言: 英文
  • 頁數: 395
  • 裝訂: Hardcover
  • ISBN: 0849328802
  • ISBN-13: 9780849328800
  • 相關分類: CompilerData Science軟體工程
  • 立即出貨 (庫存=1)

買這商品的人也買了...

相關主題

商品描述

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.

 

 

Supplementary Online Materials to Strengthen Understanding

 

 

Unlike most comparable books, many of which are limited to bit vector frameworks and classical constant propagation, Data Flow Analysis: Theory and Practice offers comprehensive coverage of both classical and contemporary data flow analysis. It prepares foundations useful for both researchers and students in the field by standardizing and unifying various existing research, concepts, and notations. It also presents mathematical foundations of data flow analysis and includes study of data flow analysis implantation through use of the GNU Compiler Collection (GCC). Divided into three parts, this unique text combines discussions of inter- and intraprocedural analysis and then describes implementation of a generic data flow analyzer (gdfa) for bit vector frameworks in GCC.

 

Through the inclusion of case studies and examples to reinforce material, this text equips readers with a combination of mutually supportive theory and practice, and they will be able to access the author’s accompanying Web page. Here they can experiment with the analyses described in the book, and can make use of updated features, including:

 

 

 

  • Slides used in the authors’ courses
  • The source of the generic data flow analyzer (gdfa)
  • An errata that features errors as they are discovered
  • Additional updated relevant material discovered in the course of research

商品描述(中文翻譯)

資料流分析被用於發現各種有用應用的資訊,從編譯器優化到軟體工程和驗證。現代編譯器應用它來產生最大化效能的程式碼,而軟體工程師則用它來重新設計或逆向工程程式,並驗證其程式的完整性。

與大多數類似的書籍不同,這本《資料流分析:理論與實踐》涵蓋了傳統和現代資料流分析的全面內容。它通過標準化和統一現有的研究、概念和符號,為該領域的研究人員和學生提供有用的基礎。它還介紹了資料流分析的數學基礎,並通過使用GNU編譯器集合(GCC)來研究資料流分析的實施。本書分為三個部分,結合了對程序間和程序內分析的討論,然後描述了在GCC中實現位向量框架的通用資料流分析器(gdfa)的實現。

通過包含案例研究和示例來強化材料,本書為讀者提供了相互支持的理論和實踐結合的組合,並且他們將能夠訪問作者的附帶網頁。在這裡,他們可以實驗本書中描述的分析,並可以使用更新的功能,包括:

- 作者課程中使用的投影片
- 通用資料流分析器(gdfa)的原始碼
- 錯誤表,顯示發現的錯誤
- 在研究過程中發現的其他更新相關材料