Listing 1

/org/apache/struts/taglib/bean/DefineTag.java

171  	            if (body != null) {
172  	                body = body.trim();
173  	            }
174
175  	            if (body.length() < 1) {
176  	                body = null;
177  	            }


Listing 2

/org/apache/struts/taglib/bean/DefineTag.java

Event branch_null: this.body is null
At conditional (2): this.body != null taking false path
171  	            if (body != null) {
172  	                body = body.trim();
173  	            }
174
Event deref_while_null: this.body dereferenced while null
175  	            if (body.length() < 1) {
176  	                body = null;
177  	            }
178  	        }


Listing 3

170  	            body_tracker = 5;
171		    if (body != null) {
172  	                body = body.trim();
173  	            } else {
174			 body_tracker = 12;
175		    }
176
177  	            if (body_tracker != 12 && body.length() < 1) {
178  	                body = null;
179  	            }


Listing 4

170
171		    if (body != null) {
172  	                body = body.trim();
173			  body_tracker = 12;
174		    }
175