Sreekumar wrote:
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).
Can you provide more detail, or some examples, on the kind of
information you want to mine or the models you want to extract? Based on
your description, I could imagine your model to be anything from a
simple count of the number of if statements per method to an operational
semantics of the method.
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.
I just added some information here:
http://developer.mozilla.org/Treehydra_Manual
If you run the CFG example, that at least should give some idea of what
information is available.
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
