add_defining_instructions(const InsnSet &to_add) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
add_defining_instructions(const SValuePtr &source) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
add_defining_instructions(SgAsmInstruction *insn) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
boolean_(bool value) const override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinevirtual |
bottom_(size_t nbits) const override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinevirtual |
comment() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | |
comment(const std::string &) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | |
copy(size_t new_width=0) const override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinevirtual |
createMerged(const SValuePtr &other, const MergerPtr &merger, const SmtSolverPtr &solver) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | inline |
createOptionalMerge(const BaseSemantics::SValuePtr &other, const BaseSemantics::MergerPtr &, const SmtSolverPtr &) const override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | virtual |
defined_by(SgAsmInstruction *insn, const InsnSet &set1, const InsnSet &set2, const InsnSet &set3) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
defined_by(SgAsmInstruction *insn, const InsnSet &set1, const InsnSet &set2) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
defined_by(SgAsmInstruction *insn, const InsnSet &set1) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
defined_by(SgAsmInstruction *insn) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
defs | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | protected |
expr | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | protected |
get_comment() const override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | protectedvirtual |
get_defining_instructions() const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
get_expression() const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
get_number() const override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | protectedvirtual |
get_width() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | inlinevirtual |
hash(Combinatorics::Hasher &) const override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | virtual |
instance() | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinestatic |
instance_bottom(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinestatic |
instance_integer(size_t nbits, uint64_t value) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinestatic |
instance_symbolic(const SymbolicExpression::Ptr &value) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinestatic |
instance_undefined(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinestatic |
instance_unspecified(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinestatic |
is_number() const override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | protectedvirtual |
isBottom() const override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
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 override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | protectedvirtual |
mayEqual(const SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | |
mergeTaintedness(Taintedness, Taintedness) (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | static |
must_equal(const BaseSemantics::SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | protectedvirtual |
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 override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinevirtual |
operator delete(void *ptr, size_t size) (defined in Sawyer::SmallObject) | Sawyer::SmallObject | inlinestatic |
operator new(size_t size) (defined in Sawyer::SmallObject) | Sawyer::SmallObject | inlinestatic |
operator+(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | inline |
operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | |
operator=(const SharedObject &) | Sawyer::SharedObject | inline |
poolAllocator() | Sawyer::SmallObject | inlinestatic |
print(std::ostream &, BaseSemantics::Formatter &) const override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue::print(std::ostream &) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | |
promote(const BaseSemantics::SValuePtr &v) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinestatic |
Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | |
set_comment(const std::string &) const override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | protectedvirtual |
set_defining_instructions(const InsnSet &new_defs) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
set_defining_instructions(const SValuePtr &source) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
set_defining_instructions(SgAsmInstruction *insn) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
set_expression(const ExprPtr &new_expr) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
set_expression(const SValuePtr &source) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
set_width(size_t nbits) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | protectedvirtual |
sharedFromThis() | Sawyer::SharedFromThis< SValue > | inline |
sharedFromThis() const | Sawyer::SharedFromThis< SValue > | inline |
SharedObject() | Sawyer::SharedObject | inline |
SharedObject(const SharedObject &) | Sawyer::SharedObject | inline |
substitute(const SValuePtr &from, const SValuePtr &to, const SmtSolverPtr &solver) const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::SValue | virtual |
Super typedef | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | |
SValue() (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlineprotected |
SValue(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlineexplicitprotected |
SValue(size_t nbits, uint64_t number) (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlineprotected |
SValue(ExprPtr expr) (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlineprotected |
SValue(const SValue &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | inlineprotected |
taintedness() const | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | |
taintedness(Taintedness) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | |
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 override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinevirtual |
unspecified_(size_t nbits) const override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValue | inlinevirtual |
width (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | protected |
with_format(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | inline |
~SharedObject() | Sawyer::SharedObject | inlinevirtual |
~SValue() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue | inlinevirtual |