Hi Dave, Thanks for your immediate reply.
> If you tell me about the specific representation you want, I can give > you more details about how to get it with Treehydra. > My initial goal is to find out the amount of information that I "mine" from the code. This is to understand if I can construct a "model" out of the code and do some property checking on the model. I am experimenting to see if I can extract enough information to enable constructing of such models and if there are any limitations on how much I can extract (based on the way the code is written there could be certain things that are difficult to extract). Is there any document that I can refer to see the set of function calls that treehydra supports and the kind of information it provides? If so it will be very useful for this experiment. Thanks Sreekumar _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
