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

Marc-André Laverdière marc-andre.laverdiere-papineau at polymtl.ca
Wed Apr 10 04:11:20 EDT 2013


Hello,

I recall a tech report from Microsoft Research that compared different  string analysis libraries and JSA was showing its age. Let me know if you need a the reference.
-- 
Marc-André Laverdière
PhD Candidate - Doctorant
Sent from a mobile device - please excuse the brevity

ASHISH MISHRA <ashish123.mishragkp at gmail.com> wrote:

>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
>
>
>------------------------------------------------------------------------
>
>_______________________________________________
>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