Substitution.java

Substitution.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Kind	Annotation Text
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(this.name)
post	java.lang.StringBuilder:toString(...)._tainted == value._tainted
post	this.name == name
post	this.value == &java.lang.StringBuilder:toString (...)

Kind	Annotation Text

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.name

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.value

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.value