Update of /cvsroot/fb-contrib/fb-contrib/samples
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1245/samples
Modified Files:
BSB_Sample.java
Log Message:
keep track of local variables that are aliases to the results of methods calls on this. Consider all such loads on these variables as unsafe.
Index: BSB_Sample.java
===================================================================
RCS file: /cvsroot/fb-contrib/fb-contrib/samples/BSB_Sample.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- BSB_Sample.java 2 Jan 2006 14:57:11 -0000 1.3
+++ BSB_Sample.java 2 Jan 2006 16:44:01 -0000 1.4
@@ -29,6 +29,18 @@
}
}
+ public void testAliasedLocalBeginBloated(int j)
+ {
+ Set<String> i = getInfo();
+ synchronized(info)
+ {
+ StringBuffer sb = new StringBuffer();
+ sb.append("Test");
+ sb.append(j);
+ i.add(sb.toString());
+ }
+ }
+
public Set<String> getInfo()
{
return info;
|
