[Soot-list] Static values of string variables

[Asif Iqbal]

Hi Eric and others,

Is there any way in Soot by which the static values of dynamically  
built strings can be computed ? For example:

String s = "a";
for (int i = 0; i < 5; i++){
	s += "b";
}

Is it possible to infer that the static value of the variable s at any  
stage is actually ab*  using soot ? Or do I need to build my own  
analysis tool for this using the intermediate representations ( jimple  
or xml for example) ?

Asif


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100917/f5faabe2/attachment.html