cprover
|
Range-based reaching definitions analysis (following Field- Sensitive Program Dependence Analysis, Litvak et al., FSE 2010) More...
Go to the source code of this file.
Classes | |
class | sparse_bitvector_analysist< V > |
struct | reaching_definitiont |
class | rd_range_domaint |
class | reaching_definitions_analysist |
Functions | |
bool | operator< (const reaching_definitiont &a, const reaching_definitiont &b) |
Range-based reaching definitions analysis (following Field- Sensitive Program Dependence Analysis, Litvak et al., FSE 2010)
Definition in file reaching_definitions.h.
|
inline |
Definition at line 74 of file reaching_definitions.h.
References reaching_definitiont::bit_begin, reaching_definitiont::bit_end, reaching_definitiont::definition_at, and reaching_definitiont::identifier.