Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF
PointsTo
SVF::PointsTo Member List
This is the complete list of members for
SVF::PointsTo
, including all inherited members.
begin
() const
SVF::PointsTo
inline
BV
enum value
SVF::PointsTo
bv
SVF::PointsTo
CBV
enum value
SVF::PointsTo
cbv
SVF::PointsTo
checkAndRemap
()
SVF::PointsTo
clear
()
SVF::PointsTo
const_iterator
typedef
SVF::PointsTo
contains
(const PointsTo &rhs) const
SVF::PointsTo
count
() const
SVF::PointsTo
currentBestNodeMapping
SVF::PointsTo
private
static
currentBestReverseNodeMapping
SVF::PointsTo
private
static
empty
() const
SVF::PointsTo
end
() const
SVF::PointsTo
inline
find_first
()
SVF::PointsTo
getCurrentBestNodeMapping
()
SVF::PointsTo
static
getCurrentBestReverseNodeMapping
()
SVF::PointsTo
static
getExternalNode
(NodeID n) const
SVF::PointsTo
private
getInternalNode
(NodeID n) const
SVF::PointsTo
private
getNodeMapping
() const
SVF::PointsTo
hash
() const
SVF::PointsTo
intersects
(const PointsTo &rhs) const
SVF::PointsTo
intersectWithComplement
(const PointsTo &rhs)
SVF::PointsTo
intersectWithComplement
(const PointsTo &lhs, const PointsTo &rhs)
SVF::PointsTo
iterator
typedef
SVF::PointsTo
MappingPtr
typedef
SVF::PointsTo
metaSame
(const PointsTo &pt) const
SVF::PointsTo
private
nodeMapping
SVF::PointsTo
private
operator!=
(const PointsTo &rhs) const
SVF::PointsTo
operator&=
(const PointsTo &rhs)
SVF::PointsTo
operator-=
(const PointsTo &rhs)
SVF::PointsTo
operator=
(const PointsTo &rhs)
SVF::PointsTo
operator=
(PointsTo &&rhs) noexcept
SVF::PointsTo
operator==
(const PointsTo &rhs) const
SVF::PointsTo
operator|=
(const PointsTo &rhs)
SVF::PointsTo
operator|=
(const NodeBS &rhs)
SVF::PointsTo
PointsTo
()
SVF::PointsTo
PointsTo
(const PointsTo &pt)
SVF::PointsTo
PointsTo
(PointsTo &&pt) noexcept
SVF::PointsTo
reset
(u32_t n)
SVF::PointsTo
reverseNodeMapping
SVF::PointsTo
private
sbv
SVF::PointsTo
SBV
enum value
SVF::PointsTo
set
(u32_t n)
SVF::PointsTo
setCurrentBestNodeMapping
(MappingPtr newCurrentBestNodeMapping, MappingPtr newCurrentBestReverseNodeMapping)
SVF::PointsTo
static
test
(u32_t n) const
SVF::PointsTo
test_and_set
(u32_t n)
SVF::PointsTo
toNodeBS
() const
SVF::PointsTo
type
SVF::PointsTo
private
Type
enum name
SVF::PointsTo
~PointsTo
()
SVF::PointsTo
Generated by
1.9.8