HuantWang
commented
3 months ago 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.
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!