an improvement of the system stability by Felix: do not process invalid addresses

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@6802 8c9fc860-2736-0410-a75d-ab315db34111

source/Generic.Reflection.Mod

@@ -437,6 +437,11 @@ CONST
 	PROCEDURE WriteValue*(w: Streams.Writer; refs: Modules.Bytes; VAR offset: LONGINT; adr: ADDRESS; low, high: ADDRESS);
 	VAR type: CHAR; a: ADDRESS; size: SIZE; len: SIZE;
 	BEGIN
+		IF ~OnHeapOrStack(adr, low, high) THEN
+			SkipType(refs, offset);
+			w.String("INVALID ADR:"); w.Address(adr);
+			RETURN;
+		END;
 		type := GetChar(refs, offset);
 		CASE type OF
 			sfTypeNone:
@@ -519,6 +524,10 @@ CONST
 		ELSIF c = sfIndirect THEN
 			adr := base + GetSize(refs, offset);
 			w.Address(adr); w.String("->"); 
+			IF ~OnHeapOrStack(adr,low,high) THEN w.String(" (INVALID)"); 
+				SkipType(refs,offset);
+				RETURN;
+			END;
 			SYSTEM.GET(adr, adr);
 		ELSE (* absolute *)
 			adr := GetAddress(refs, offset);