Klaus issues

Repositories
Issues
Comments

Results 1 issues of


                                            Klaus

error when using traverseOnVFG to collect all LLVM Values

Hi, I tried to use traverseOnVFG to collect all LLVM values with regard to one specific VFG node. I kept getting this error "svf-ex: /home/travis/build/SVF-tools/SVF/lib/Graphs/VFG.cpp:868: const SVF::PAGNode* SVF::VFG::getLHSTopLevPtr(const SVF::VFGNode*) const:...