blob: ca2f9aa10f9bb8f2f53bdbd8afcfedddcb39e1e6 [file] [log] [blame]
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001
2/* Write Python objects to files and read them back.
3 This is intended for writing and reading compiled Python code only;
4 a true persistent storage facility would be much harder, since
5 it would have to take circular links and sharing into account. */
6
Thomas Wouters695934a2006-03-01 23:49:13 +00007#define PY_SSIZE_T_CLEAN
8
Guido van Rossum79f25d91997-04-29 20:08:16 +00009#include "Python.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000010#include "longintrepr.h"
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000011#include "code.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000012#include "marshal.h"
13
Mark Dickinsonefc82f72009-03-20 15:51:55 +000014#define ABS(x) ((x) < 0 ? -(x) : (x))
15
Fred Drake6da0b912000-06-28 18:47:56 +000016/* High water mark to determine when the marshalled object is dangerously deep
17 * and risks coring the interpreter. When the object stack gets this deep,
18 * raise an exception instead of continuing.
19 */
Neal Norwitzf6b0e4d2007-05-17 07:04:46 +000020#define MAX_MARSHAL_STACK_DEPTH 2000
Fred Drake6da0b912000-06-28 18:47:56 +000021
Michael W. Hudsondf888462005-06-03 14:41:55 +000022#define TYPE_NULL '0'
23#define TYPE_NONE 'N'
24#define TYPE_FALSE 'F'
25#define TYPE_TRUE 'T'
26#define TYPE_STOPITER 'S'
27#define TYPE_ELLIPSIS '.'
28#define TYPE_INT 'i'
29#define TYPE_INT64 'I'
30#define TYPE_FLOAT 'f'
31#define TYPE_BINARY_FLOAT 'g'
32#define TYPE_COMPLEX 'x'
33#define TYPE_BINARY_COMPLEX 'y'
34#define TYPE_LONG 'l'
35#define TYPE_STRING 's'
36#define TYPE_INTERNED 't'
37#define TYPE_STRINGREF 'R'
38#define TYPE_TUPLE '('
39#define TYPE_LIST '['
40#define TYPE_DICT '{'
41#define TYPE_CODE 'c'
42#define TYPE_UNICODE 'u'
43#define TYPE_UNKNOWN '?'
44#define TYPE_SET '<'
45#define TYPE_FROZENSET '>'
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000046
Eric Smith15669272009-10-19 00:34:12 +000047#define WFERR_OK 0
48#define WFERR_UNMARSHALLABLE 1
49#define WFERR_NESTEDTOODEEP 2
50#define WFERR_NOMEMORY 3
51
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000052typedef struct {
53 FILE *fp;
Eric Smith15669272009-10-19 00:34:12 +000054 int error; /* see WFERR_* values */
Fred Drake6da0b912000-06-28 18:47:56 +000055 int depth;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000056 /* If fp == NULL, the following are valid: */
Guido van Rossum79f25d91997-04-29 20:08:16 +000057 PyObject *str;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000058 char *ptr;
59 char *end;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +000060 PyObject *strings; /* dict on marshal, list on unmarshal */
Michael W. Hudsondf888462005-06-03 14:41:55 +000061 int version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000062} WFILE;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000063
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000064#define w_byte(c, p) if (((p)->fp)) putc((c), (p)->fp); \
65 else if ((p)->ptr != (p)->end) *(p)->ptr++ = (c); \
66 else w_more(c, p)
67
68static void
Fredrik Lundh11534382000-07-23 18:24:06 +000069w_more(int c, WFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000070{
Martin v. Löwis18e16552006-02-15 17:27:45 +000071 Py_ssize_t size, newsize;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000072 if (p->str == NULL)
73 return; /* An error already occurred */
Gregory P. Smithdd96db62008-06-09 04:58:54 +000074 size = PyString_Size(p->str);
Andrew M. Kuchling6c029162008-05-11 13:33:56 +000075 newsize = size + size + 1024;
76 if (newsize > 32*1024*1024) {
Raymond Hettinger305480c2008-06-16 01:42:40 +000077 newsize = size + (size >> 3); /* 12.5% overallocation */
Andrew M. Kuchling6c029162008-05-11 13:33:56 +000078 }
Gregory P. Smithdd96db62008-06-09 04:58:54 +000079 if (_PyString_Resize(&p->str, newsize) != 0) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000080 p->ptr = p->end = NULL;
81 }
82 else {
Gregory P. Smithdd96db62008-06-09 04:58:54 +000083 p->ptr = PyString_AS_STRING((PyStringObject *)p->str) + size;
Guido van Rossum79f25d91997-04-29 20:08:16 +000084 p->end =
Gregory P. Smithdd96db62008-06-09 04:58:54 +000085 PyString_AS_STRING((PyStringObject *)p->str) + newsize;
Tim Peters8315ea52000-07-23 19:28:35 +000086 *p->ptr++ = Py_SAFE_DOWNCAST(c, int, char);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000087 }
88}
89
90static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +000091w_string(char *s, int n, WFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000092{
93 if (p->fp != NULL) {
94 fwrite(s, 1, n, p->fp);
95 }
96 else {
97 while (--n >= 0) {
98 w_byte(*s, p);
99 s++;
100 }
101 }
102}
103
104static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000105w_short(int x, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000106{
Thomas Heller3e1c18a2002-07-30 11:40:57 +0000107 w_byte((char)( x & 0xff), p);
108 w_byte((char)((x>> 8) & 0xff), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000109}
110
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000111static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000112w_long(long x, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000113{
Thomas Heller37d5a152002-07-30 11:44:44 +0000114 w_byte((char)( x & 0xff), p);
115 w_byte((char)((x>> 8) & 0xff), p);
116 w_byte((char)((x>>16) & 0xff), p);
117 w_byte((char)((x>>24) & 0xff), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000118}
119
Guido van Rossumc1547d91996-12-10 15:39:04 +0000120#if SIZEOF_LONG > 4
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000121static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000122w_long64(long x, WFILE *p)
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000123{
124 w_long(x, p);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000125 w_long(x>>32, p);
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000126}
Guido van Rossumc1547d91996-12-10 15:39:04 +0000127#endif
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000128
Mark Dickinsonefc82f72009-03-20 15:51:55 +0000129/* We assume that Python longs are stored internally in base some power of
130 2**15; for the sake of portability we'll always read and write them in base
131 exactly 2**15. */
132
133#define PyLong_MARSHAL_SHIFT 15
134#define PyLong_MARSHAL_BASE ((short)1 << PyLong_MARSHAL_SHIFT)
135#define PyLong_MARSHAL_MASK (PyLong_MARSHAL_BASE - 1)
136#if PyLong_SHIFT % PyLong_MARSHAL_SHIFT != 0
137#error "PyLong_SHIFT must be a multiple of PyLong_MARSHAL_SHIFT"
138#endif
139#define PyLong_MARSHAL_RATIO (PyLong_SHIFT / PyLong_MARSHAL_SHIFT)
140
141static void
142w_PyLong(const PyLongObject *ob, WFILE *p)
143{
144 Py_ssize_t i, j, n, l;
145 digit d;
146
147 w_byte(TYPE_LONG, p);
148 if (Py_SIZE(ob) == 0) {
149 w_long((long)0, p);
150 return;
151 }
152
153 /* set l to number of base PyLong_MARSHAL_BASE digits */
154 n = ABS(Py_SIZE(ob));
155 l = (n-1) * PyLong_MARSHAL_RATIO;
156 d = ob->ob_digit[n-1];
157 assert(d != 0); /* a PyLong is always normalized */
158 do {
159 d >>= PyLong_MARSHAL_SHIFT;
160 l++;
161 } while (d != 0);
162 w_long((long)(Py_SIZE(ob) > 0 ? l : -l), p);
163
164 for (i=0; i < n-1; i++) {
165 d = ob->ob_digit[i];
166 for (j=0; j < PyLong_MARSHAL_RATIO; j++) {
167 w_short(d & PyLong_MARSHAL_MASK, p);
168 d >>= PyLong_MARSHAL_SHIFT;
169 }
170 assert (d == 0);
171 }
172 d = ob->ob_digit[n-1];
173 do {
174 w_short(d & PyLong_MARSHAL_MASK, p);
175 d >>= PyLong_MARSHAL_SHIFT;
176 } while (d != 0);
177}
178
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000179static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000180w_object(PyObject *v, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000181{
Martin v. Löwis18e16552006-02-15 17:27:45 +0000182 Py_ssize_t i, n;
Fred Drake6da0b912000-06-28 18:47:56 +0000183
184 p->depth++;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000185
Fred Drake6da0b912000-06-28 18:47:56 +0000186 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
Eric Smith15669272009-10-19 00:34:12 +0000187 p->error = WFERR_NESTEDTOODEEP;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000188 }
Fred Drake6da0b912000-06-28 18:47:56 +0000189 else if (v == NULL) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000190 w_byte(TYPE_NULL, p);
Guido van Rossum730806d1998-04-10 22:27:42 +0000191 }
192 else if (v == Py_None) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000193 w_byte(TYPE_NONE, p);
Guido van Rossum730806d1998-04-10 22:27:42 +0000194 }
Tim Peters5ca576e2001-06-18 22:08:13 +0000195 else if (v == PyExc_StopIteration) {
196 w_byte(TYPE_STOPITER, p);
197 }
Guido van Rossum730806d1998-04-10 22:27:42 +0000198 else if (v == Py_Ellipsis) {
199 w_byte(TYPE_ELLIPSIS, p);
200 }
Guido van Rossum77f6a652002-04-03 22:41:51 +0000201 else if (v == Py_False) {
202 w_byte(TYPE_FALSE, p);
203 }
204 else if (v == Py_True) {
205 w_byte(TYPE_TRUE, p);
206 }
Raymond Hettinger12e94202007-11-07 01:13:09 +0000207 else if (PyInt_CheckExact(v)) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000208 long x = PyInt_AS_LONG((PyIntObject *)v);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000209#if SIZEOF_LONG > 4
Tim Peters44714002001-04-10 05:02:52 +0000210 long y = Py_ARITHMETIC_RIGHT_SHIFT(long, x, 31);
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000211 if (y && y != -1) {
212 w_byte(TYPE_INT64, p);
213 w_long64(x, p);
214 }
Guido van Rossumc1547d91996-12-10 15:39:04 +0000215 else
216#endif
217 {
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000218 w_byte(TYPE_INT, p);
219 w_long(x, p);
220 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000221 }
Raymond Hettinger12e94202007-11-07 01:13:09 +0000222 else if (PyLong_CheckExact(v)) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000223 PyLongObject *ob = (PyLongObject *)v;
Mark Dickinsonefc82f72009-03-20 15:51:55 +0000224 w_PyLong(ob, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000225 }
Raymond Hettinger12e94202007-11-07 01:13:09 +0000226 else if (PyFloat_CheckExact(v)) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000227 if (p->version > 1) {
Brett Cannonc9371d42005-06-25 08:23:41 +0000228 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000229 if (_PyFloat_Pack8(PyFloat_AsDouble(v),
230 buf, 1) < 0) {
Eric Smith15669272009-10-19 00:34:12 +0000231 p->error = WFERR_UNMARSHALLABLE;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000232 return;
233 }
234 w_byte(TYPE_BINARY_FLOAT, p);
Brett Cannonc9371d42005-06-25 08:23:41 +0000235 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000236 }
237 else {
Eric Smith15669272009-10-19 00:34:12 +0000238 char *buf = PyOS_double_to_string(PyFloat_AS_DOUBLE(v),
239 'g', 17, 0, NULL);
240 if (!buf) {
241 p->error = WFERR_NOMEMORY;
242 return;
243 }
Martin v. Löwis67baee62006-02-16 14:37:48 +0000244 n = strlen(buf);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000245 w_byte(TYPE_FLOAT, p);
Martin v. Löwis67baee62006-02-16 14:37:48 +0000246 w_byte((int)n, p);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000247 w_string(buf, (int)n, p);
Eric Smith15669272009-10-19 00:34:12 +0000248 PyMem_Free(buf);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000249 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000250 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000251#ifndef WITHOUT_COMPLEX
Raymond Hettinger12e94202007-11-07 01:13:09 +0000252 else if (PyComplex_CheckExact(v)) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000253 if (p->version > 1) {
Brett Cannonc9371d42005-06-25 08:23:41 +0000254 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000255 if (_PyFloat_Pack8(PyComplex_RealAsDouble(v),
256 buf, 1) < 0) {
Eric Smith15669272009-10-19 00:34:12 +0000257 p->error = WFERR_UNMARSHALLABLE;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000258 return;
259 }
260 w_byte(TYPE_BINARY_COMPLEX, p);
Brett Cannonc9371d42005-06-25 08:23:41 +0000261 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000262 if (_PyFloat_Pack8(PyComplex_ImagAsDouble(v),
263 buf, 1) < 0) {
Eric Smith15669272009-10-19 00:34:12 +0000264 p->error = WFERR_UNMARSHALLABLE;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000265 return;
266 }
Brett Cannonc9371d42005-06-25 08:23:41 +0000267 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000268 }
269 else {
Eric Smith15669272009-10-19 00:34:12 +0000270 char *buf;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000271 w_byte(TYPE_COMPLEX, p);
Eric Smith15669272009-10-19 00:34:12 +0000272 buf = PyOS_double_to_string(PyComplex_RealAsDouble(v),
273 'g', 17, 0, NULL);
274 if (!buf) {
275 p->error = WFERR_NOMEMORY;
Neal Norwitzedb21682006-08-12 01:47:59 +0000276 return;
277 }
Martin v. Löwis725507b2006-03-07 12:08:51 +0000278 n = strlen(buf);
279 w_byte((int)n, p);
280 w_string(buf, (int)n, p);
Eric Smith15669272009-10-19 00:34:12 +0000281 PyMem_Free(buf);
282 buf = PyOS_double_to_string(PyComplex_ImagAsDouble(v),
283 'g', 17, 0, NULL);
284 if (!buf) {
285 p->error = WFERR_NOMEMORY;
Neal Norwitzedb21682006-08-12 01:47:59 +0000286 return;
287 }
Martin v. Löwis725507b2006-03-07 12:08:51 +0000288 n = strlen(buf);
289 w_byte((int)n, p);
290 w_string(buf, (int)n, p);
Eric Smith15669272009-10-19 00:34:12 +0000291 PyMem_Free(buf);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000292 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000293 }
294#endif
Gregory P. Smithdd96db62008-06-09 04:58:54 +0000295 else if (PyString_CheckExact(v)) {
296 if (p->strings && PyString_CHECK_INTERNED(v)) {
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000297 PyObject *o = PyDict_GetItem(p->strings, v);
298 if (o) {
299 long w = PyInt_AsLong(o);
300 w_byte(TYPE_STRINGREF, p);
301 w_long(w, p);
302 goto exit;
303 }
304 else {
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000305 int ok;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000306 o = PyInt_FromSsize_t(PyDict_Size(p->strings));
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000307 ok = o &&
308 PyDict_SetItem(p->strings, v, o) >= 0;
309 Py_XDECREF(o);
310 if (!ok) {
311 p->depth--;
Eric Smith15669272009-10-19 00:34:12 +0000312 p->error = WFERR_UNMARSHALLABLE;
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000313 return;
314 }
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000315 w_byte(TYPE_INTERNED, p);
316 }
317 }
318 else {
319 w_byte(TYPE_STRING, p);
320 }
Gregory P. Smithdd96db62008-06-09 04:58:54 +0000321 n = PyString_GET_SIZE(v);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000322 if (n > INT_MAX) {
323 /* huge strings are not supported */
324 p->depth--;
Eric Smith15669272009-10-19 00:34:12 +0000325 p->error = WFERR_UNMARSHALLABLE;
Martin v. Löwis725507b2006-03-07 12:08:51 +0000326 return;
327 }
Guido van Rossum3a205f71995-02-17 15:10:07 +0000328 w_long((long)n, p);
Gregory P. Smithdd96db62008-06-09 04:58:54 +0000329 w_string(PyString_AS_STRING(v), (int)n, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000330 }
Martin v. Löwis339d0f72001-08-17 18:39:25 +0000331#ifdef Py_USING_UNICODE
Raymond Hettinger12e94202007-11-07 01:13:09 +0000332 else if (PyUnicode_CheckExact(v)) {
Guido van Rossumc279b532000-03-10 23:03:02 +0000333 PyObject *utf8;
334 utf8 = PyUnicode_AsUTF8String(v);
335 if (utf8 == NULL) {
Guido van Rossum98626cd2000-06-28 23:24:19 +0000336 p->depth--;
Eric Smith15669272009-10-19 00:34:12 +0000337 p->error = WFERR_UNMARSHALLABLE;
Guido van Rossum98626cd2000-06-28 23:24:19 +0000338 return;
Guido van Rossumc279b532000-03-10 23:03:02 +0000339 }
340 w_byte(TYPE_UNICODE, p);
Gregory P. Smithdd96db62008-06-09 04:58:54 +0000341 n = PyString_GET_SIZE(utf8);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000342 if (n > INT_MAX) {
343 p->depth--;
Eric Smith15669272009-10-19 00:34:12 +0000344 p->error = WFERR_UNMARSHALLABLE;
Martin v. Löwis725507b2006-03-07 12:08:51 +0000345 return;
346 }
Guido van Rossumc279b532000-03-10 23:03:02 +0000347 w_long((long)n, p);
Gregory P. Smithdd96db62008-06-09 04:58:54 +0000348 w_string(PyString_AS_STRING(utf8), (int)n, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000349 Py_DECREF(utf8);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000350 }
Martin v. Löwis339d0f72001-08-17 18:39:25 +0000351#endif
Raymond Hettinger12e94202007-11-07 01:13:09 +0000352 else if (PyTuple_CheckExact(v)) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000353 w_byte(TYPE_TUPLE, p);
Guido van Rossum79f25d91997-04-29 20:08:16 +0000354 n = PyTuple_Size(v);
Guido van Rossum3a205f71995-02-17 15:10:07 +0000355 w_long((long)n, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000356 for (i = 0; i < n; i++) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000357 w_object(PyTuple_GET_ITEM(v, i), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000358 }
359 }
Raymond Hettinger12e94202007-11-07 01:13:09 +0000360 else if (PyList_CheckExact(v)) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000361 w_byte(TYPE_LIST, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000362 n = PyList_GET_SIZE(v);
Guido van Rossum3a205f71995-02-17 15:10:07 +0000363 w_long((long)n, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000364 for (i = 0; i < n; i++) {
Guido van Rossumc279b532000-03-10 23:03:02 +0000365 w_object(PyList_GET_ITEM(v, i), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000366 }
367 }
Raymond Hettinger12e94202007-11-07 01:13:09 +0000368 else if (PyDict_CheckExact(v)) {
Martin v. Löwis18e16552006-02-15 17:27:45 +0000369 Py_ssize_t pos;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000370 PyObject *key, *value;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000371 w_byte(TYPE_DICT, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000372 /* This one is NULL object terminated! */
Guido van Rossum25831651993-05-19 14:50:45 +0000373 pos = 0;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000374 while (PyDict_Next(v, &pos, &key, &value)) {
Guido van Rossum25831651993-05-19 14:50:45 +0000375 w_object(key, p);
376 w_object(value, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000377 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000378 w_object((PyObject *)NULL, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000379 }
Raymond Hettinger12e94202007-11-07 01:13:09 +0000380 else if (PyAnySet_CheckExact(v)) {
Raymond Hettingera422c342005-01-11 03:03:27 +0000381 PyObject *value, *it;
382
383 if (PyObject_TypeCheck(v, &PySet_Type))
384 w_byte(TYPE_SET, p);
385 else
386 w_byte(TYPE_FROZENSET, p);
387 n = PyObject_Size(v);
388 if (n == -1) {
389 p->depth--;
Eric Smith15669272009-10-19 00:34:12 +0000390 p->error = WFERR_UNMARSHALLABLE;
Raymond Hettingera422c342005-01-11 03:03:27 +0000391 return;
392 }
393 w_long((long)n, p);
394 it = PyObject_GetIter(v);
395 if (it == NULL) {
396 p->depth--;
Eric Smith15669272009-10-19 00:34:12 +0000397 p->error = WFERR_UNMARSHALLABLE;
Raymond Hettingera422c342005-01-11 03:03:27 +0000398 return;
399 }
400 while ((value = PyIter_Next(it)) != NULL) {
401 w_object(value, p);
402 Py_DECREF(value);
403 }
404 Py_DECREF(it);
405 if (PyErr_Occurred()) {
406 p->depth--;
Eric Smith15669272009-10-19 00:34:12 +0000407 p->error = WFERR_UNMARSHALLABLE;
Raymond Hettingera422c342005-01-11 03:03:27 +0000408 return;
409 }
410 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000411 else if (PyCode_Check(v)) {
412 PyCodeObject *co = (PyCodeObject *)v;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000413 w_byte(TYPE_CODE, p);
Neal Norwitz7fdcb412002-06-14 01:07:39 +0000414 w_long(co->co_argcount, p);
415 w_long(co->co_nlocals, p);
416 w_long(co->co_stacksize, p);
417 w_long(co->co_flags, p);
Guido van Rossumd076c731998-10-07 19:42:25 +0000418 w_object(co->co_code, p);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000419 w_object(co->co_consts, p);
420 w_object(co->co_names, p);
Guido van Rossum681d79a1995-07-18 14:51:37 +0000421 w_object(co->co_varnames, p);
Jeremy Hylton64949cb2001-01-25 20:06:59 +0000422 w_object(co->co_freevars, p);
423 w_object(co->co_cellvars, p);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000424 w_object(co->co_filename, p);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000425 w_object(co->co_name, p);
Neal Norwitz7fdcb412002-06-14 01:07:39 +0000426 w_long(co->co_firstlineno, p);
Guido van Rossumd031c891997-01-24 03:44:17 +0000427 w_object(co->co_lnotab, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000428 }
Jeremy Hylton9f64caa2001-11-09 22:02:48 +0000429 else if (PyObject_CheckReadBuffer(v)) {
Guido van Rossumd076c731998-10-07 19:42:25 +0000430 /* Write unknown buffer-style objects as a string */
431 char *s;
Jeremy Hylton9f64caa2001-11-09 22:02:48 +0000432 PyBufferProcs *pb = v->ob_type->tp_as_buffer;
Guido van Rossumd076c731998-10-07 19:42:25 +0000433 w_byte(TYPE_STRING, p);
434 n = (*pb->bf_getreadbuffer)(v, 0, (void **)&s);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000435 if (n > INT_MAX) {
436 p->depth--;
Eric Smith15669272009-10-19 00:34:12 +0000437 p->error = WFERR_UNMARSHALLABLE;
Martin v. Löwis725507b2006-03-07 12:08:51 +0000438 return;
439 }
Guido van Rossumd076c731998-10-07 19:42:25 +0000440 w_long((long)n, p);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000441 w_string(s, (int)n, p);
Guido van Rossumd076c731998-10-07 19:42:25 +0000442 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000443 else {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000444 w_byte(TYPE_UNKNOWN, p);
Eric Smith15669272009-10-19 00:34:12 +0000445 p->error = WFERR_UNMARSHALLABLE;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000446 }
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000447 exit:
Guido van Rossum98626cd2000-06-28 23:24:19 +0000448 p->depth--;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000449}
450
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000451/* version currently has no effect for writing longs. */
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000452void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000453PyMarshal_WriteLongToFile(long x, FILE *fp, int version)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000454{
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000455 WFILE wf;
456 wf.fp = fp;
Eric Smith15669272009-10-19 00:34:12 +0000457 wf.error = WFERR_OK;
Fred Drake6da0b912000-06-28 18:47:56 +0000458 wf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000459 wf.strings = NULL;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000460 wf.version = version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000461 w_long(x, &wf);
462}
463
464void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000465PyMarshal_WriteObjectToFile(PyObject *x, FILE *fp, int version)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000466{
467 WFILE wf;
468 wf.fp = fp;
Eric Smith15669272009-10-19 00:34:12 +0000469 wf.error = WFERR_OK;
Guido van Rossum98626cd2000-06-28 23:24:19 +0000470 wf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000471 wf.strings = (version > 0) ? PyDict_New() : NULL;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000472 wf.version = version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000473 w_object(x, &wf);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000474 Py_XDECREF(wf.strings);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000475}
476
477typedef WFILE RFILE; /* Same struct with different invariants */
478
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000479#define rs_byte(p) (((p)->ptr < (p)->end) ? (unsigned char)*(p)->ptr++ : EOF)
Guido van Rossum8d617a61995-03-09 12:12:11 +0000480
481#define r_byte(p) ((p)->fp ? getc((p)->fp) : rs_byte(p))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000482
483static int
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000484r_string(char *s, int n, RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000485{
486 if (p->fp != NULL)
Martin v. Löwis18e16552006-02-15 17:27:45 +0000487 /* The result fits into int because it must be <=n. */
488 return (int)fread(s, 1, n, p->fp);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000489 if (p->end - p->ptr < n)
Martin v. Löwis18e16552006-02-15 17:27:45 +0000490 n = (int)(p->end - p->ptr);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000491 memcpy(s, p->ptr, n);
492 p->ptr += n;
493 return n;
494}
495
496static int
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000497r_short(RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000498{
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000499 register short x;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000500 x = r_byte(p);
501 x |= r_byte(p) << 8;
Tim Peterse84b7402000-09-19 08:54:13 +0000502 /* Sign-extension, in case short greater than 16 bits */
503 x |= -(x & 0x8000);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000504 return x;
505}
506
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000507static long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000508r_long(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000509{
510 register long x;
Guido van Rossum8d617a61995-03-09 12:12:11 +0000511 register FILE *fp = p->fp;
512 if (fp) {
513 x = getc(fp);
514 x |= (long)getc(fp) << 8;
515 x |= (long)getc(fp) << 16;
516 x |= (long)getc(fp) << 24;
517 }
518 else {
519 x = rs_byte(p);
520 x |= (long)rs_byte(p) << 8;
521 x |= (long)rs_byte(p) << 16;
522 x |= (long)rs_byte(p) << 24;
523 }
Guido van Rossumc1547d91996-12-10 15:39:04 +0000524#if SIZEOF_LONG > 4
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000525 /* Sign extension for 64-bit machines */
Tim Peterse84b7402000-09-19 08:54:13 +0000526 x |= -(x & 0x80000000L);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000527#endif
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000528 return x;
529}
530
Tim Peters82112372001-08-29 02:28:42 +0000531/* r_long64 deals with the TYPE_INT64 code. On a machine with
532 sizeof(long) > 4, it returns a Python int object, else a Python long
533 object. Note that w_long64 writes out TYPE_INT if 32 bits is enough,
534 so there's no inefficiency here in returning a PyLong on 32-bit boxes
535 for everything written via TYPE_INT64 (i.e., if an int is written via
536 TYPE_INT64, it *needs* more than 32 bits).
537*/
538static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000539r_long64(RFILE *p)
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000540{
Tim Peters82112372001-08-29 02:28:42 +0000541 long lo4 = r_long(p);
542 long hi4 = r_long(p);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000543#if SIZEOF_LONG > 4
Tim Peters82112372001-08-29 02:28:42 +0000544 long x = (hi4 << 32) | (lo4 & 0xFFFFFFFFL);
545 return PyInt_FromLong(x);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000546#else
Tim Peters82112372001-08-29 02:28:42 +0000547 unsigned char buf[8];
548 int one = 1;
549 int is_little_endian = (int)*(char*)&one;
550 if (is_little_endian) {
551 memcpy(buf, &lo4, 4);
552 memcpy(buf+4, &hi4, 4);
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000553 }
Tim Peters82112372001-08-29 02:28:42 +0000554 else {
555 memcpy(buf, &hi4, 4);
556 memcpy(buf+4, &lo4, 4);
557 }
558 return _PyLong_FromByteArray(buf, 8, is_little_endian, 1);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000559#endif
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000560}
561
Guido van Rossum79f25d91997-04-29 20:08:16 +0000562static PyObject *
Mark Dickinsonefc82f72009-03-20 15:51:55 +0000563r_PyLong(RFILE *p)
564{
565 PyLongObject *ob;
Mark Dickinson7e7a3ec2009-09-29 19:01:06 +0000566 int size, i, j, md, shorts_in_top_digit;
Mark Dickinsonefc82f72009-03-20 15:51:55 +0000567 long n;
568 digit d;
569
570 n = r_long(p);
571 if (n == 0)
572 return (PyObject *)_PyLong_New(0);
573 if (n < -INT_MAX || n > INT_MAX) {
574 PyErr_SetString(PyExc_ValueError,
575 "bad marshal data (long size out of range)");
576 return NULL;
577 }
578
Mark Dickinson7e7a3ec2009-09-29 19:01:06 +0000579 size = 1 + (ABS(n) - 1) / PyLong_MARSHAL_RATIO;
580 shorts_in_top_digit = 1 + (ABS(n) - 1) % PyLong_MARSHAL_RATIO;
Mark Dickinsonefc82f72009-03-20 15:51:55 +0000581 ob = _PyLong_New(size);
582 if (ob == NULL)
583 return NULL;
584 Py_SIZE(ob) = n > 0 ? size : -size;
585
586 for (i = 0; i < size-1; i++) {
587 d = 0;
588 for (j=0; j < PyLong_MARSHAL_RATIO; j++) {
589 md = r_short(p);
590 if (md < 0 || md > PyLong_MARSHAL_BASE)
591 goto bad_digit;
592 d += (digit)md << j*PyLong_MARSHAL_SHIFT;
593 }
594 ob->ob_digit[i] = d;
595 }
596 d = 0;
Mark Dickinson7e7a3ec2009-09-29 19:01:06 +0000597 for (j=0; j < shorts_in_top_digit; j++) {
Mark Dickinsonefc82f72009-03-20 15:51:55 +0000598 md = r_short(p);
599 if (md < 0 || md > PyLong_MARSHAL_BASE)
600 goto bad_digit;
Mark Dickinson7e7a3ec2009-09-29 19:01:06 +0000601 /* topmost marshal digit should be nonzero */
602 if (md == 0 && j == shorts_in_top_digit - 1) {
603 Py_DECREF(ob);
604 PyErr_SetString(PyExc_ValueError,
605 "bad marshal data (unnormalized long data)");
606 return NULL;
607 }
Mark Dickinsonefc82f72009-03-20 15:51:55 +0000608 d += (digit)md << j*PyLong_MARSHAL_SHIFT;
609 }
Mark Dickinson7e7a3ec2009-09-29 19:01:06 +0000610 /* top digit should be nonzero, else the resulting PyLong won't be
611 normalized */
Mark Dickinsonefc82f72009-03-20 15:51:55 +0000612 ob->ob_digit[size-1] = d;
613 return (PyObject *)ob;
614 bad_digit:
615 Py_DECREF(ob);
616 PyErr_SetString(PyExc_ValueError,
617 "bad marshal data (digit out of range in long)");
618 return NULL;
619}
620
621
622static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000623r_object(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000624{
Armin Rigo01ab2792004-03-26 15:09:27 +0000625 /* NULL is a valid return value, it does not necessarily means that
626 an exception is set. */
Christian Heimes67ac0662008-01-30 11:46:00 +0000627 PyObject *v, *v2;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000628 long i, n;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000629 int type = r_byte(p);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000630 PyObject *retval;
631
632 p->depth++;
633
634 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
635 p->depth--;
636 PyErr_SetString(PyExc_ValueError, "recursion limit exceeded");
637 return NULL;
638 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000639
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000640 switch (type) {
Tim Petersd9b9ac82001-01-28 00:27:39 +0000641
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000642 case EOF:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000643 PyErr_SetString(PyExc_EOFError,
644 "EOF read where object expected");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000645 retval = NULL;
646 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000647
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000648 case TYPE_NULL:
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000649 retval = NULL;
650 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000651
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000652 case TYPE_NONE:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000653 Py_INCREF(Py_None);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000654 retval = Py_None;
655 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000656
Tim Peters5ca576e2001-06-18 22:08:13 +0000657 case TYPE_STOPITER:
658 Py_INCREF(PyExc_StopIteration);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000659 retval = PyExc_StopIteration;
660 break;
Tim Peters5ca576e2001-06-18 22:08:13 +0000661
Guido van Rossume449af71996-10-11 16:25:41 +0000662 case TYPE_ELLIPSIS:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000663 Py_INCREF(Py_Ellipsis);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000664 retval = Py_Ellipsis;
665 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000666
Guido van Rossum77f6a652002-04-03 22:41:51 +0000667 case TYPE_FALSE:
668 Py_INCREF(Py_False);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000669 retval = Py_False;
670 break;
Guido van Rossum77f6a652002-04-03 22:41:51 +0000671
672 case TYPE_TRUE:
673 Py_INCREF(Py_True);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000674 retval = Py_True;
675 break;
Guido van Rossum77f6a652002-04-03 22:41:51 +0000676
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000677 case TYPE_INT:
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000678 retval = PyInt_FromLong(r_long(p));
679 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000680
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000681 case TYPE_INT64:
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000682 retval = r_long64(p);
683 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000684
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000685 case TYPE_LONG:
Mark Dickinsonefc82f72009-03-20 15:51:55 +0000686 retval = r_PyLong(p);
687 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000688
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000689 case TYPE_FLOAT:
690 {
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000691 char buf[256];
Guido van Rossum0ae748d1997-02-14 22:58:07 +0000692 double dx;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000693 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000694 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000695 PyErr_SetString(PyExc_EOFError,
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000696 "EOF read where object expected");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000697 retval = NULL;
698 break;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000699 }
700 buf[n] = '\0';
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000701 retval = NULL;
702 PyFPE_START_PROTECT("atof", break)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000703 dx = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000704 PyFPE_END_PROTECT(dx)
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000705 retval = PyFloat_FromDouble(dx);
706 break;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000707 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000708
Michael W. Hudsondf888462005-06-03 14:41:55 +0000709 case TYPE_BINARY_FLOAT:
710 {
Brett Cannonc9371d42005-06-25 08:23:41 +0000711 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000712 double x;
Brett Cannonc9371d42005-06-25 08:23:41 +0000713 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000714 PyErr_SetString(PyExc_EOFError,
715 "EOF read where object expected");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000716 retval = NULL;
717 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000718 }
719 x = _PyFloat_Unpack8(buf, 1);
720 if (x == -1.0 && PyErr_Occurred()) {
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000721 retval = NULL;
722 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000723 }
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000724 retval = PyFloat_FromDouble(x);
725 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000726 }
727
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000728#ifndef WITHOUT_COMPLEX
729 case TYPE_COMPLEX:
730 {
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000731 char buf[256];
Guido van Rossum530956d1996-07-21 02:27:43 +0000732 Py_complex c;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000733 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000734 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000735 PyErr_SetString(PyExc_EOFError,
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000736 "EOF read where object expected");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000737 retval = NULL;
738 break;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000739 }
740 buf[n] = '\0';
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000741 retval = NULL;
742 PyFPE_START_PROTECT("atof", break;)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000743 c.real = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000744 PyFPE_END_PROTECT(c)
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000745 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000746 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000747 PyErr_SetString(PyExc_EOFError,
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000748 "EOF read where object expected");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000749 retval = NULL;
750 break;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000751 }
752 buf[n] = '\0';
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000753 PyFPE_START_PROTECT("atof", break)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000754 c.imag = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000755 PyFPE_END_PROTECT(c)
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000756 retval = PyComplex_FromCComplex(c);
757 break;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000758 }
Michael W. Hudsondf888462005-06-03 14:41:55 +0000759
760 case TYPE_BINARY_COMPLEX:
761 {
Brett Cannonc9371d42005-06-25 08:23:41 +0000762 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000763 Py_complex c;
Brett Cannonc9371d42005-06-25 08:23:41 +0000764 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000765 PyErr_SetString(PyExc_EOFError,
766 "EOF read where object expected");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000767 retval = NULL;
768 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000769 }
770 c.real = _PyFloat_Unpack8(buf, 1);
771 if (c.real == -1.0 && PyErr_Occurred()) {
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000772 retval = NULL;
773 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000774 }
Brett Cannonc9371d42005-06-25 08:23:41 +0000775 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000776 PyErr_SetString(PyExc_EOFError,
777 "EOF read where object expected");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000778 retval = NULL;
779 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000780 }
781 c.imag = _PyFloat_Unpack8(buf, 1);
782 if (c.imag == -1.0 && PyErr_Occurred()) {
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000783 retval = NULL;
784 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000785 }
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000786 retval = PyComplex_FromCComplex(c);
787 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000788 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000789#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +0000790
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000791 case TYPE_INTERNED:
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000792 case TYPE_STRING:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000793 n = r_long(p);
Armin Rigo7ccbca92006-10-04 12:17:45 +0000794 if (n < 0 || n > INT_MAX) {
Nick Coghlan8eba5ed2009-03-15 03:24:46 +0000795 PyErr_SetString(PyExc_ValueError, "bad marshal data (string size out of range)");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000796 retval = NULL;
797 break;
Guido van Rossuma45cb451998-06-08 20:27:29 +0000798 }
Gregory P. Smithdd96db62008-06-09 04:58:54 +0000799 v = PyString_FromStringAndSize((char *)NULL, n);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000800 if (v == NULL) {
801 retval = NULL;
802 break;
803 }
Gregory P. Smithdd96db62008-06-09 04:58:54 +0000804 if (r_string(PyString_AS_STRING(v), (int)n, p) != n) {
Michael W. Hudson6d6917b2005-06-03 15:17:16 +0000805 Py_DECREF(v);
806 PyErr_SetString(PyExc_EOFError,
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000807 "EOF read where object expected");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000808 retval = NULL;
809 break;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000810 }
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000811 if (type == TYPE_INTERNED) {
Gregory P. Smithdd96db62008-06-09 04:58:54 +0000812 PyString_InternInPlace(&v);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000813 if (PyList_Append(p->strings, v) < 0) {
814 retval = NULL;
815 break;
816 }
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000817 }
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000818 retval = v;
819 break;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000820
821 case TYPE_STRINGREF:
822 n = r_long(p);
Michael W. Hudsonf2ca5af2005-06-13 18:28:46 +0000823 if (n < 0 || n >= PyList_GET_SIZE(p->strings)) {
Nick Coghlan8eba5ed2009-03-15 03:24:46 +0000824 PyErr_SetString(PyExc_ValueError, "bad marshal data (string ref out of range)");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000825 retval = NULL;
826 break;
Michael W. Hudsonf2ca5af2005-06-13 18:28:46 +0000827 }
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000828 v = PyList_GET_ITEM(p->strings, n);
829 Py_INCREF(v);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000830 retval = v;
831 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000832
Martin v. Löwis339d0f72001-08-17 18:39:25 +0000833#ifdef Py_USING_UNICODE
Guido van Rossumc279b532000-03-10 23:03:02 +0000834 case TYPE_UNICODE:
835 {
836 char *buffer;
837
838 n = r_long(p);
Armin Rigo7ccbca92006-10-04 12:17:45 +0000839 if (n < 0 || n > INT_MAX) {
Nick Coghlan8eba5ed2009-03-15 03:24:46 +0000840 PyErr_SetString(PyExc_ValueError, "bad marshal data (unicode size out of range)");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000841 retval = NULL;
842 break;
Guido van Rossumc279b532000-03-10 23:03:02 +0000843 }
Guido van Rossumb18618d2000-05-03 23:44:39 +0000844 buffer = PyMem_NEW(char, n);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000845 if (buffer == NULL) {
846 retval = PyErr_NoMemory();
847 break;
848 }
Guido van Rossumc279b532000-03-10 23:03:02 +0000849 if (r_string(buffer, (int)n, p) != n) {
Guido van Rossumb18618d2000-05-03 23:44:39 +0000850 PyMem_DEL(buffer);
Guido van Rossumc279b532000-03-10 23:03:02 +0000851 PyErr_SetString(PyExc_EOFError,
852 "EOF read where object expected");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000853 retval = NULL;
854 break;
Guido van Rossumc279b532000-03-10 23:03:02 +0000855 }
856 v = PyUnicode_DecodeUTF8(buffer, n, NULL);
Guido van Rossumb18618d2000-05-03 23:44:39 +0000857 PyMem_DEL(buffer);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000858 retval = v;
859 break;
Guido van Rossumc279b532000-03-10 23:03:02 +0000860 }
Martin v. Löwis339d0f72001-08-17 18:39:25 +0000861#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +0000862
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000863 case TYPE_TUPLE:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000864 n = r_long(p);
Armin Rigo7ccbca92006-10-04 12:17:45 +0000865 if (n < 0 || n > INT_MAX) {
Nick Coghlan8eba5ed2009-03-15 03:24:46 +0000866 PyErr_SetString(PyExc_ValueError, "bad marshal data (tuple size out of range)");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000867 retval = NULL;
868 break;
Guido van Rossuma45cb451998-06-08 20:27:29 +0000869 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000870 v = PyTuple_New((int)n);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000871 if (v == NULL) {
872 retval = NULL;
873 break;
874 }
Jack Jansen9513f2c1995-10-27 13:21:28 +0000875 for (i = 0; i < n; i++) {
876 v2 = r_object(p);
877 if ( v2 == NULL ) {
Armin Rigo01ab2792004-03-26 15:09:27 +0000878 if (!PyErr_Occurred())
879 PyErr_SetString(PyExc_TypeError,
Nick Coghlan8eba5ed2009-03-15 03:24:46 +0000880 "NULL object in marshal data for tuple");
Guido van Rossum79f25d91997-04-29 20:08:16 +0000881 Py_DECREF(v);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000882 v = NULL;
883 break;
884 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000885 PyTuple_SET_ITEM(v, (int)i, v2);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000886 }
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000887 retval = v;
888 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000889
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000890 case TYPE_LIST:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000891 n = r_long(p);
Armin Rigo7ccbca92006-10-04 12:17:45 +0000892 if (n < 0 || n > INT_MAX) {
Nick Coghlan8eba5ed2009-03-15 03:24:46 +0000893 PyErr_SetString(PyExc_ValueError, "bad marshal data (list size out of range)");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000894 retval = NULL;
895 break;
Guido van Rossuma45cb451998-06-08 20:27:29 +0000896 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000897 v = PyList_New((int)n);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000898 if (v == NULL) {
899 retval = NULL;
900 break;
901 }
Jack Jansen9513f2c1995-10-27 13:21:28 +0000902 for (i = 0; i < n; i++) {
903 v2 = r_object(p);
904 if ( v2 == NULL ) {
Armin Rigo01ab2792004-03-26 15:09:27 +0000905 if (!PyErr_Occurred())
906 PyErr_SetString(PyExc_TypeError,
Nick Coghlan8eba5ed2009-03-15 03:24:46 +0000907 "NULL object in marshal data for list");
Guido van Rossum79f25d91997-04-29 20:08:16 +0000908 Py_DECREF(v);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000909 v = NULL;
910 break;
911 }
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000912 PyList_SET_ITEM(v, (int)i, v2);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000913 }
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000914 retval = v;
915 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000916
Guido van Rossum64b45521991-06-07 13:58:22 +0000917 case TYPE_DICT:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000918 v = PyDict_New();
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000919 if (v == NULL) {
920 retval = NULL;
921 break;
922 }
Guido van Rossum64b45521991-06-07 13:58:22 +0000923 for (;;) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000924 PyObject *key, *val;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000925 key = r_object(p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000926 if (key == NULL)
Armin Rigo01ab2792004-03-26 15:09:27 +0000927 break;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000928 val = r_object(p);
Guido van Rossumf2150601996-06-26 20:41:23 +0000929 if (val != NULL)
Guido van Rossum79f25d91997-04-29 20:08:16 +0000930 PyDict_SetItem(v, key, val);
931 Py_DECREF(key);
932 Py_XDECREF(val);
Guido van Rossum64b45521991-06-07 13:58:22 +0000933 }
Armin Rigo01ab2792004-03-26 15:09:27 +0000934 if (PyErr_Occurred()) {
935 Py_DECREF(v);
936 v = NULL;
937 }
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000938 retval = v;
939 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000940
Raymond Hettingera422c342005-01-11 03:03:27 +0000941 case TYPE_SET:
942 case TYPE_FROZENSET:
943 n = r_long(p);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000944 if (n < 0 || n > INT_MAX) {
Nick Coghlan8eba5ed2009-03-15 03:24:46 +0000945 PyErr_SetString(PyExc_ValueError, "bad marshal data (set size out of range)");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000946 retval = NULL;
947 break;
Raymond Hettingera422c342005-01-11 03:03:27 +0000948 }
Raymond Hettinger52716c92008-01-28 21:34:30 +0000949 v = (type == TYPE_SET) ? PySet_New(NULL) : PyFrozenSet_New(NULL);
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000950 if (v == NULL) {
951 retval = NULL;
952 break;
953 }
Raymond Hettingera422c342005-01-11 03:03:27 +0000954 for (i = 0; i < n; i++) {
955 v2 = r_object(p);
956 if ( v2 == NULL ) {
957 if (!PyErr_Occurred())
958 PyErr_SetString(PyExc_TypeError,
Nick Coghlan8eba5ed2009-03-15 03:24:46 +0000959 "NULL object in marshal data for set");
Raymond Hettingera422c342005-01-11 03:03:27 +0000960 Py_DECREF(v);
961 v = NULL;
962 break;
963 }
Raymond Hettinger52716c92008-01-28 21:34:30 +0000964 if (PySet_Add(v, v2) == -1) {
965 Py_DECREF(v);
966 Py_DECREF(v2);
967 v = NULL;
968 break;
969 }
Neal Norwitzfb43d1e2008-02-01 07:22:59 +0000970 Py_DECREF(v2);
Raymond Hettingera422c342005-01-11 03:03:27 +0000971 }
Raymond Hettingerbf3d1d52008-01-28 21:51:25 +0000972 retval = v;
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000973 break;
Raymond Hettingera422c342005-01-11 03:03:27 +0000974
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000975 case TYPE_CODE:
Michael W. Hudson80199132001-08-30 14:50:20 +0000976 if (PyEval_GetRestricted()) {
977 PyErr_SetString(PyExc_RuntimeError,
978 "cannot unmarshal code objects in "
979 "restricted execution mode");
Neal Norwitzb1a9b372007-05-16 20:05:11 +0000980 retval = NULL;
981 break;
Michael W. Hudson80199132001-08-30 14:50:20 +0000982 }
983 else {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000984 int argcount;
985 int nlocals;
986 int stacksize;
987 int flags;
988 PyObject *code = NULL;
989 PyObject *consts = NULL;
990 PyObject *names = NULL;
991 PyObject *varnames = NULL;
992 PyObject *freevars = NULL;
993 PyObject *cellvars = NULL;
994 PyObject *filename = NULL;
995 PyObject *name = NULL;
996 int firstlineno;
997 PyObject *lnotab = NULL;
998
999 v = NULL;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001000
Armin Rigo7ccbca92006-10-04 12:17:45 +00001001 /* XXX ignore long->int overflows for now */
1002 argcount = (int)r_long(p);
1003 nlocals = (int)r_long(p);
1004 stacksize = (int)r_long(p);
1005 flags = (int)r_long(p);
Michael W. Hudsondf888462005-06-03 14:41:55 +00001006 code = r_object(p);
1007 if (code == NULL)
1008 goto code_error;
1009 consts = r_object(p);
1010 if (consts == NULL)
1011 goto code_error;
1012 names = r_object(p);
1013 if (names == NULL)
1014 goto code_error;
1015 varnames = r_object(p);
1016 if (varnames == NULL)
1017 goto code_error;
1018 freevars = r_object(p);
1019 if (freevars == NULL)
1020 goto code_error;
1021 cellvars = r_object(p);
1022 if (cellvars == NULL)
1023 goto code_error;
1024 filename = r_object(p);
1025 if (filename == NULL)
1026 goto code_error;
1027 name = r_object(p);
1028 if (name == NULL)
1029 goto code_error;
Armin Rigo7ccbca92006-10-04 12:17:45 +00001030 firstlineno = (int)r_long(p);
Michael W. Hudsondf888462005-06-03 14:41:55 +00001031 lnotab = r_object(p);
1032 if (lnotab == NULL)
1033 goto code_error;
1034
1035 v = (PyObject *) PyCode_New(
Tim Petersd9b9ac82001-01-28 00:27:39 +00001036 argcount, nlocals, stacksize, flags,
Guido van Rossum681d79a1995-07-18 14:51:37 +00001037 code, consts, names, varnames,
Tim Petersd9b9ac82001-01-28 00:27:39 +00001038 freevars, cellvars, filename, name,
1039 firstlineno, lnotab);
Michael W. Hudsondf888462005-06-03 14:41:55 +00001040
1041 code_error:
Guido van Rossum79f25d91997-04-29 20:08:16 +00001042 Py_XDECREF(code);
1043 Py_XDECREF(consts);
1044 Py_XDECREF(names);
1045 Py_XDECREF(varnames);
Jeremy Hylton64949cb2001-01-25 20:06:59 +00001046 Py_XDECREF(freevars);
1047 Py_XDECREF(cellvars);
Guido van Rossum79f25d91997-04-29 20:08:16 +00001048 Py_XDECREF(filename);
1049 Py_XDECREF(name);
Guido van Rossum6fc06e71997-07-26 23:30:18 +00001050 Py_XDECREF(lnotab);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001051
1052 }
Neal Norwitzb1a9b372007-05-16 20:05:11 +00001053 retval = v;
1054 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001055
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001056 default:
Guido van Rossumf2150601996-06-26 20:41:23 +00001057 /* Bogus data got written, which isn't ideal.
1058 This will let you keep working and recover. */
Nick Coghlan8eba5ed2009-03-15 03:24:46 +00001059 PyErr_SetString(PyExc_ValueError, "bad marshal data (unknown type code)");
Neal Norwitzb1a9b372007-05-16 20:05:11 +00001060 retval = NULL;
1061 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001062
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001063 }
Neal Norwitzb1a9b372007-05-16 20:05:11 +00001064 p->depth--;
1065 return retval;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001066}
1067
Neal Norwitzd85c4522004-06-13 20:31:49 +00001068static PyObject *
Armin Rigo01ab2792004-03-26 15:09:27 +00001069read_object(RFILE *p)
1070{
1071 PyObject *v;
1072 if (PyErr_Occurred()) {
1073 fprintf(stderr, "XXX readobject called with exception set\n");
1074 return NULL;
1075 }
1076 v = r_object(p);
1077 if (v == NULL && !PyErr_Occurred())
Nick Coghlan8eba5ed2009-03-15 03:24:46 +00001078 PyErr_SetString(PyExc_TypeError, "NULL object in marshal data for object");
Armin Rigo01ab2792004-03-26 15:09:27 +00001079 return v;
1080}
1081
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001082int
1083PyMarshal_ReadShortFromFile(FILE *fp)
1084{
1085 RFILE rf;
Thomas Wouters7f401ef2006-03-01 22:30:47 +00001086 assert(fp);
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001087 rf.fp = fp;
Thomas Wouters7464b432006-03-01 22:34:09 +00001088 rf.strings = NULL;
1089 rf.end = rf.ptr = NULL;
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001090 return r_short(&rf);
1091}
1092
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001093long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001094PyMarshal_ReadLongFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001095{
1096 RFILE rf;
1097 rf.fp = fp;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001098 rf.strings = NULL;
Neal Norwitz15f26612007-10-12 03:05:19 +00001099 rf.ptr = rf.end = NULL;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001100 return r_long(&rf);
1101}
1102
Tim Peters691e0e92001-01-18 04:39:16 +00001103#ifdef HAVE_FSTAT
1104/* Return size of file in bytes; < 0 if unknown. */
1105static off_t
1106getfilesize(FILE *fp)
1107{
1108 struct stat st;
1109 if (fstat(fileno(fp), &st) != 0)
1110 return -1;
1111 else
1112 return st.st_size;
1113}
1114#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +00001115
Tim Peters691e0e92001-01-18 04:39:16 +00001116/* If we can get the size of the file up-front, and it's reasonably small,
1117 * read it in one gulp and delegate to ...FromString() instead. Much quicker
1118 * than reading a byte at a time from file; speeds .pyc imports.
Tim Petersd9b9ac82001-01-28 00:27:39 +00001119 * CAUTION: since this may read the entire remainder of the file, don't
1120 * call it unless you know you're done with the file.
Tim Peters691e0e92001-01-18 04:39:16 +00001121 */
Guido van Rossum79f25d91997-04-29 20:08:16 +00001122PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +00001123PyMarshal_ReadLastObjectFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001124{
Tim Peters691e0e92001-01-18 04:39:16 +00001125/* 75% of 2.1's .pyc files can exploit SMALL_FILE_LIMIT.
1126 * REASONABLE_FILE_LIMIT is by defn something big enough for Tkinter.pyc.
1127 */
1128#define SMALL_FILE_LIMIT (1L << 14)
1129#define REASONABLE_FILE_LIMIT (1L << 18)
Tim Peters691e0e92001-01-18 04:39:16 +00001130#ifdef HAVE_FSTAT
1131 off_t filesize;
1132#endif
Tim Peters691e0e92001-01-18 04:39:16 +00001133#ifdef HAVE_FSTAT
1134 filesize = getfilesize(fp);
1135 if (filesize > 0) {
1136 char buf[SMALL_FILE_LIMIT];
1137 char* pBuf = NULL;
1138 if (filesize <= SMALL_FILE_LIMIT)
1139 pBuf = buf;
1140 else if (filesize <= REASONABLE_FILE_LIMIT)
1141 pBuf = (char *)PyMem_MALLOC(filesize);
1142 if (pBuf != NULL) {
1143 PyObject* v;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001144 size_t n;
1145 /* filesize must fit into an int, because it
1146 is smaller than REASONABLE_FILE_LIMIT */
1147 n = fread(pBuf, 1, (int)filesize, fp);
Tim Peters691e0e92001-01-18 04:39:16 +00001148 v = PyMarshal_ReadObjectFromString(pBuf, n);
1149 if (pBuf != buf)
1150 PyMem_FREE(pBuf);
1151 return v;
1152 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001153
Tim Peters691e0e92001-01-18 04:39:16 +00001154 }
1155#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +00001156 /* We don't have fstat, or we do but the file is larger than
1157 * REASONABLE_FILE_LIMIT or malloc failed -- read a byte at a time.
1158 */
1159 return PyMarshal_ReadObjectFromFile(fp);
1160
Tim Peters691e0e92001-01-18 04:39:16 +00001161#undef SMALL_FILE_LIMIT
1162#undef REASONABLE_FILE_LIMIT
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001163}
1164
Guido van Rossum79f25d91997-04-29 20:08:16 +00001165PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +00001166PyMarshal_ReadObjectFromFile(FILE *fp)
1167{
1168 RFILE rf;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001169 PyObject *result;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001170 rf.fp = fp;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001171 rf.strings = PyList_New(0);
Neal Norwitzb1a9b372007-05-16 20:05:11 +00001172 rf.depth = 0;
Neal Norwitz15f26612007-10-12 03:05:19 +00001173 rf.ptr = rf.end = NULL;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001174 result = r_object(&rf);
1175 Py_DECREF(rf.strings);
1176 return result;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001177}
1178
1179PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001180PyMarshal_ReadObjectFromString(char *str, Py_ssize_t len)
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001181{
1182 RFILE rf;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001183 PyObject *result;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001184 rf.fp = NULL;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001185 rf.ptr = str;
1186 rf.end = str + len;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001187 rf.strings = PyList_New(0);
Neal Norwitzb1a9b372007-05-16 20:05:11 +00001188 rf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001189 result = r_object(&rf);
1190 Py_DECREF(rf.strings);
1191 return result;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001192}
1193
Eric Smith15669272009-10-19 00:34:12 +00001194static void
1195set_error(int error)
1196{
1197 switch (error) {
1198 case WFERR_NOMEMORY:
1199 PyErr_NoMemory();
1200 break;
1201 case WFERR_UNMARSHALLABLE:
1202 PyErr_SetString(PyExc_ValueError, "unmarshallable object");
1203 break;
1204 case WFERR_NESTEDTOODEEP:
1205 default:
1206 PyErr_SetString(PyExc_ValueError,
1207 "object too deeply nested to marshal");
1208 break;
1209 }
1210}
1211
Guido van Rossum79f25d91997-04-29 20:08:16 +00001212PyObject *
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001213PyMarshal_WriteObjectToString(PyObject *x, int version)
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001214{
1215 WFILE wf;
1216 wf.fp = NULL;
Gregory P. Smithdd96db62008-06-09 04:58:54 +00001217 wf.str = PyString_FromStringAndSize((char *)NULL, 50);
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001218 if (wf.str == NULL)
1219 return NULL;
Gregory P. Smithdd96db62008-06-09 04:58:54 +00001220 wf.ptr = PyString_AS_STRING((PyStringObject *)wf.str);
1221 wf.end = wf.ptr + PyString_Size(wf.str);
Eric Smith15669272009-10-19 00:34:12 +00001222 wf.error = WFERR_OK;
Fred Drake6da0b912000-06-28 18:47:56 +00001223 wf.depth = 0;
Michael W. Hudsondf888462005-06-03 14:41:55 +00001224 wf.version = version;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001225 wf.strings = (version > 0) ? PyDict_New() : NULL;
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001226 w_object(x, &wf);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001227 Py_XDECREF(wf.strings);
Armin Rigo7ccbca92006-10-04 12:17:45 +00001228 if (wf.str != NULL) {
Gregory P. Smithdd96db62008-06-09 04:58:54 +00001229 char *base = PyString_AS_STRING((PyStringObject *)wf.str);
Armin Rigo7ccbca92006-10-04 12:17:45 +00001230 if (wf.ptr - base > PY_SSIZE_T_MAX) {
1231 Py_DECREF(wf.str);
1232 PyErr_SetString(PyExc_OverflowError,
1233 "too much marshall data for a string");
1234 return NULL;
1235 }
Gregory P. Smithdd96db62008-06-09 04:58:54 +00001236 _PyString_Resize(&wf.str, (Py_ssize_t)(wf.ptr - base));
Armin Rigo7ccbca92006-10-04 12:17:45 +00001237 }
Eric Smith15669272009-10-19 00:34:12 +00001238 if (wf.error != WFERR_OK) {
Guido van Rossum79f25d91997-04-29 20:08:16 +00001239 Py_XDECREF(wf.str);
Eric Smith15669272009-10-19 00:34:12 +00001240 set_error(wf.error);
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001241 return NULL;
1242 }
1243 return wf.str;
1244}
1245
Guido van Rossum64b45521991-06-07 13:58:22 +00001246/* And an interface for Python programs... */
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001247
Guido van Rossum79f25d91997-04-29 20:08:16 +00001248static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001249marshal_dump(PyObject *self, PyObject *args)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001250{
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001251 WFILE wf;
Guido van Rossum79f25d91997-04-29 20:08:16 +00001252 PyObject *x;
1253 PyObject *f;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001254 int version = Py_MARSHAL_VERSION;
1255 if (!PyArg_ParseTuple(args, "OO|i:dump", &x, &f, &version))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001256 return NULL;
Guido van Rossum79f25d91997-04-29 20:08:16 +00001257 if (!PyFile_Check(f)) {
1258 PyErr_SetString(PyExc_TypeError,
1259 "marshal.dump() 2nd arg must be file");
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001260 return NULL;
1261 }
Guido van Rossum79f25d91997-04-29 20:08:16 +00001262 wf.fp = PyFile_AsFile(f);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001263 wf.str = NULL;
1264 wf.ptr = wf.end = NULL;
Eric Smith15669272009-10-19 00:34:12 +00001265 wf.error = WFERR_OK;
Fred Drake6da0b912000-06-28 18:47:56 +00001266 wf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001267 wf.strings = (version > 0) ? PyDict_New() : 0;
Neal Norwitzef785292005-11-16 05:04:51 +00001268 wf.version = version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001269 w_object(x, &wf);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001270 Py_XDECREF(wf.strings);
Eric Smith15669272009-10-19 00:34:12 +00001271 if (wf.error != WFERR_OK) {
1272 set_error(wf.error);
Guido van Rossumf2150601996-06-26 20:41:23 +00001273 return NULL;
1274 }
Guido van Rossum79f25d91997-04-29 20:08:16 +00001275 Py_INCREF(Py_None);
1276 return Py_None;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001277}
1278
R. David Murraya3ec6972009-05-13 00:30:29 +00001279PyDoc_STRVAR(dump_doc,
1280"dump(value, file[, version])\n\
1281\n\
1282Write the value on the open file. The value must be a supported type.\n\
1283The file must be an open file object such as sys.stdout or returned by\n\
1284open() or os.popen(). It must be opened in binary mode ('wb' or 'w+b').\n\
1285\n\
1286If the value has (or contains an object that has) an unsupported type, a\n\
1287ValueError exception is raised but garbage data will also be written\n\
1288to the file. The object will not be properly read back by load()\n\
1289\n\
1290New in version 2.4: The version argument indicates the data format that\n\
1291dump should use.");
1292
Guido van Rossum79f25d91997-04-29 20:08:16 +00001293static PyObject *
Georg Brandlbf92f462006-05-29 21:58:42 +00001294marshal_load(PyObject *self, PyObject *f)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001295{
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001296 RFILE rf;
Georg Brandlbf92f462006-05-29 21:58:42 +00001297 PyObject *result;
Guido van Rossum79f25d91997-04-29 20:08:16 +00001298 if (!PyFile_Check(f)) {
1299 PyErr_SetString(PyExc_TypeError,
1300 "marshal.load() arg must be file");
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001301 return NULL;
1302 }
Guido van Rossum79f25d91997-04-29 20:08:16 +00001303 rf.fp = PyFile_AsFile(f);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001304 rf.strings = PyList_New(0);
Neal Norwitzb1a9b372007-05-16 20:05:11 +00001305 rf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001306 result = read_object(&rf);
1307 Py_DECREF(rf.strings);
1308 return result;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001309}
1310
R. David Murraya3ec6972009-05-13 00:30:29 +00001311PyDoc_STRVAR(load_doc,
1312"load(file)\n\
1313\n\
1314Read one value from the open file and return it. If no valid value is\n\
1315read (e.g. because the data has a different Python versions\n\
1316incompatible marshal format), raise EOFError, ValueError or TypeError.\n\
1317The file must be an open file object opened in binary mode ('rb' or\n\
1318'r+b').\n\
1319\n\
1320Note: If an object containing an unsupported type was marshalled with\n\
1321dump(), load() will substitute None for the unmarshallable type.");
1322
1323
Guido van Rossum79f25d91997-04-29 20:08:16 +00001324static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001325marshal_dumps(PyObject *self, PyObject *args)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001326{
Guido van Rossum79f25d91997-04-29 20:08:16 +00001327 PyObject *x;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001328 int version = Py_MARSHAL_VERSION;
Armin Rigo2ccea172004-12-20 12:25:57 +00001329 if (!PyArg_ParseTuple(args, "O|i:dumps", &x, &version))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001330 return NULL;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001331 return PyMarshal_WriteObjectToString(x, version);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001332}
1333
R. David Murraya3ec6972009-05-13 00:30:29 +00001334PyDoc_STRVAR(dumps_doc,
1335"dumps(value[, version])\n\
1336\n\
1337Return the string that would be written to a file by dump(value, file).\n\
1338The value must be a supported type. Raise a ValueError exception if\n\
1339value has (or contains an object that has) an unsupported type.\n\
1340\n\
1341New in version 2.4: The version argument indicates the data format that\n\
R. David Murray525cffc2009-05-13 13:07:14 +00001342dumps should use.");
R. David Murraya3ec6972009-05-13 00:30:29 +00001343
1344
Guido van Rossum79f25d91997-04-29 20:08:16 +00001345static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001346marshal_loads(PyObject *self, PyObject *args)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001347{
1348 RFILE rf;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001349 char *s;
Thomas Wouters695934a2006-03-01 23:49:13 +00001350 Py_ssize_t n;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001351 PyObject* result;
Michael W. Hudson01fca112005-06-13 17:50:18 +00001352 if (!PyArg_ParseTuple(args, "s#:loads", &s, &n))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001353 return NULL;
1354 rf.fp = NULL;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001355 rf.ptr = s;
1356 rf.end = s + n;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001357 rf.strings = PyList_New(0);
Neal Norwitzb1a9b372007-05-16 20:05:11 +00001358 rf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001359 result = read_object(&rf);
1360 Py_DECREF(rf.strings);
1361 return result;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001362}
1363
R. David Murraya3ec6972009-05-13 00:30:29 +00001364PyDoc_STRVAR(loads_doc,
1365"loads(string)\n\
1366\n\
1367Convert the string to a value. If no valid value is found, raise\n\
1368EOFError, ValueError or TypeError. Extra characters in the string are\n\
1369ignored.");
1370
Guido van Rossum79f25d91997-04-29 20:08:16 +00001371static PyMethodDef marshal_methods[] = {
R. David Murraya3ec6972009-05-13 00:30:29 +00001372 {"dump", marshal_dump, METH_VARARGS, dump_doc},
1373 {"load", marshal_load, METH_O, load_doc},
1374 {"dumps", marshal_dumps, METH_VARARGS, dumps_doc},
1375 {"loads", marshal_loads, METH_VARARGS, loads_doc},
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001376 {NULL, NULL} /* sentinel */
1377};
1378
R. David Murraya3ec6972009-05-13 00:30:29 +00001379PyDoc_STRVAR(marshal_doc,
1380"This module contains functions that can read and write Python values in\n\
1381a binary format. The format is specific to Python, but independent of\n\
1382machine architecture issues.\n\
1383\n\
1384Not all Python object types are supported; in general, only objects\n\
1385whose value is independent from a particular invocation of Python can be\n\
1386written and read by this module. The following types are supported:\n\
1387None, integers, long integers, floating point numbers, strings, Unicode\n\
1388objects, tuples, lists, sets, dictionaries, and code objects, where it\n\
1389should be understood that tuples, lists and dictionaries are only\n\
1390supported as long as the values contained therein are themselves\n\
1391supported; and recursive lists and dictionaries should not be written\n\
1392(they will cause infinite loops).\n\
1393\n\
1394Variables:\n\
1395\n\
1396version -- indicates the format that the module uses. Version 0 is the\n\
1397 historical format, version 1 (added in Python 2.4) shares interned\n\
1398 strings and version 2 (added in Python 2.5) uses a binary format for\n\
1399 floating point numbers. (New in version 2.4)\n\
1400\n\
1401Functions:\n\
1402\n\
1403dump() -- write value to a file\n\
1404load() -- read value from a file\n\
1405dumps() -- write value to a string\n\
1406loads() -- read value from a string");
1407
1408
Jason Tishler6bc06ec2003-09-04 11:59:50 +00001409PyMODINIT_FUNC
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001410PyMarshal_Init(void)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001411{
R. David Murraya3ec6972009-05-13 00:30:29 +00001412 PyObject *mod = Py_InitModule3("marshal", marshal_methods,
1413 marshal_doc);
Neal Norwitz1ac754f2006-01-19 06:09:39 +00001414 if (mod == NULL)
1415 return;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001416 PyModule_AddIntConstant(mod, "version", Py_MARSHAL_VERSION);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001417}