Dear Cil Users, I am trying to use the Ptranal points-to analysis (with Golf) in CIL 1.3.7 to compute points-to sets containing dynamically allocated memory locations, but the points-to analysis seems to consider all pointers to any malloc'd memory as pointing to the same location (specifically, the same varinfo structure).
Does Ptranal/Golf inherently model all calls to malloc as returning pointers to the same abstract location, or am I using it incorrectly? I would really like a model where each memory allocation site is treated as returning a single, unique abstract location. Can this be done with Ptranal? I am generating the points-to sets by calling Ptranal.analyze_file and requesting the points-to set for an lval with Ptranal.resolve_lval. Any help would be appreciated. Thanks and regards, Cole ------------------------------------------------------------------------------ Download Intel® Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
