[Soot-list] Fwd: Using JSA for Interprocedural String analysis

ASHISH MISHRA ashish123.mishragkp at gmail.com
Tue Apr 9 09:47:59 EDT 2013


Hi All,

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.

I am trying to do a string analysis before Call graph construction i.e cg
phase of Soot, Have you ever used the Java String Analysis libraries for
Inter procedural cases
Sorry, to use this mailing list for this question, but need some help or
pointers.

-- 
Regards,
Ashish Mishra
Graduate Student,
Computer Science and Automation Department,IISc
Cell : +91-9611194714
Mailto : ashishmishra at csa.iisc.ernet.in




-- 
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/20130409/c49d765d/attachment.html 


More information about the Soot-list mailing list