svf-lib 1.0.1992 → 1.0.1993
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.
- package/SVF-linux/Release-build/bin/ae +0 -0
- package/SVF-linux/Release-build/bin/cfl +0 -0
- package/SVF-linux/Release-build/bin/dvf +0 -0
- package/SVF-linux/Release-build/bin/mta +0 -0
- package/SVF-linux/Release-build/bin/saber +0 -0
- package/SVF-linux/Release-build/bin/svf-ex +0 -0
- package/SVF-linux/Release-build/bin/wpa +0 -0
- package/SVF-linux/Release-build/include/WPA/Andersen.h +12 -12
- package/SVF-linux/Release-build/lib/libSvfCore.a +0 -0
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -111,6 +111,18 @@ public:
|
|
|
111
111
|
return consCG;
|
|
112
112
|
}
|
|
113
113
|
|
|
114
|
+
/// SCC methods
|
|
115
|
+
//@{
|
|
116
|
+
inline NodeID sccRepNode(NodeID id) const override
|
|
117
|
+
{
|
|
118
|
+
return consCG->sccRepNode(id);
|
|
119
|
+
}
|
|
120
|
+
inline NodeBS& sccSubNodes(NodeID repId)
|
|
121
|
+
{
|
|
122
|
+
return consCG->sccSubNodes(repId);
|
|
123
|
+
}
|
|
124
|
+
//@}
|
|
125
|
+
|
|
114
126
|
/// dump statistics
|
|
115
127
|
inline void printStat()
|
|
116
128
|
{
|
|
@@ -203,18 +215,6 @@ public:
|
|
|
203
215
|
}
|
|
204
216
|
//@}
|
|
205
217
|
|
|
206
|
-
/// SCC methods
|
|
207
|
-
//@{
|
|
208
|
-
inline NodeID sccRepNode(NodeID id) const
|
|
209
|
-
{
|
|
210
|
-
return consCG->sccRepNode(id);
|
|
211
|
-
}
|
|
212
|
-
inline NodeBS& sccSubNodes(NodeID repId)
|
|
213
|
-
{
|
|
214
|
-
return consCG->sccSubNodes(repId);
|
|
215
|
-
}
|
|
216
|
-
//@}
|
|
217
|
-
|
|
218
218
|
/// Operation of points-to set
|
|
219
219
|
virtual inline const PointsTo& getPts(NodeID id)
|
|
220
220
|
{
|
|
Binary file
|