svf-lib 1.0.1645 → 1.0.1646
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-osx/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/svf-llvm/extapi.bc +1268 -1207
- package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-osx/svf/include/Util/SVFUtil.h +0 -34
- package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMUtil.h +2 -2
- package/package.json +1 -1
|
Binary file
|
|
@@ -350,14 +350,6 @@ inline bool isReallocExtFun(const SVFFunction* fun)
|
|
|
350
350
|
return fun && (ExtAPI::getExtAPI()->is_realloc(fun));
|
|
351
351
|
}
|
|
352
352
|
|
|
353
|
-
/// Return true if the call is a static global call
|
|
354
|
-
//@{
|
|
355
|
-
/// note that this function is not suppose to be used externally
|
|
356
|
-
inline bool isStaticExtFun(const SVFFunction* fun)
|
|
357
|
-
{
|
|
358
|
-
return fun && ExtAPI::getExtAPI()->has_static(fun);
|
|
359
|
-
}
|
|
360
|
-
|
|
361
353
|
/// Program entry function e.g. main
|
|
362
354
|
//@{
|
|
363
355
|
/// Return true if this is a program entry function (e.g. main)
|
|
@@ -494,32 +486,6 @@ inline bool isReallocExtCall(const SVFInstruction *inst)
|
|
|
494
486
|
}
|
|
495
487
|
//@}
|
|
496
488
|
|
|
497
|
-
inline bool isStaticExtCall(const CallSite cs)
|
|
498
|
-
{
|
|
499
|
-
bool isPtrTy = cs.getInstruction()->getType()->isPointerTy();
|
|
500
|
-
return isPtrTy && isStaticExtFun(getCallee(cs));
|
|
501
|
-
}
|
|
502
|
-
|
|
503
|
-
inline bool isStaticExtCall(const SVFInstruction *inst)
|
|
504
|
-
{
|
|
505
|
-
bool isPtrTy = inst->getType()->isPointerTy();
|
|
506
|
-
return isPtrTy && isStaticExtFun(getCallee(inst));
|
|
507
|
-
}
|
|
508
|
-
//@}
|
|
509
|
-
|
|
510
|
-
/// Return true if the call is a static global call
|
|
511
|
-
//@{
|
|
512
|
-
inline bool isHeapAllocOrStaticExtCall(const CallSite cs)
|
|
513
|
-
{
|
|
514
|
-
return isStaticExtCall(cs) || isHeapAllocExtCall(cs);
|
|
515
|
-
}
|
|
516
|
-
|
|
517
|
-
inline bool isHeapAllocOrStaticExtCall(const SVFInstruction *inst)
|
|
518
|
-
{
|
|
519
|
-
return isStaticExtCall(inst) || isHeapAllocExtCall(inst);
|
|
520
|
-
}
|
|
521
|
-
//@}
|
|
522
|
-
|
|
523
489
|
/// Return true if this is a thread creation call
|
|
524
490
|
///@{
|
|
525
491
|
inline bool isThreadForkCall(const CallSite cs)
|
|
@@ -141,10 +141,10 @@ inline const PointerType *getRefTypeOfHeapAllocOrStatic(const CallBase* cs)
|
|
|
141
141
|
if (const PointerType *argType = SVFUtil::dyn_cast<PointerType>(arg->getType()))
|
|
142
142
|
refType = SVFUtil::dyn_cast<PointerType>(getPtrElementType(argType));
|
|
143
143
|
}
|
|
144
|
-
// Case 2: heap
|
|
144
|
+
// Case 2: heap object held by return value.
|
|
145
145
|
else
|
|
146
146
|
{
|
|
147
|
-
assert(
|
|
147
|
+
assert(SVFUtil::isHeapAllocExtCallViaRet(svfcs)
|
|
148
148
|
&& "Must be heap alloc via ret, or static allocation site");
|
|
149
149
|
refType = SVFUtil::dyn_cast<PointerType>(cs->getType());
|
|
150
150
|
}
|