[Soot-list] Intersection of two PointsTo-sets

Ondrej Lhotak olhotak at uwaterloo.ca
Mon Jul 17 15:56:08 EDT 2006


On Sun, Jul 16, 2006 at 04:34:34PM -0400, Eric Bodden wrote:
> Hello.
> 
> One quick question: Is there no predefined way to calculate the
> intersection of two PointsTo-sets? I mean I know how to check for
> nonempty intersection but for my purposes I want to store the
> intersection if it exists.

There is no existing implementation in Soot, as far as I know. I don't
remember anyone ever needing one before.

Ondrej

> 
> Cheers,
> Eric
> 
> --
> Eric Bodden
> Sable Research Group, McGill University
> Montreal, Canada
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> 


More information about the Soot-list mailing list