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

[Marc-André Laverdière-Papineau]

Namaste Aashish,

I am disconnected as I am writing this email, so I can't double-check, 
but I think this is the one:

@TechReport{saalgoeval,
author = {Pieter Hooimeijer and Margus Veanes},
title = {An Evaluation of Automata Algorithms for String Analysis},
institution = {Microsoft Research},
year = {2010},
number = {MSR-TR-2010-90},
url={http://research.microsoft.com/apps/pubs/default.aspx?id=133121}
}

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 13-04-10 04:42 AM, ASHISH MISHRA wrote:
> Thanks Marc for the reply,
>
> it would be a great help if you can provide me the reference.
>
> regards
> Ashish
>
>
> On Wed, Apr 10, 2013 at 1:41 PM, Marc-André Laverdière
> <marc-andre.laverdiere-papineau at polymtl.ca
> <mailto:marc-andre.laverdiere-papineau at polymtl.ca>> wrote:
>
>     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
>     <mailto: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
>     <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
>     <mailto:ashishmishra at csa.iisc.ernet.in>
>      >
>      >
>      >------------------------------------------------------------------------
>      >
>      >_______________________________________________
>      >Soot-list mailing list
>      >Soot-list at sable.mcgill.ca <mailto:Soot-list at sable.mcgill.ca>
>      >http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
>
>
> --
> Regards,
> Ashish Mishra
> Graduate Student,
> Computer Science and Automation Department,IISc
> Cell : +91-9611194714
> Mailto : ashishmishra at csa.iisc.ernet.in
> <mailto:ashishmishra at csa.iisc.ernet.in>
>