From a62d1d1fe05bc8cf2d1e23689dfba1d0c6d5c763 Mon Sep 17 00:00:00 2001
From: Seth Hall <seth@remor.com>
Date: Thu, 30 Jun 2011 13:42:42 -0400
Subject: [PATCH] Fixed more eternal looping bugs in the SSL analyzer.

---
 src/ssl-protocol.pac | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/ssl-protocol.pac b/src/ssl-protocol.pac
index 6d127e871c..754934929f 100644
--- a/src/ssl-protocol.pac
+++ b/src/ssl-protocol.pac
@@ -341,7 +341,9 @@ type Alert(rec: SSLRecord) = record {
 # V2 Error Records (SSLv2 2.7.)
 ######################################################################
 
-type V2Error(rec: SSLRecord) = empty &let {
+type V2Error(rec: SSLRecord) = record {
+	data:   bytestring &restofdata &transient;
+} &let {
 	error_code : uint16 = ((rec.head3 << 8) | rec.head4);
 };
 
@@ -352,7 +354,9 @@ type V2Error(rec: SSLRecord) = empty &let {
 
 # Application data should always be encrypted, so we should not
 # reach this point.
-type ApplicationData(rec: SSLRecord) = empty;
+type ApplicationData(rec: SSLRecord) = record {
+	data : bytestring &restofdata &transient;
+};
 
 ######################################################################
 # Handshake Protocol (7.4.)
@@ -550,7 +554,7 @@ type ServerHelloDone(rec: SSLRecord) = empty &let {
 # For now ignore details of ClientKeyExchange (most of it is
 # encrypted anyway); just eat up message.
 type ClientKeyExchange(rec: SSLRecord) = record {
-	key : bytestring &restofdata;
+	key : bytestring &restofdata &transient;
 } &let {
 	state_changed : bool =
 		$context.connection.transition(STATE_SERVER_HELLO_DONE,