official documentation or examples for pysvfAPI

[hapi2test]

I appreciate the great work on SVF!
I am currently exploring pysvf, but I couldn't find any official documentation or examples for its API.
Could you provide any reference materials, example usages, or guidance on how to use pysvf effectively?

[yuleisui]

@bjjwwang could you please add an example asap and make sure CI can run the example too.

[bjjwwang]

Thanks. I'll upload documents and demos this weekends and notify you as soon as possible.

And in this stage, we expose some critical data structures like control flow graph, value flow graph, call graphs to python users. And next stage we will continue to expose more tools (pointer analysis, abstract interpretations, etc) to python users.

[bjjwwang]

Hi I wrote some Jupyter notebook in demo folder. And some documents in Wiki. We'll continue to implement pysvf and update documents rapidly.

Thank you.

[yuleisui]

Can you also make the example run in CI?

[bjjwwang]

Sure