[Soot-list] Obtained all aliased variables?

[Patrick Lam]

Restricting based on type should help quite a bit.

pat

On 22/02/13 11:44 AM, Eric Bodden wrote:
> Hello.
>
> My first guess would also have been to traverse the PAG (or use the
> trivial "brute force" approach). It's just a quite uncommon use and
> therefore there is no pre-established API for this.
>
> Eric
>
> On 22 February 2013 17:09, Marc-Andre Laverdiere-Papineau
> <marc-andre.laverdiere-papineau at polymtl.ca>  wrote:
>> Hello,
>>
>> I would like to find out all the variables that are aliased to a given
>> variable.
>>
>>   From what I can see, this is not the first time ppl ask on the ML, and
>> the answer has always been to check for the intersection... (e.g
>> http://www.sable.mcgill.ca/pipermail/soot-list/2012-February/004107.html)
>>
>> So far, I have used the non-empty intersection check of the points-to
>> set, but that's a bit tedious to do when a program has a lot of
>> variables that are unrelated.
>>
>> Does anyone know how to get all the Local and SootField objects that are
>> aliased to a given Local/SootField? The only option I can think of is
>> traversing the PAG - but the API doesn't look very much suited for my
>> needs. Am I missing some magic visitor class???
>>
>> Regards,
>>
>> --
>> Marc-André Laverdière-Papineau
>> Doctorant - PhD Candidate
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
>