SVF-example

SVF-example copied to clipboard

error when using traverseOnVFG to collect all LLVM Values

12

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:...

yikuoyansui

charles32110

Update and expand examples

5

See [this pull request #1460](https://github.com/SVF-tools/SVF/pull/1460)

Johanmyst

License?

1

Is this repository published under the same software license as SVF itself?

JuliusNmn