Hi I saw in treehydra that treehydra can produce GIMPLE CFG's (https:// developer.mozilla.org/En/Treehydra_Manual#GIMPLE.C2.A0CFGs). Could someone tell how treehydra handles function pointers. Our final goal is to get a control flow graph for glibc library which includes some manner of alias analysis for function pointers, we are trying to explore if treehydra/dehydra might be the tool to use. We would really appreciate a quick response :)
Thanks Nipun _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
