Joonyoung wrote:
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.
Without knowing exactly what the problem is, it's hard to give any
advice. Do you have a small test program and an analysis script, and the
bad output, or something specific like that?
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
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
