"Strategies For Securing JAVA Code"
Vol. 9, Issue 4, p. 48

	



Listing 1
void method (int a) {
        int b;
        int value_returned =  calculate (a, b);
         String user_name = getUserName( );
        boolean valid_stack_trace  = 
		isValidStackTrace(newThrowable().getStackTrace());
         assertTrue("Warning!, Unexpected sequence of operations" ,
		 valid_strack_trace);
       // critical call, will not execute if assertion fails.
        updateDataBase(user_name, value_returned);

}