rangeutil.hh File Reference

Documentation for the CircleRange class. More...

#include "op.hh"

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...
class	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.