Lightweight Program Analysis Support

[nashid]

I am new to this library, and I must say it looks great! I intend to perform lightweight program analysis for incomplete code. For example, I am considering to perform backward and forward slicing. I would like to know if this library is a good fit for this particular form of analysis. If so, I would greatly appreciate any examples on how to achieve this with the existing functionality.

However, if the library currently does not support such analysis, I would like to request the addition of this feature. I think having this functionality integrated into the library would be extremely beneficial.

Thank you for considering this request. I am excited to hear your feedback and any insights you can provide.

[Alex-Mathai-98]

Hi @nashid, thanks for your thoughtful comment. To answer your question, it is possible to do slicing by performing backward and forward graph traversals on a combination of codeviews (say CFG and DFG). As our repo gives a networkx json as output, it is actually not very difficult to do this.

This feature is in our future roadmap, but we aim to address this after we finish other important updates (so it can be sometime before we get to this). If this is an urgent requirement, then I would really encourage that you try out your hand at doing this. And if stuck to please continue your comments in this issue.