svf-lib 1.0.1019 → 1.0.1020
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
Binary file
|
|
Binary file
|
|
@@ -45,7 +45,6 @@ class IndirectSVFGEdge : public VFGEdge
|
|
|
45
45
|
public:
|
|
46
46
|
typedef Set<const MRVer*> MRVerSet;
|
|
47
47
|
private:
|
|
48
|
-
MRVerSet mrs;
|
|
49
48
|
NodeBS cpts;
|
|
50
49
|
public:
|
|
51
50
|
/// Constructor
|
|
@@ -62,17 +61,6 @@ public:
|
|
|
62
61
|
{
|
|
63
62
|
return cpts;
|
|
64
63
|
}
|
|
65
|
-
|
|
66
|
-
inline MRVerSet& getMRVer()
|
|
67
|
-
{
|
|
68
|
-
return mrs;
|
|
69
|
-
}
|
|
70
|
-
inline bool addMrVer(const MRVer* mr)
|
|
71
|
-
{
|
|
72
|
-
// collect memory regions' pts to edge;
|
|
73
|
-
cpts |= mr->getMR()->getPointsTo();
|
|
74
|
-
return mrs.insert(mr).second;
|
|
75
|
-
}
|
|
76
64
|
//@}
|
|
77
65
|
|
|
78
66
|
/// Methods for support type inquiry through isa, cast, and dyn_cast:
|