[Soot-list] Using JSA for Interprocedural String analysis

[ASHISH MISHRA]

Hi,

I have been trying to use JSA for String analysis. the analysis works well
for the intraprocedural cases, but gives an over approximate , "All
possible Strings" whenever i call a method and return a value.

Has any one tried using JSA for Inter procediral String analysis.



-- 
Regards,
Ashish Mishra
Graduate Student,
Computer Science and Automation Department,IISc
Cell : +91-9611194714
Mailto : ashishmishra at csa.iisc.ernet.in
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130408/fa0a2e27/attachment.html