PandA-2024.02
|
Created on: June 27, 2016. More...
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... | |
Created on: June 27, 2016.
Definition in file BitValueIPA.hpp.