svf-lib 1.0.854 → 1.0.858
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/lib/libSvf.a +0 -0
- package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
- package/SVF-osx/Release-build/lib/libSvf.a +0 -0
- package/SVF-osx/include/MemoryModel/SVFIR.h +1 -1
- package/SVF-osx/include/MemoryModel/SVFStatements.h +1 -1
- package/SVF-osx/include/SVF-FE/SVFIRBuilder.h +4 -1
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -329,7 +329,7 @@ public:
|
|
|
329
329
|
}
|
|
330
330
|
inline SVFStmt* getIntraPAGEdge(SVFVar* src, SVFVar* dst, SVFStmt::PEDGEK kind)
|
|
331
331
|
{
|
|
332
|
-
SVFStmt edge(src,dst,kind);
|
|
332
|
+
SVFStmt edge(src,dst,kind, false);
|
|
333
333
|
const SVFStmt::SVFStmtSetTy& edgeSet = getSVFStmtSet(kind);
|
|
334
334
|
SVFStmt::SVFStmtSetTy::const_iterator it = edgeSet.find(&edge);
|
|
335
335
|
assert(it != edgeSet.end() && "can not find pag edge");
|
|
@@ -212,7 +212,7 @@ protected:
|
|
|
212
212
|
void visitGlobal(SVFModule* svfModule);
|
|
213
213
|
void InitialGlobal(const GlobalVariable *gvar, Constant *C,
|
|
214
214
|
u32_t offset);
|
|
215
|
-
NodeID getGlobalVarField(const GlobalVariable *gvar, u32_t offset);
|
|
215
|
+
NodeID getGlobalVarField(const GlobalVariable *gvar, u32_t offset, Type* tpy);
|
|
216
216
|
//@}
|
|
217
217
|
|
|
218
218
|
/// Process constant expression
|
|
@@ -224,6 +224,9 @@ protected:
|
|
|
224
224
|
/// Compute offset of a gep instruction or gep constant expression
|
|
225
225
|
bool computeGepOffset(const User *V, LocationSet& ls);
|
|
226
226
|
|
|
227
|
+
/// Get the base value of (i8* src and i8* dst) for external argument (e.g. memcpy(i8* dst, i8* src, int size))
|
|
228
|
+
const Value* getBaseValueForExtArg(const Value* V);
|
|
229
|
+
|
|
227
230
|
/// Get the base type and max offset
|
|
228
231
|
const Type *getBaseTypeAndFlattenedFields(const Value *V, std::vector<LocationSet> &fields, const Value* sz);
|
|
229
232
|
|