svf-lib 1.0.1564 → 1.0.1565
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
|
|
@@ -409,6 +409,29 @@ void viewCFG(const Function* fun);
|
|
|
409
409
|
// Dump Control Flow Graph of llvm function, without instructions
|
|
410
410
|
void viewCFGOnly(const Function* fun);
|
|
411
411
|
|
|
412
|
+
/*
|
|
413
|
+
* Get the vtable struct of a class.
|
|
414
|
+
*
|
|
415
|
+
* Given the class:
|
|
416
|
+
*
|
|
417
|
+
* class A {
|
|
418
|
+
* virtual ~A();
|
|
419
|
+
* };
|
|
420
|
+
* A::~A() = default;
|
|
421
|
+
*
|
|
422
|
+
* The corresponding vtable @_ZTV1A is of type:
|
|
423
|
+
*
|
|
424
|
+
* { [4 x i8*] }
|
|
425
|
+
*
|
|
426
|
+
* If the program has been compiled with AddressSanitizer,
|
|
427
|
+
* the vtable will have redzones and appear as:
|
|
428
|
+
*
|
|
429
|
+
* { { [4 x i8*] }, [32 x i8] }
|
|
430
|
+
*
|
|
431
|
+
* See https://github.com/SVF-tools/SVF/issues/1114 for more.
|
|
432
|
+
*/
|
|
433
|
+
const ConstantStruct *getVtblStruct(const GlobalValue *vtbl);
|
|
434
|
+
|
|
412
435
|
bool isValVtbl(const Value* val);
|
|
413
436
|
bool isLoadVtblInst(const LoadInst* loadInst);
|
|
414
437
|
bool isVirtualCallSite(const CallBase* cs);
|