rangeutil.hh File Reference

Documentation for the CircleRange class. More...

#include "op.hh"

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

Detailed Description

Documentation for the CircleRange class.