[Soot-list] CFL Reachability

[Ondrej Lhotak]

On Mon, Nov 29, 2004 at 01:36:39AM -0500, Saswat Anand wrote:
> Hi,
> 
> Just wondering if anybody has implemented and may want to share
> implementation of CFL reachability algorithm (a.k.a RHS algorithm) to work
> with Soot.

Not that I know of. It would be interesting, but I don't have any time
to contribute to it in the next few months.

> Curious: Does Paddle takes a cloning based approach or something else like
> CFL reachability for context sensitivity?

Paddle uses call strings.

Ondrej

> Thanks,
> Saswat
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://www.sable.mcgill.ca/mailman/listinfo/soot-list
>