Sreekumar wrote:
I tried compiling the code using treehydra plugin using the following
javascript.
function process_function(f,arr) {
print("process_function: " + f)
print("process_statements: " + arr)
}
[snip]
The above statement seems to be flow insensitive. Is there any other
function that I can use to get flow sensitive data
Correct. In our usual terminology, process_function is a Dehydra
API--Treehydra includes all the Dehydra functionality as well. To see
control flow, you must use a true Treehydra function, such as
process_cp_pre_genericize (giving C++ ASTs) or process_tree (giving
FUNCTION_DECLs with attached GIMPLE--this means language-independent
ASTs or CFGs depending on where you position the Treehydra pass).
If you tell me about the specific representation you want, I can give
you more details about how to get it with Treehydra.
Dave
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
