CBMC
dependence_graph.h File Reference

Field-Sensitive Program Dependence Analysis, Litvak et al., FSE 2010. More...

#include <util/graph.h>
#include <util/threeval.h>
#include "ai.h"
#include "cfg_dominators.h"
#include "reaching_definitions.h"
+ Include dependency graph for dependence_graph.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  dep_edget
 
struct  dep_nodet
 
class  dep_graph_domaint
 
class  dependence_grapht
 

Detailed Description

Field-Sensitive Program Dependence Analysis, Litvak et al., FSE 2010.

Definition in file dependence_graph.h.