I have tried to do the data flow analysis using dehydra and treehydra.
I want to know
1) possible values of all the variables available at each
basic block
2) possible values of arguments of some functions
I have received some hints by some test files in the test folder in
order to solve above problems.
I could generate control flow graph and values of some variables at
each basic block, using some code in the some test files in the test
folder.
but, it is not enough.
I feels like this approach was wrong. I am hard to access values of
arguments of some functions.
I am not familiar to dehydra and treehydra. I want to get used this.
Do you have any hints or new approaches??
thanks...
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
