diff --git a/include/dg/llvm/PointerAnalysis/SVFPointerAnalysis.h b/include/dg/llvm/PointerAnalysis/SVFPointerAnalysis.h index 2d2bd13ff..b1a1146b1 100644 --- a/include/dg/llvm/PointerAnalysis/SVFPointerAnalysis.h +++ b/include/dg/llvm/PointerAnalysis/SVFPointerAnalysis.h @@ -167,6 +167,8 @@ class SVFPointerAnalysis : public LLVMPointerAnalysis { moduleset->buildSVFModule(*const_cast(_module)); assert(_svfModule && "Failed building SVF module"); + _svfModule->buildSymbolTableInfo(); + PAGBuilder builder; PAG *pag = builder.build(_svfModule);