suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add a check in the compilation-top reader.

Browse Source 
This bug was found by fuzz testing.
This commit is contained in:
Sam Tobin-Hochstadt 2015-10-13 17:48:03 -04:00
parent f63188b4ea
commit f400dab912
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
racket/src/racket/src/marshal.c
View File

@ -338,6 +338,7 @@ static Scheme_Object *read_top(Scheme_Object *obj)
top->iso.so.type = scheme_compilation_top_type; top->iso.so.type = scheme_compilation_top_type;
if (!SCHEME_PAIRP(obj)) return NULL; if (!SCHEME_PAIRP(obj)) return NULL;
top->max_let_depth = SCHEME_INT_VAL(SCHEME_CAR(obj)); top->max_let_depth = SCHEME_INT_VAL(SCHEME_CAR(obj));
if (top->max_let_depth < 0) return NULL; /* Should this check for a max as well? */
obj = SCHEME_CDR(obj); obj = SCHEME_CDR(obj);
if (!SCHEME_PAIRP(obj)) return NULL; if (!SCHEME_PAIRP(obj)) return NULL;
top->binding_namess = SCHEME_CAR(obj); /* checking is in scheme_install_binding_names() */ top->binding_namess = SCHEME_CAR(obj); /* checking is in scheme_install_binding_names() */