changed analysis to recognize strings as immutable, aliases in WebServerTag no longer...
authorjjenista <jjenista>
Thu, 18 Sep 2008 20:01:54 +0000 (20:01 +0000)
committerjjenista <jjenista>
Thu, 18 Sep 2008 20:01:54 +0000 (20:01 +0000)
commit58c007bf44f5894f506abea25e2a2f736f08bd67
tree232ca124b0fc06e9e42beec739508a413d025323
parentafaec781e40c64490a0418730d38f3b5492b52eb
changed analysis to recognize strings as immutable, aliases in WebServerTag no longer reported
Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt
Robust/src/Benchmarks/Ownership/WebServerTag_ad9.txt [deleted file]