WidenerNone Class Reference

Class for freezing value sets at a specific iteration (to accelerate convergence) More...

#include <rangeutil.hh>

Inheritance diagram for WidenerNone:

Collaboration diagram for WidenerNone:

Public Member Functions
virtual int4	determineIterationReset (const ValueSet &valueSet)
	Upon entering a fresh partition, determine how the given ValueSet count should be reset. More...
virtual bool	checkFreeze (const ValueSet &valueSet)
	Check if the given value set has been frozen for the remainder of the iteration process. More...
virtual bool	doWidening (const ValueSet &valueSet, CircleRange &range, const CircleRange &newRange)
	For an iteration that isn't stabilizing attempt to widen the given ValueSet. More...
Public Member Functions inherited from Widener
virtual	~Widener (void)
	Destructor.

Detailed Description

Class for freezing value sets at a specific iteration (to accelerate convergence)

The value sets don't reach a true stable state but instead lock in a description of the first few values that reach a given Varnode. The ValueSetSolver does normal iteration, but individual ValueSets freeze after a specific number of iterations (3 by default), instead of growing to a true stable state. This gives evidence of iteration in the underlying code, showing the initial value and frequently the step size.

Member Function Documentation

checkFreeze()

bool WidenerNone::checkFreeze ( const ValueSet &  valueSet )

virtual

Check if the given value set has been frozen for the remainder of the iteration process.

Parameters

valueSet

is the given value set

Returns

true if the valueSet will no longer change

Implements Widener.

determineIterationReset()

int4 WidenerNone::determineIterationReset ( const ValueSet &  valueSet )

virtual

Upon entering a fresh partition, determine how the given ValueSet count should be reset.

Parameters

valueSet

is the given value set

Returns

the value of the iteration counter to reset to

Implements Widener.

doWidening()

bool WidenerNone::doWidening ( const ValueSet &  valueSet, CircleRange &  range, const CircleRange &  newRange  )

virtual

For an iteration that isn't stabilizing attempt to widen the given ValueSet.

Change the given range based on its previous iteration so that it stabilizes more rapidly on future iterations.

Parameters

valueSet	is the given value set
range	is the previous form of the given range (and storage for the widening result)
newRange	is the current iteration of the given range

Returns

true if widening succeeded

Implements Widener.

---

The documentation for this class was generated from the following files:

• rangeutil.hh
• rangeutil.cc