Ghidra Decompiler Analysis Engine
Classes
rangeutil.hh File Reference

Documentation for the CircleRange class. More...

#include "op.hh"
Include dependency graph for rangeutil.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  CircleRange
 A class for manipulating integer value ranges. More...
 
class  ValueSet
 A range of values attached to a Varnode within a data-flow subsystem. More...
 
class  ValueSet::Equation
 An external that can be applied to a ValueSet. More...
 
class  Partition
 A range of nodes (within the weak topological ordering) that are iterated together. More...
 
class  ValueSetRead
 A special form of ValueSet associated with the read point of a Varnode. More...
 
class  Widener
 Class holding a particular widening strategy for the ValueSetSolver iteration algorithm. More...
 
class  WidenerFull
 Class for doing normal widening. More...
 
class  WidenerNone
 Class for freezing value sets at a specific iteration (to accelerate convergence) More...
 
class  ValueSetSolver
 Class that determines a ValueSet for each Varnode in a data-flow system. More...
 

Detailed Description

Documentation for the CircleRange class.