ROSE  0.11.98.0
Rose::BinaryAnalysis::ModelChecker::P2Model::SValue Member List

This is the complete list of members for Rose::BinaryAnalysis::ModelChecker::P2Model::SValue, including all inherited members.

add_defining_instructions(const InsnSet &to_add)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValuevirtual
add_defining_instructions(const SValuePtr &source)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
add_defining_instructions(SgAsmInstruction *insn)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValuevirtual
boolean_(bool value) const overrideRose::BinaryAnalysis::ModelChecker::P2Model::SValueinlinevirtual
bottom_(size_t nBits) const overrideRose::BinaryAnalysis::ModelChecker::P2Model::SValueinlinevirtual
comment() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
comment(const std::string &) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
copy(size_t newNBits=0) const overrideRose::BinaryAnalysis::ModelChecker::P2Model::SValuevirtual
createMerged(const SValuePtr &other, const MergerPtr &merger, const SmtSolverPtr &solver) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinline
createOptionalMerge(const InstructionSemantics::BaseSemantics::SValuePtr &other, const InstructionSemantics::BaseSemantics::MergerPtr &, const SmtSolverPtr &) const overrideRose::BinaryAnalysis::ModelChecker::P2Model::SValuevirtual
defined_by(SgAsmInstruction *insn, const InsnSet &set1, const InsnSet &set2, const InsnSet &set3)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
defined_by(SgAsmInstruction *insn, const InsnSet &set1, const InsnSet &set2)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
defined_by(SgAsmInstruction *insn, const InsnSet &set1)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
defined_by(SgAsmInstruction *insn)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
defsRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueprotected
exprRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueprotected
get_comment() const overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueprotectedvirtual
get_defining_instructions() const Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
get_expression() const Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
get_number() const overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueprotectedvirtual
get_width() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlinevirtual
hash(Combinatorics::Hasher &) const overrideRose::BinaryAnalysis::ModelChecker::P2Model::SValuevirtual
instance()Rose::BinaryAnalysis::ModelChecker::P2Model::SValuestatic
instance_bottom(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinestatic
instance_integer(size_t nbits, uint64_t value)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinestatic
instance_symbolic(const SymbolicExpr::Ptr &value)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinestatic
instance_undefined(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinestatic
instance_unspecified(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinestatic
instanceBottom(size_t nBits)Rose::BinaryAnalysis::ModelChecker::P2Model::SValuestatic
instanceInteger(size_t nBits, uint64_t value)Rose::BinaryAnalysis::ModelChecker::P2Model::SValuestatic
instanceSymbolic(const SymbolicExpr::Ptr &value)Rose::BinaryAnalysis::ModelChecker::P2Model::SValuestatic
instanceUndefined(size_t nBits)Rose::BinaryAnalysis::ModelChecker::P2Model::SValuestatic
instanceUnspecified(size_t nBits)Rose::BinaryAnalysis::ModelChecker::P2Model::SValuestatic
is_number() const overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlineprotectedvirtual
isBottom() const overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValuevirtual
isConcrete() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
isFalse() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
isTrue() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
may_equal(const BaseSemantics::SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueprotectedvirtual
mayEqual(const SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
must_equal(const BaseSemantics::SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueprotectedvirtual
mustEqual(const SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
nBits() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
number_(size_t nBits, uint64_t value) const overrideRose::BinaryAnalysis::ModelChecker::P2Model::SValueinlinevirtual
operator delete(void *ptr, size_t size) (defined in Sawyer::SmallObject)Sawyer::SmallObjectinlinestatic
operator new(size_t size) (defined in Sawyer::SmallObject)Sawyer::SmallObjectinlinestatic
operator+(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinline
operator+(const std::string &linePrefix)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
operator=(const SharedObject &)Sawyer::SharedObjectinline
poolAllocator()Sawyer::SmallObjectinlinestatic
print(std::ostream &, InstructionSemantics::BaseSemantics::Formatter &) const overrideRose::BinaryAnalysis::ModelChecker::P2Model::SValuevirtual
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue::print(std::ostream &) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
promote(const InstructionSemantics::BaseSemantics::SValuePtr &v)Rose::BinaryAnalysis::ModelChecker::P2Model::SValueinlinestatic
Ptr typedefRose::BinaryAnalysis::ModelChecker::P2Model::SValue
region() const Rose::BinaryAnalysis::ModelChecker::P2Model::SValue
region(const AddressInterval &)Rose::BinaryAnalysis::ModelChecker::P2Model::SValue
set_comment(const std::string &) const overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueprotectedvirtual
set_defining_instructions(const InsnSet &new_defs)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
set_defining_instructions(const SValuePtr &source)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
set_defining_instructions(SgAsmInstruction *insn)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValuevirtual
set_expression(const ExprPtr &new_expr)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
set_expression(const SValuePtr &source)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlinevirtual
set_width(size_t nbits) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlineprotectedvirtual
sharedFromThis()Sawyer::SharedFromThis< SValue >inline
sharedFromThis() constSawyer::SharedFromThis< SValue >inline
SharedObject()Sawyer::SharedObjectinline
SharedObject(const SharedObject &)Sawyer::SharedObjectinline
substitute(const SValuePtr &from, const SValuePtr &to, const SmtSolverPtr &solver) const Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValuevirtual
Super typedefRose::BinaryAnalysis::ModelChecker::P2Model::SValue
SValue() (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::SValue)Rose::BinaryAnalysis::ModelChecker::P2Model::SValueprotected
SValue(size_t nBits, uint64_t number) (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::SValue)Rose::BinaryAnalysis::ModelChecker::P2Model::SValueprotected
SValue(const SymbolicExpr::Ptr &) (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::SValue)Rose::BinaryAnalysis::ModelChecker::P2Model::SValueexplicitprotected
SValue(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlineexplicitprotected
SValue(ExprPtr expr) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValueinlineprotected
SValue(const SValue &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlineprotected
toSigned() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
toString() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
toUnsigned() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
undefined_(size_t nBits) const overrideRose::BinaryAnalysis::ModelChecker::P2Model::SValueinlinevirtual
unspecified_(size_t nBits) const overrideRose::BinaryAnalysis::ModelChecker::P2Model::SValueinlinevirtual
width (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueprotected
with_format(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinline
~SharedFromThis() (defined in Sawyer::SharedFromThis< SValue >)Sawyer::SharedFromThis< SValue >inlinevirtual
~SharedObject()Sawyer::SharedObjectinlinevirtual
~SValue() (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::SValue)Rose::BinaryAnalysis::ModelChecker::P2Model::SValuevirtual