by Amitabha Sanyal (Author), Bageshri Sathe (Author), Uday Khedker (Author)
Offers a treatment of data flow analysis technique. This book includes interprocedural data flow analysis. It provides coverage of analysis beyond bit vectors. It presents mathematical foundations and includes a study of data flow analysis implementation through use of the GNU Compiler Collection (GCC).
Format: Illustrated
Pages: 395
Edition: 1
Publisher: CRC Press
Published: 31 Mar 2009
ISBN 10: 0849328802
ISBN 13: 9780849328800