[CIL users] Ptranal Heap Model

[Cole S. <csc...@pr...>]

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