cprover
dependence_graph.cpp File Reference

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

#include "dependence_graph.h"
#include <cassert>
#include <util/container_utils.h>
#include <util/json_irep.h>
#include "goto_rw.h"
+ Include dependency graph for dependence_graph.cpp:

Go to the source code of this file.

Classes

class  dep_graph_domain_factoryt
 This ensures that all domains are constructed with the node ID that links them to the graph part of the dependency graph. More...
 

Functions

static bool may_be_def_use_pair (const mp_integer &w_start, const mp_integer &w_end, const mp_integer &r_start, const mp_integer &r_end)
 

Detailed Description

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

Definition in file dependence_graph.cpp.

Function Documentation

◆ may_be_def_use_pair()

static bool may_be_def_use_pair ( const mp_integer w_start,
const mp_integer w_end,
const mp_integer r_start,
const mp_integer r_end 
)
static

Definition at line 129 of file dependence_graph.cpp.