BitValueIPA.hpp File Reference

Created on: June 27, 2016. More...

#include "application_frontend_flow_step.hpp"
#include "bit_lattice.hpp"

Include dependency graph for BitValueIPA.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	BitValueIPA
	Inter-Procedural extension of the Bit Value analysis as described in BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations Mihai Budiu Seth Copen Goldstein http://www.cs.cmu.edu/~seth/papers/budiu-tr00.pdf. More...

Detailed Description

Created on: June 27, 2016.

Author

Pietro Fezzardi pietr.nosp@m.ofez.nosp@m.zardi.nosp@m.@gma.nosp@m.il.co.nosp@m.m $Revision$ $Date$ Last modified by $Author$

Definition in file BitValueIPA.hpp.