[Soot-list] how to use SPARK for points-to analysis

[Aiwu Shi]

hi, 
   I realy need your help for using SPARK in points-to analysis, somebody can show me sample code for using SPARK as API library in points-to analysis? I did not find documents/tutorials about that, also no messages in soot-list.

     thanks very much for your help

     Aiwu Shi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20051125/65631eac/attachment.htm