Question about pathSelection

[1iyang]

Hi! Concoction is a very interesting work and combing static and dynamic information together for VP is a wonderful idea.
I followed the tutorial in usage.md and tried to deploy it to a real-world project, but met some questions. It does not clearly explain the usage of path selection component in symbolic execution, I saw the paper note that when using the trained model, the time for symbolic execution only needs 5 mins, but I don't know how to use the path selection component.
Besides, it would be great if there was an explanation of how each of the datasets in /data are generated and what they are used for!

[HuantWang]

Sorry for the late reply and thank you for your attention.

I don't know how to use the path selection component.

We will update a notebook document to provide more detailed information about this module.

It would be great if there was an explanation of how each of the datasets in /data are generated and what they are used for.

Thanks for your advice, we will update the usage document as soon as possible.

• [Upload a notebook about module usage]
• [Update the documentation on dataset usage]

@jie-2000 Hi, Jie, could you please take a look at this issue and schedule a time to update them? Thanks.