error when using traverseOnVFG to collect all LLVM Values about svf-example HOT 12 OPEN

You need to provide more information about the SVFGNode and its PAGNode information so that I could understand which SVFGNode you are referring to.

from svf-example.

Thanks for your quick reply. The program is too large. It is hard to give you specific information about the SVFGNode and its PAGNode without context. The following three statements show how I fetch the llvm value and feed it into traverseOnVFG.

PAGNode* pagNode = pag->getPAGNode(5394);
const Value* v = pagNode->getValue();
traverseOnVFG(svfg, v);

I use the node ID (5394) which can be obtained from pag.dot to get the corresponding PAGNode. The following snippet is information about this node.

Node0x55dd51a85c00 [shape=record,shape=circle,label="{[base64_decode] 5394:}"];
Node0x55dd51a85c00 -> Node0x55dd51a7f6c0[color=blue];

I use several types of nodes as the input and all of them show the same error.

If the above description is hard to follow, could you give me some high-level hints about how to properly use traverseOnVFG?

Thanks

from svf-example.

The addresses would not tell the problem. Can you send me your bc?

from svf-example.

Btw, I am wondering why we need to use getLHSTopLevPtr considering we have already traversed VFG and get the visited list before.

from svf-example.

You can also use node->toString() to get the results for your purpose. No need to use getLHSTopLevPtr.

from svf-example.

I am confused that what the purpose of getLHSTopLevPtr is. Is it to get the corresponding PAGNode for VFGNode and PAGNode are the exact LLVM values (pointers), right?

from svf-example.

In brief, yes. See the fixed patch for SVF here: SVF-tools/SVF@75e3b7c

and the fix for SVF-example here:
1b5edfb

from svf-example.

Thanks for your updates. I updated all the patches and fix, while the same error still happens. Has the error been fixed at your side? I am using the same node 5394 and the same bc.

svf-ex: /home/travis/build/SVF-tools/SVF/lib/Graphs/VFG.cpp:874: const SVF::PAGNode* SVF::VFG::getLHSTopLevPtr(const SVF::VFGNode*) const: Assertion `false && "unexpected node kind!"' failed.

Thanks

from svf-example.

You will need to update svf-lib npm i --silent svf-lib --prefix ${HOME}

from svf-example.

Sorry to disturb you again. I did execute the above command. I checked the modification time of libSvf.a under Release-build folder and the time is no up-to-date. I am not sure whether the problem is caused by that. Thanks.

from svf-example.

@JasonZhongZexin could you take a look at the npm configuration?

from svf-example.

@yikuoyansui I have confirmed the new update has been published to NPM. The up-to-date version of svf-lib should be v1.0.243. Could you please provide the below information, so that I could investigate the issue.

1. What‘s the version of your OS?
2. What’s the version of the npm and nodejs that you are using?
3. What’s the version of the installed svf-lib?
4. What’s the output that display on your terminal after running the svf-lib update command?

from svf-example.