-
Notifications
You must be signed in to change notification settings - Fork 431
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[SVF API] Delete ICFG Node/Edge / Create new abstract ICFG from ground? #1435
Comments
I have the same question. Do you have any progress? |
@LeoneChen Maybe not.. But I wrote a simple python program that select nodes that I want to know, and remove it from dot file. Although not in the CFG abstract model, I was able to get the desired results from the dot file. You can check it here |
Thanks very much! It seems a good idea. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hello, I'm creating one analysis program using SVF and SVF-example .
What I want is to start with a function that I want in a huge program, and only draw the nodes that I use in that function on a CFG (as dot file).
The
traverseOnICFG
function has been implemented to search only nodes that originated from a particular function, but manipulating the ICFG seems to be impossible with the API provided.ICFG
Class does not provide an API to add or remove.Is there an API to create a new ICFG, or remove Node or Edge from an existing ICFG? Or, can I get some help for this?
Here are my example WIP code.
The text was updated successfully, but these errors were encountered: