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).