ValueSetRead Class Reference

A special form of ValueSet associated with the read point of a Varnode. More...

#include <rangeutil.hh>

Public Member Functions
void	compute (void)
	Compute this value set. More...
void	printRaw (ostream &s) const
	Write a text description of to the given stream. More...

Friends
class	ValueSetSolver

Detailed Description

A special form of ValueSet associated with the read point of a Varnode.

When a Varnode is read, it may have a more restricted range at the point of the read compared to the full scope. This class officially stores the value set at the point of the read (specified by PcodeOp and slot). It is computed as a final step after the main iteration has completed.

Member Function Documentation

compute()

void ValueSetRead::compute

(

void

)

Compute this value set.

This value set will be the same as the ValueSet of the Varnode being read but may be modified due to additional control-flow constraints

printRaw()

void ValueSetRead::printRaw

(

ostream &

s

)

const

Write a text description of to the given stream.

Parameters

s	is the stream to print to

---

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

• rangeutil.hh
• rangeutil.cc