blob: 6d06266c6a8e2e78d167fa2ecfe8e4bb961d999c [file] [log] [blame]
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001
2/* Write Python objects to files and read them back.
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07003 This is primarily intended for writing and reading compiled Python code,
4 even though dicts, lists, sets and frozensets, not commonly seen in
5 code objects, are supported.
6 Version 3 of this protocol properly supports circular links
7 and sharing. */
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00008
Thomas Wouters695934a2006-03-01 23:49:13 +00009#define PY_SSIZE_T_CLEAN
10
Guido van Rossum79f25d91997-04-29 20:08:16 +000011#include "Python.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000012#include "longintrepr.h"
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000013#include "code.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000014#include "marshal.h"
Serhiy Storchakace921c622015-02-11 15:53:31 +020015#include "../Modules/hashtable.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000016
Serhiy Storchaka0767ad42017-03-12 09:20:15 +020017/*[clinic input]
18module marshal
19[clinic start generated code]*/
20/*[clinic end generated code: output=da39a3ee5e6b4b0d input=c982b7930dee17db]*/
21
22#include "clinic/marshal.c.h"
23
Fred Drake6da0b912000-06-28 18:47:56 +000024/* High water mark to determine when the marshalled object is dangerously deep
25 * and risks coring the interpreter. When the object stack gets this deep,
26 * raise an exception instead of continuing.
Guido van Rossum63175a12007-08-29 20:39:13 +000027 * On Windows debug builds, reduce this value.
Miss Islington (bot)103058e2018-06-04 13:41:49 -070028 *
29 * BUG: https://bugs.python.org/issue33720
30 * On Windows PGO builds, the r_object function overallocates its stack and
31 * can cause a stack overflow. We reduce the maximum depth for all Windows
32 * releases to protect against this.
33 * #if defined(MS_WINDOWS) && defined(_DEBUG)
Fred Drake6da0b912000-06-28 18:47:56 +000034 */
Miss Islington (bot)103058e2018-06-04 13:41:49 -070035#if defined(MS_WINDOWS)
Steve Dowerf6c69e62014-11-01 15:15:16 -070036#define MAX_MARSHAL_STACK_DEPTH 1000
Guido van Rossum63175a12007-08-29 20:39:13 +000037#else
Guido van Rossumd59da4b2007-05-22 18:11:13 +000038#define MAX_MARSHAL_STACK_DEPTH 2000
Guido van Rossum63175a12007-08-29 20:39:13 +000039#endif
Fred Drake6da0b912000-06-28 18:47:56 +000040
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000041#define TYPE_NULL '0'
42#define TYPE_NONE 'N'
43#define TYPE_FALSE 'F'
44#define TYPE_TRUE 'T'
45#define TYPE_STOPITER 'S'
46#define TYPE_ELLIPSIS '.'
47#define TYPE_INT 'i'
Serhiy Storchaka00987f62017-11-15 17:41:05 +020048/* TYPE_INT64 is not generated anymore.
49 Supported for backward compatibility only. */
50#define TYPE_INT64 'I'
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000051#define TYPE_FLOAT 'f'
52#define TYPE_BINARY_FLOAT 'g'
53#define TYPE_COMPLEX 'x'
54#define TYPE_BINARY_COMPLEX 'y'
55#define TYPE_LONG 'l'
56#define TYPE_STRING 's'
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -070057#define TYPE_INTERNED 't'
58#define TYPE_REF 'r'
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000059#define TYPE_TUPLE '('
60#define TYPE_LIST '['
61#define TYPE_DICT '{'
62#define TYPE_CODE 'c'
63#define TYPE_UNICODE 'u'
64#define TYPE_UNKNOWN '?'
65#define TYPE_SET '<'
66#define TYPE_FROZENSET '>'
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -070067#define FLAG_REF '\x80' /* with a type, add obj to index */
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000068
Antoine Pitrou1164dfc2013-10-12 22:25:39 +020069#define TYPE_ASCII 'a'
70#define TYPE_ASCII_INTERNED 'A'
71#define TYPE_SMALL_TUPLE ')'
72#define TYPE_SHORT_ASCII 'z'
73#define TYPE_SHORT_ASCII_INTERNED 'Z'
74
Eric Smithb1a03cf2009-04-21 11:57:38 +000075#define WFERR_OK 0
76#define WFERR_UNMARSHALLABLE 1
77#define WFERR_NESTEDTOODEEP 2
78#define WFERR_NOMEMORY 3
79
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000080typedef struct {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000081 FILE *fp;
82 int error; /* see WFERR_* values */
83 int depth;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000084 PyObject *str;
85 char *ptr;
86 char *end;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +020087 char *buf;
Serhiy Storchakace921c622015-02-11 15:53:31 +020088 _Py_hashtable_t *hashtable;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000089 int version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000090} WFILE;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000091
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +020092#define w_byte(c, p) do { \
93 if ((p)->ptr != (p)->end || w_reserve((p), 1)) \
94 *(p)->ptr++ = (c); \
95 } while(0)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000096
97static void
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +020098w_flush(WFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000099{
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200100 assert(p->fp != NULL);
101 fwrite(p->buf, 1, p->ptr - p->buf, p->fp);
102 p->ptr = p->buf;
103}
104
105static int
106w_reserve(WFILE *p, Py_ssize_t needed)
107{
108 Py_ssize_t pos, size, delta;
109 if (p->ptr == NULL)
110 return 0; /* An error already occurred */
111 if (p->fp != NULL) {
112 w_flush(p);
113 return needed <= p->end - p->ptr;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000114 }
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200115 assert(p->str != NULL);
116 pos = p->ptr - p->buf;
117 size = PyBytes_Size(p->str);
118 if (size > 16*1024*1024)
119 delta = (size >> 3); /* 12.5% overallocation */
120 else
121 delta = size + 1024;
122 delta = Py_MAX(delta, needed);
123 if (delta > PY_SSIZE_T_MAX - size) {
124 p->error = WFERR_NOMEMORY;
125 return 0;
126 }
127 size += delta;
128 if (_PyBytes_Resize(&p->str, size) != 0) {
129 p->ptr = p->buf = p->end = NULL;
130 return 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000131 }
132 else {
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200133 p->buf = PyBytes_AS_STRING(p->str);
134 p->ptr = p->buf + pos;
135 p->end = p->buf + size;
136 return 1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000137 }
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000138}
139
140static void
Serhiy Storchakadfde2152013-07-11 19:14:26 +0300141w_string(const char *s, Py_ssize_t n, WFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000142{
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200143 Py_ssize_t m;
144 if (!n || p->ptr == NULL)
145 return;
146 m = p->end - p->ptr;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000147 if (p->fp != NULL) {
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200148 if (n <= m) {
Christian Heimesf051e432016-09-13 20:22:02 +0200149 memcpy(p->ptr, s, n);
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200150 p->ptr += n;
151 }
152 else {
153 w_flush(p);
154 fwrite(s, 1, n, p->fp);
155 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000156 }
157 else {
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200158 if (n <= m || w_reserve(p, n - m)) {
Christian Heimesf051e432016-09-13 20:22:02 +0200159 memcpy(p->ptr, s, n);
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200160 p->ptr += n;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000161 }
162 }
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000163}
164
165static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000166w_short(int x, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000167{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000168 w_byte((char)( x & 0xff), p);
169 w_byte((char)((x>> 8) & 0xff), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000170}
171
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000172static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000173w_long(long x, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000174{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000175 w_byte((char)( x & 0xff), p);
176 w_byte((char)((x>> 8) & 0xff), p);
177 w_byte((char)((x>>16) & 0xff), p);
178 w_byte((char)((x>>24) & 0xff), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000179}
180
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200181#define SIZE32_MAX 0x7FFFFFFF
182
183#if SIZEOF_SIZE_T > 4
184# define W_SIZE(n, p) do { \
185 if ((n) > SIZE32_MAX) { \
186 (p)->depth--; \
187 (p)->error = WFERR_UNMARSHALLABLE; \
188 return; \
189 } \
190 w_long((long)(n), p); \
191 } while(0)
192#else
193# define W_SIZE w_long
194#endif
195
Serhiy Storchakadfde2152013-07-11 19:14:26 +0300196static void
197w_pstring(const char *s, Py_ssize_t n, WFILE *p)
198{
199 W_SIZE(n, p);
200 w_string(s, n, p);
201}
202
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200203static void
204w_short_pstring(const char *s, Py_ssize_t n, WFILE *p)
205{
Antoine Pitroub30f2712013-10-12 23:14:47 +0200206 w_byte(Py_SAFE_DOWNCAST(n, Py_ssize_t, unsigned char), p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200207 w_string(s, n, p);
208}
209
Serhiy Storchaka95949422013-08-27 19:40:23 +0300210/* We assume that Python ints are stored internally in base some power of
Mark Dickinsonbd792642009-03-18 20:06:12 +0000211 2**15; for the sake of portability we'll always read and write them in base
212 exactly 2**15. */
213
214#define PyLong_MARSHAL_SHIFT 15
215#define PyLong_MARSHAL_BASE ((short)1 << PyLong_MARSHAL_SHIFT)
216#define PyLong_MARSHAL_MASK (PyLong_MARSHAL_BASE - 1)
217#if PyLong_SHIFT % PyLong_MARSHAL_SHIFT != 0
218#error "PyLong_SHIFT must be a multiple of PyLong_MARSHAL_SHIFT"
219#endif
220#define PyLong_MARSHAL_RATIO (PyLong_SHIFT / PyLong_MARSHAL_SHIFT)
221
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700222#define W_TYPE(t, p) do { \
223 w_byte((t) | flag, (p)); \
224} while(0)
225
Mark Dickinsonbd792642009-03-18 20:06:12 +0000226static void
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700227w_PyLong(const PyLongObject *ob, char flag, WFILE *p)
Mark Dickinsonbd792642009-03-18 20:06:12 +0000228{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000229 Py_ssize_t i, j, n, l;
230 digit d;
Mark Dickinsonbd792642009-03-18 20:06:12 +0000231
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700232 W_TYPE(TYPE_LONG, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000233 if (Py_SIZE(ob) == 0) {
234 w_long((long)0, p);
235 return;
236 }
Mark Dickinsonbd792642009-03-18 20:06:12 +0000237
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000238 /* set l to number of base PyLong_MARSHAL_BASE digits */
Victor Stinner45e8e2f2014-05-14 17:24:35 +0200239 n = Py_ABS(Py_SIZE(ob));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000240 l = (n-1) * PyLong_MARSHAL_RATIO;
241 d = ob->ob_digit[n-1];
242 assert(d != 0); /* a PyLong is always normalized */
243 do {
244 d >>= PyLong_MARSHAL_SHIFT;
245 l++;
246 } while (d != 0);
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200247 if (l > SIZE32_MAX) {
248 p->depth--;
249 p->error = WFERR_UNMARSHALLABLE;
250 return;
251 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000252 w_long((long)(Py_SIZE(ob) > 0 ? l : -l), p);
Mark Dickinsonbd792642009-03-18 20:06:12 +0000253
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000254 for (i=0; i < n-1; i++) {
255 d = ob->ob_digit[i];
256 for (j=0; j < PyLong_MARSHAL_RATIO; j++) {
257 w_short(d & PyLong_MARSHAL_MASK, p);
258 d >>= PyLong_MARSHAL_SHIFT;
259 }
260 assert (d == 0);
261 }
262 d = ob->ob_digit[n-1];
263 do {
264 w_short(d & PyLong_MARSHAL_MASK, p);
265 d >>= PyLong_MARSHAL_SHIFT;
266 } while (d != 0);
Mark Dickinsonbd792642009-03-18 20:06:12 +0000267}
268
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700269static int
270w_ref(PyObject *v, char *flag, WFILE *p)
271{
Serhiy Storchakace921c622015-02-11 15:53:31 +0200272 _Py_hashtable_entry_t *entry;
273 int w;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700274
Serhiy Storchakace921c622015-02-11 15:53:31 +0200275 if (p->version < 3 || p->hashtable == NULL)
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700276 return 0; /* not writing object references */
277
278 /* if it has only one reference, it definitely isn't shared */
279 if (Py_REFCNT(v) == 1)
280 return 0;
281
Victor Stinner285cf0a2016-03-21 22:00:58 +0100282 entry = _Py_HASHTABLE_GET_ENTRY(p->hashtable, v);
Serhiy Storchakace921c622015-02-11 15:53:31 +0200283 if (entry != NULL) {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700284 /* write the reference index to the stream */
Victor Stinnere8c6b2f2016-03-23 09:25:01 +0100285 _Py_HASHTABLE_ENTRY_READ_DATA(p->hashtable, entry, w);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700286 /* we don't store "long" indices in the dict */
287 assert(0 <= w && w <= 0x7fffffff);
288 w_byte(TYPE_REF, p);
289 w_long(w, p);
290 return 1;
291 } else {
Serhiy Storchakace921c622015-02-11 15:53:31 +0200292 size_t s = p->hashtable->entries;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700293 /* we don't support long indices */
294 if (s >= 0x7fffffff) {
295 PyErr_SetString(PyExc_ValueError, "too many objects");
296 goto err;
297 }
Serhiy Storchaka26861b02015-02-16 20:52:17 +0200298 w = (int)s;
Serhiy Storchakace921c622015-02-11 15:53:31 +0200299 Py_INCREF(v);
300 if (_Py_HASHTABLE_SET(p->hashtable, v, w) < 0) {
301 Py_DECREF(v);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700302 goto err;
Serhiy Storchakace921c622015-02-11 15:53:31 +0200303 }
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700304 *flag |= FLAG_REF;
305 return 0;
306 }
307err:
308 p->error = WFERR_UNMARSHALLABLE;
309 return 1;
310}
311
312static void
313w_complex_object(PyObject *v, char flag, WFILE *p);
314
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000315static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000316w_object(PyObject *v, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000317{
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700318 char flag = '\0';
Fred Drake6da0b912000-06-28 18:47:56 +0000319
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000320 p->depth++;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000321
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000322 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
323 p->error = WFERR_NESTEDTOODEEP;
324 }
325 else if (v == NULL) {
326 w_byte(TYPE_NULL, p);
327 }
328 else if (v == Py_None) {
329 w_byte(TYPE_NONE, p);
330 }
331 else if (v == PyExc_StopIteration) {
332 w_byte(TYPE_STOPITER, p);
333 }
334 else if (v == Py_Ellipsis) {
335 w_byte(TYPE_ELLIPSIS, p);
336 }
337 else if (v == Py_False) {
338 w_byte(TYPE_FALSE, p);
339 }
340 else if (v == Py_True) {
341 w_byte(TYPE_TRUE, p);
342 }
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700343 else if (!w_ref(v, &flag, p))
344 w_complex_object(v, flag, p);
345
346 p->depth--;
347}
348
349static void
350w_complex_object(PyObject *v, char flag, WFILE *p)
351{
352 Py_ssize_t i, n;
353
354 if (PyLong_CheckExact(v)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000355 long x = PyLong_AsLong(v);
356 if ((x == -1) && PyErr_Occurred()) {
357 PyLongObject *ob = (PyLongObject *)v;
358 PyErr_Clear();
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700359 w_PyLong(ob, flag, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000360 }
361 else {
Guido van Rossumc1547d91996-12-10 15:39:04 +0000362#if SIZEOF_LONG > 4
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000363 long y = Py_ARITHMETIC_RIGHT_SHIFT(long, x, 31);
364 if (y && y != -1) {
Martin v. Löwis7e395722012-07-28 19:44:05 +0200365 /* Too large for TYPE_INT */
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700366 w_PyLong((PyLongObject*)v, flag, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000367 }
368 else
Guido van Rossumc1547d91996-12-10 15:39:04 +0000369#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000370 {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700371 W_TYPE(TYPE_INT, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000372 w_long(x, p);
373 }
374 }
375 }
376 else if (PyFloat_CheckExact(v)) {
377 if (p->version > 1) {
378 unsigned char buf[8];
379 if (_PyFloat_Pack8(PyFloat_AsDouble(v),
380 buf, 1) < 0) {
381 p->error = WFERR_UNMARSHALLABLE;
382 return;
383 }
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700384 W_TYPE(TYPE_BINARY_FLOAT, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000385 w_string((char*)buf, 8, p);
386 }
387 else {
388 char *buf = PyOS_double_to_string(PyFloat_AS_DOUBLE(v),
389 'g', 17, 0, NULL);
390 if (!buf) {
391 p->error = WFERR_NOMEMORY;
392 return;
393 }
394 n = strlen(buf);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700395 W_TYPE(TYPE_FLOAT, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000396 w_byte((int)n, p);
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200397 w_string(buf, n, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000398 PyMem_Free(buf);
399 }
400 }
401 else if (PyComplex_CheckExact(v)) {
402 if (p->version > 1) {
403 unsigned char buf[8];
404 if (_PyFloat_Pack8(PyComplex_RealAsDouble(v),
405 buf, 1) < 0) {
406 p->error = WFERR_UNMARSHALLABLE;
407 return;
408 }
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700409 W_TYPE(TYPE_BINARY_COMPLEX, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000410 w_string((char*)buf, 8, p);
411 if (_PyFloat_Pack8(PyComplex_ImagAsDouble(v),
412 buf, 1) < 0) {
413 p->error = WFERR_UNMARSHALLABLE;
414 return;
415 }
416 w_string((char*)buf, 8, p);
417 }
418 else {
419 char *buf;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700420 W_TYPE(TYPE_COMPLEX, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000421 buf = PyOS_double_to_string(PyComplex_RealAsDouble(v),
422 'g', 17, 0, NULL);
423 if (!buf) {
424 p->error = WFERR_NOMEMORY;
425 return;
426 }
427 n = strlen(buf);
428 w_byte((int)n, p);
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200429 w_string(buf, n, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000430 PyMem_Free(buf);
431 buf = PyOS_double_to_string(PyComplex_ImagAsDouble(v),
432 'g', 17, 0, NULL);
433 if (!buf) {
434 p->error = WFERR_NOMEMORY;
435 return;
436 }
437 n = strlen(buf);
438 w_byte((int)n, p);
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200439 w_string(buf, n, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000440 PyMem_Free(buf);
441 }
442 }
443 else if (PyBytes_CheckExact(v)) {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700444 W_TYPE(TYPE_STRING, p);
Serhiy Storchakadfde2152013-07-11 19:14:26 +0300445 w_pstring(PyBytes_AS_STRING(v), PyBytes_GET_SIZE(v), p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000446 }
447 else if (PyUnicode_CheckExact(v)) {
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200448 if (p->version >= 4 && PyUnicode_IS_ASCII(v)) {
449 int is_short = PyUnicode_GET_LENGTH(v) < 256;
450 if (is_short) {
451 if (PyUnicode_CHECK_INTERNED(v))
452 W_TYPE(TYPE_SHORT_ASCII_INTERNED, p);
453 else
454 W_TYPE(TYPE_SHORT_ASCII, p);
455 w_short_pstring((char *) PyUnicode_1BYTE_DATA(v),
456 PyUnicode_GET_LENGTH(v), p);
457 }
458 else {
459 if (PyUnicode_CHECK_INTERNED(v))
460 W_TYPE(TYPE_ASCII_INTERNED, p);
461 else
462 W_TYPE(TYPE_ASCII, p);
463 w_pstring((char *) PyUnicode_1BYTE_DATA(v),
464 PyUnicode_GET_LENGTH(v), p);
465 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000466 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200467 else {
468 PyObject *utf8;
469 utf8 = PyUnicode_AsEncodedString(v, "utf8", "surrogatepass");
470 if (utf8 == NULL) {
471 p->depth--;
472 p->error = WFERR_UNMARSHALLABLE;
473 return;
474 }
475 if (p->version >= 3 && PyUnicode_CHECK_INTERNED(v))
476 W_TYPE(TYPE_INTERNED, p);
477 else
478 W_TYPE(TYPE_UNICODE, p);
479 w_pstring(PyBytes_AS_STRING(utf8), PyBytes_GET_SIZE(utf8), p);
480 Py_DECREF(utf8);
481 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000482 }
483 else if (PyTuple_CheckExact(v)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000484 n = PyTuple_Size(v);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200485 if (p->version >= 4 && n < 256) {
486 W_TYPE(TYPE_SMALL_TUPLE, p);
Victor Stinnerda062552013-11-16 00:13:29 +0100487 w_byte((unsigned char)n, p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200488 }
489 else {
490 W_TYPE(TYPE_TUPLE, p);
491 W_SIZE(n, p);
492 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000493 for (i = 0; i < n; i++) {
494 w_object(PyTuple_GET_ITEM(v, i), p);
495 }
496 }
497 else if (PyList_CheckExact(v)) {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700498 W_TYPE(TYPE_LIST, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000499 n = PyList_GET_SIZE(v);
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200500 W_SIZE(n, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000501 for (i = 0; i < n; i++) {
502 w_object(PyList_GET_ITEM(v, i), p);
503 }
504 }
505 else if (PyDict_CheckExact(v)) {
506 Py_ssize_t pos;
507 PyObject *key, *value;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700508 W_TYPE(TYPE_DICT, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000509 /* This one is NULL object terminated! */
510 pos = 0;
511 while (PyDict_Next(v, &pos, &key, &value)) {
512 w_object(key, p);
513 w_object(value, p);
514 }
515 w_object((PyObject *)NULL, p);
516 }
517 else if (PyAnySet_CheckExact(v)) {
518 PyObject *value, *it;
Raymond Hettingera422c342005-01-11 03:03:27 +0000519
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000520 if (PyObject_TypeCheck(v, &PySet_Type))
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700521 W_TYPE(TYPE_SET, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000522 else
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700523 W_TYPE(TYPE_FROZENSET, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000524 n = PyObject_Size(v);
525 if (n == -1) {
526 p->depth--;
527 p->error = WFERR_UNMARSHALLABLE;
528 return;
529 }
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200530 W_SIZE(n, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000531 it = PyObject_GetIter(v);
532 if (it == NULL) {
533 p->depth--;
534 p->error = WFERR_UNMARSHALLABLE;
535 return;
536 }
537 while ((value = PyIter_Next(it)) != NULL) {
538 w_object(value, p);
539 Py_DECREF(value);
540 }
541 Py_DECREF(it);
542 if (PyErr_Occurred()) {
543 p->depth--;
544 p->error = WFERR_UNMARSHALLABLE;
545 return;
546 }
547 }
548 else if (PyCode_Check(v)) {
549 PyCodeObject *co = (PyCodeObject *)v;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700550 W_TYPE(TYPE_CODE, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000551 w_long(co->co_argcount, p);
552 w_long(co->co_kwonlyargcount, p);
553 w_long(co->co_nlocals, p);
554 w_long(co->co_stacksize, p);
555 w_long(co->co_flags, p);
556 w_object(co->co_code, p);
557 w_object(co->co_consts, p);
558 w_object(co->co_names, p);
559 w_object(co->co_varnames, p);
560 w_object(co->co_freevars, p);
561 w_object(co->co_cellvars, p);
562 w_object(co->co_filename, p);
563 w_object(co->co_name, p);
564 w_long(co->co_firstlineno, p);
565 w_object(co->co_lnotab, p);
566 }
567 else if (PyObject_CheckBuffer(v)) {
Serhiy Storchakac611a5b2017-03-12 08:53:22 +0200568 /* Write unknown bytes-like objects as a bytes object */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000569 Py_buffer view;
Antoine Pitrou679e9d32012-03-02 18:12:43 +0100570 if (PyObject_GetBuffer(v, &view, PyBUF_SIMPLE) != 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000571 w_byte(TYPE_UNKNOWN, p);
Antoine Pitrou679e9d32012-03-02 18:12:43 +0100572 p->depth--;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000573 p->error = WFERR_UNMARSHALLABLE;
Antoine Pitrou679e9d32012-03-02 18:12:43 +0100574 return;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000575 }
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700576 W_TYPE(TYPE_STRING, p);
Serhiy Storchakadfde2152013-07-11 19:14:26 +0300577 w_pstring(view.buf, view.len, p);
Antoine Pitrou679e9d32012-03-02 18:12:43 +0100578 PyBuffer_Release(&view);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000579 }
580 else {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700581 W_TYPE(TYPE_UNKNOWN, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000582 p->error = WFERR_UNMARSHALLABLE;
583 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000584}
585
Serhiy Storchakace921c622015-02-11 15:53:31 +0200586static int
587w_init_refs(WFILE *wf, int version)
588{
589 if (version >= 3) {
Victor Stinner285cf0a2016-03-21 22:00:58 +0100590 wf->hashtable = _Py_hashtable_new(sizeof(PyObject *), sizeof(int),
591 _Py_hashtable_hash_ptr,
Serhiy Storchakace921c622015-02-11 15:53:31 +0200592 _Py_hashtable_compare_direct);
593 if (wf->hashtable == NULL) {
594 PyErr_NoMemory();
595 return -1;
596 }
597 }
598 return 0;
599}
600
601static int
Victor Stinner285cf0a2016-03-21 22:00:58 +0100602w_decref_entry(_Py_hashtable_t *ht, _Py_hashtable_entry_t *entry,
603 void *Py_UNUSED(data))
Serhiy Storchakace921c622015-02-11 15:53:31 +0200604{
Victor Stinner285cf0a2016-03-21 22:00:58 +0100605 PyObject *entry_key;
606
Victor Stinner5dacbd42016-03-23 09:52:13 +0100607 _Py_HASHTABLE_ENTRY_READ_KEY(ht, entry, entry_key);
Victor Stinner285cf0a2016-03-21 22:00:58 +0100608 Py_XDECREF(entry_key);
Serhiy Storchakace921c622015-02-11 15:53:31 +0200609 return 0;
610}
611
612static void
613w_clear_refs(WFILE *wf)
614{
615 if (wf->hashtable != NULL) {
616 _Py_hashtable_foreach(wf->hashtable, w_decref_entry, NULL);
617 _Py_hashtable_destroy(wf->hashtable);
618 }
619}
620
Serhiy Storchaka95949422013-08-27 19:40:23 +0300621/* version currently has no effect for writing ints. */
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000622void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000623PyMarshal_WriteLongToFile(long x, FILE *fp, int version)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000624{
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200625 char buf[4];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000626 WFILE wf;
Serhiy Storchakace921c622015-02-11 15:53:31 +0200627 memset(&wf, 0, sizeof(wf));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000628 wf.fp = fp;
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200629 wf.ptr = wf.buf = buf;
630 wf.end = wf.ptr + sizeof(buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000631 wf.error = WFERR_OK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000632 wf.version = version;
633 w_long(x, &wf);
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200634 w_flush(&wf);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000635}
636
637void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000638PyMarshal_WriteObjectToFile(PyObject *x, FILE *fp, int version)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000639{
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200640 char buf[BUFSIZ];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000641 WFILE wf;
Serhiy Storchakace921c622015-02-11 15:53:31 +0200642 memset(&wf, 0, sizeof(wf));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000643 wf.fp = fp;
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200644 wf.ptr = wf.buf = buf;
645 wf.end = wf.ptr + sizeof(buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000646 wf.error = WFERR_OK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000647 wf.version = version;
Serhiy Storchakace921c622015-02-11 15:53:31 +0200648 if (w_init_refs(&wf, version))
649 return; /* caller mush check PyErr_Occurred() */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000650 w_object(x, &wf);
Serhiy Storchakace921c622015-02-11 15:53:31 +0200651 w_clear_refs(&wf);
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200652 w_flush(&wf);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000653}
654
Serhiy Storchakac07422c2015-02-11 16:18:09 +0200655typedef struct {
656 FILE *fp;
657 int depth;
658 PyObject *readable; /* Stream-like object being read from */
Serhiy Storchakac07422c2015-02-11 16:18:09 +0200659 char *ptr;
660 char *end;
661 char *buf;
662 Py_ssize_t buf_size;
663 PyObject *refs; /* a list */
664} RFILE;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000665
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200666static const char *
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200667r_string(Py_ssize_t n, RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000668{
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200669 Py_ssize_t read = -1;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100670
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200671 if (p->ptr != NULL) {
672 /* Fast path for loads() */
673 char *res = p->ptr;
674 Py_ssize_t left = p->end - p->ptr;
675 if (left < n) {
676 PyErr_SetString(PyExc_EOFError,
677 "marshal data too short");
678 return NULL;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100679 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200680 p->ptr += n;
681 return res;
682 }
683 if (p->buf == NULL) {
684 p->buf = PyMem_MALLOC(n);
685 if (p->buf == NULL) {
686 PyErr_NoMemory();
687 return NULL;
688 }
689 p->buf_size = n;
690 }
691 else if (p->buf_size < n) {
692 p->buf = PyMem_REALLOC(p->buf, n);
693 if (p->buf == NULL) {
694 PyErr_NoMemory();
695 return NULL;
696 }
697 p->buf_size = n;
698 }
Victor Stinner763b0d12013-10-31 16:56:38 +0100699
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200700 if (!p->readable) {
701 assert(p->fp != NULL);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200702 read = fread(p->buf, 1, n, p->fp);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100703 }
704 else {
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200705 _Py_IDENTIFIER(readinto);
706 PyObject *res, *mview;
707 Py_buffer buf;
Martin v. Löwisafe55bb2011-10-09 10:38:36 +0200708
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200709 if (PyBuffer_FillInfo(&buf, NULL, p->buf, n, 0, PyBUF_CONTIG) == -1)
710 return NULL;
711 mview = PyMemoryView_FromBuffer(&buf);
712 if (mview == NULL)
713 return NULL;
714
715 res = _PyObject_CallMethodId(p->readable, &PyId_readinto, "N", mview);
716 if (res != NULL) {
717 read = PyNumber_AsSsize_t(res, PyExc_ValueError);
718 Py_DECREF(res);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100719 }
720 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200721 if (read != n) {
722 if (!PyErr_Occurred()) {
723 if (read > n)
724 PyErr_Format(PyExc_ValueError,
725 "read() returned too much data: "
726 "%zd bytes requested, %zd returned",
727 n, read);
728 else
729 PyErr_SetString(PyExc_EOFError,
730 "EOF read where not expected");
731 }
732 return NULL;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100733 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200734 return p->buf;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100735}
736
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100737static int
738r_byte(RFILE *p)
739{
740 int c = EOF;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100741
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200742 if (p->ptr != NULL) {
743 if (p->ptr < p->end)
744 c = (unsigned char) *p->ptr++;
745 return c;
746 }
747 if (!p->readable) {
748 assert(p->fp);
749 c = getc(p->fp);
750 }
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100751 else {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200752 const char *ptr = r_string(1, p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200753 if (ptr != NULL)
754 c = *(unsigned char *) ptr;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100755 }
756 return c;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000757}
758
759static int
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000760r_short(RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000761{
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200762 short x = -1;
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200763 const unsigned char *buffer;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100764
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200765 buffer = (const unsigned char *) r_string(2, p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200766 if (buffer != NULL) {
767 x = buffer[0];
768 x |= buffer[1] << 8;
769 /* Sign-extension, in case short greater than 16 bits */
770 x |= -(x & 0x8000);
771 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000772 return x;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000773}
774
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000775static long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000776r_long(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000777{
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200778 long x = -1;
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200779 const unsigned char *buffer;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100780
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200781 buffer = (const unsigned char *) r_string(4, p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200782 if (buffer != NULL) {
783 x = buffer[0];
784 x |= (long)buffer[1] << 8;
785 x |= (long)buffer[2] << 16;
786 x |= (long)buffer[3] << 24;
Guido van Rossumc1547d91996-12-10 15:39:04 +0000787#if SIZEOF_LONG > 4
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200788 /* Sign extension for 64-bit machines */
789 x |= -(x & 0x80000000L);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000790#endif
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200791 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000792 return x;
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000793}
794
Serhiy Storchaka00987f62017-11-15 17:41:05 +0200795/* r_long64 deals with the TYPE_INT64 code. */
796static PyObject *
797r_long64(RFILE *p)
798{
799 const unsigned char *buffer = (const unsigned char *) r_string(8, p);
800 if (buffer == NULL) {
801 return NULL;
802 }
803 return _PyLong_FromByteArray(buffer, 8,
804 1 /* little endian */,
805 1 /* signed */);
806}
807
Guido van Rossum79f25d91997-04-29 20:08:16 +0000808static PyObject *
Mark Dickinsonbd792642009-03-18 20:06:12 +0000809r_PyLong(RFILE *p)
810{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000811 PyLongObject *ob;
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200812 long n, size, i;
813 int j, md, shorts_in_top_digit;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000814 digit d;
Mark Dickinsonbd792642009-03-18 20:06:12 +0000815
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000816 n = r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100817 if (PyErr_Occurred())
818 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000819 if (n == 0)
820 return (PyObject *)_PyLong_New(0);
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200821 if (n < -SIZE32_MAX || n > SIZE32_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000822 PyErr_SetString(PyExc_ValueError,
823 "bad marshal data (long size out of range)");
824 return NULL;
825 }
Mark Dickinsonbd792642009-03-18 20:06:12 +0000826
Victor Stinner45e8e2f2014-05-14 17:24:35 +0200827 size = 1 + (Py_ABS(n) - 1) / PyLong_MARSHAL_RATIO;
828 shorts_in_top_digit = 1 + (Py_ABS(n) - 1) % PyLong_MARSHAL_RATIO;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000829 ob = _PyLong_New(size);
830 if (ob == NULL)
831 return NULL;
Victor Stinner763b0d12013-10-31 16:56:38 +0100832
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000833 Py_SIZE(ob) = n > 0 ? size : -size;
Mark Dickinsonbd792642009-03-18 20:06:12 +0000834
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000835 for (i = 0; i < size-1; i++) {
836 d = 0;
837 for (j=0; j < PyLong_MARSHAL_RATIO; j++) {
838 md = r_short(p);
Victor Stinner763b0d12013-10-31 16:56:38 +0100839 if (PyErr_Occurred()) {
840 Py_DECREF(ob);
841 return NULL;
842 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000843 if (md < 0 || md > PyLong_MARSHAL_BASE)
844 goto bad_digit;
845 d += (digit)md << j*PyLong_MARSHAL_SHIFT;
846 }
847 ob->ob_digit[i] = d;
848 }
Victor Stinner763b0d12013-10-31 16:56:38 +0100849
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000850 d = 0;
851 for (j=0; j < shorts_in_top_digit; j++) {
852 md = r_short(p);
Victor Stinner763b0d12013-10-31 16:56:38 +0100853 if (PyErr_Occurred()) {
854 Py_DECREF(ob);
855 return NULL;
856 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000857 if (md < 0 || md > PyLong_MARSHAL_BASE)
858 goto bad_digit;
859 /* topmost marshal digit should be nonzero */
860 if (md == 0 && j == shorts_in_top_digit - 1) {
861 Py_DECREF(ob);
862 PyErr_SetString(PyExc_ValueError,
863 "bad marshal data (unnormalized long data)");
864 return NULL;
865 }
866 d += (digit)md << j*PyLong_MARSHAL_SHIFT;
867 }
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100868 if (PyErr_Occurred()) {
869 Py_DECREF(ob);
870 return NULL;
871 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000872 /* top digit should be nonzero, else the resulting PyLong won't be
873 normalized */
874 ob->ob_digit[size-1] = d;
875 return (PyObject *)ob;
Mark Dickinsonbd792642009-03-18 20:06:12 +0000876 bad_digit:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000877 Py_DECREF(ob);
878 PyErr_SetString(PyExc_ValueError,
879 "bad marshal data (digit out of range in long)");
880 return NULL;
Mark Dickinsonbd792642009-03-18 20:06:12 +0000881}
882
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700883/* allocate the reflist index for a new object. Return -1 on failure */
884static Py_ssize_t
885r_ref_reserve(int flag, RFILE *p)
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700886{
887 if (flag) { /* currently only FLAG_REF is defined */
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200888 Py_ssize_t idx = PyList_GET_SIZE(p->refs);
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700889 if (idx >= 0x7ffffffe) {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700890 PyErr_SetString(PyExc_ValueError, "bad marshal data (index list too large)");
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700891 return -1;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700892 }
893 if (PyList_Append(p->refs, Py_None) < 0)
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700894 return -1;
895 return idx;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700896 } else
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700897 return 0;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700898}
899
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700900/* insert the new object 'o' to the reflist at previously
901 * allocated index 'idx'.
902 * 'o' can be NULL, in which case nothing is done.
903 * if 'o' was non-NULL, and the function succeeds, 'o' is returned.
904 * if 'o' was non-NULL, and the function fails, 'o' is released and
905 * NULL returned. This simplifies error checking at the call site since
906 * a single test for NULL for the function result is enough.
907 */
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700908static PyObject *
909r_ref_insert(PyObject *o, Py_ssize_t idx, int flag, RFILE *p)
910{
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700911 if (o != NULL && flag) { /* currently only FLAG_REF is defined */
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200912 PyObject *tmp = PyList_GET_ITEM(p->refs, idx);
913 Py_INCREF(o);
914 PyList_SET_ITEM(p->refs, idx, o);
915 Py_DECREF(tmp);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700916 }
917 return o;
918}
919
920/* combination of both above, used when an object can be
921 * created whenever it is seen in the file, as opposed to
922 * after having loaded its sub-objects.
923 */
924static PyObject *
925r_ref(PyObject *o, int flag, RFILE *p)
926{
Victor Stinner359fabc2013-10-31 17:09:01 +0100927 assert(flag & FLAG_REF);
928 if (o == NULL)
929 return NULL;
930 if (PyList_Append(p->refs, o) < 0) {
931 Py_DECREF(o); /* release the new object */
932 return NULL;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700933 }
934 return o;
935}
Mark Dickinsonbd792642009-03-18 20:06:12 +0000936
937static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000938r_object(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000939{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000940 /* NULL is a valid return value, it does not necessarily means that
941 an exception is set. */
942 PyObject *v, *v2;
Benjamin Petersoneddb0a72013-03-20 00:40:07 -0500943 Py_ssize_t idx = 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000944 long i, n;
Kristján Valur Jónsson61683622013-03-20 14:26:33 -0700945 int type, code = r_byte(p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200946 int flag, is_interned = 0;
Christian Heimes35728422013-10-13 02:29:06 +0200947 PyObject *retval = NULL;
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000948
Kristján Valur Jónsson61683622013-03-20 14:26:33 -0700949 if (code == EOF) {
950 PyErr_SetString(PyExc_EOFError,
951 "EOF read where object expected");
952 return NULL;
953 }
954
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000955 p->depth++;
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000956
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000957 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
958 p->depth--;
959 PyErr_SetString(PyExc_ValueError, "recursion limit exceeded");
960 return NULL;
961 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000962
Kristján Valur Jónsson61683622013-03-20 14:26:33 -0700963 flag = code & FLAG_REF;
964 type = code & ~FLAG_REF;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700965
966#define R_REF(O) do{\
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700967 if (flag) \
968 O = r_ref(O, flag, p);\
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700969} while (0)
970
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000971 switch (type) {
Tim Petersd9b9ac82001-01-28 00:27:39 +0000972
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000973 case TYPE_NULL:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000974 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000975
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000976 case TYPE_NONE:
977 Py_INCREF(Py_None);
978 retval = Py_None;
979 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000980
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000981 case TYPE_STOPITER:
982 Py_INCREF(PyExc_StopIteration);
983 retval = PyExc_StopIteration;
984 break;
Tim Peters5ca576e2001-06-18 22:08:13 +0000985
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000986 case TYPE_ELLIPSIS:
987 Py_INCREF(Py_Ellipsis);
988 retval = Py_Ellipsis;
989 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000990
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000991 case TYPE_FALSE:
992 Py_INCREF(Py_False);
993 retval = Py_False;
994 break;
Guido van Rossum77f6a652002-04-03 22:41:51 +0000995
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000996 case TYPE_TRUE:
997 Py_INCREF(Py_True);
998 retval = Py_True;
999 break;
Guido van Rossum77f6a652002-04-03 22:41:51 +00001000
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001001 case TYPE_INT:
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001002 n = r_long(p);
1003 retval = PyErr_Occurred() ? NULL : PyLong_FromLong(n);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001004 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001005 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001006
Serhiy Storchaka00987f62017-11-15 17:41:05 +02001007 case TYPE_INT64:
1008 retval = r_long64(p);
1009 R_REF(retval);
1010 break;
1011
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001012 case TYPE_LONG:
1013 retval = r_PyLong(p);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001014 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001015 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001016
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001017 case TYPE_FLOAT:
1018 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001019 char buf[256];
1020 const char *ptr;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001021 double dx;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001022 n = r_byte(p);
Serhiy Storchaka3641a742013-07-11 22:20:47 +03001023 if (n == EOF) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001024 PyErr_SetString(PyExc_EOFError,
1025 "EOF read where object expected");
1026 break;
1027 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001028 ptr = r_string(n, p);
1029 if (ptr == NULL)
Serhiy Storchaka3641a742013-07-11 22:20:47 +03001030 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001031 memcpy(buf, ptr, n);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001032 buf[n] = '\0';
1033 dx = PyOS_string_to_double(buf, NULL, NULL);
1034 if (dx == -1.0 && PyErr_Occurred())
1035 break;
1036 retval = PyFloat_FromDouble(dx);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001037 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001038 break;
1039 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001040
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001041 case TYPE_BINARY_FLOAT:
1042 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001043 const unsigned char *buf;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001044 double x;
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001045 buf = (const unsigned char *) r_string(8, p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001046 if (buf == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001047 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001048 x = _PyFloat_Unpack8(buf, 1);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001049 if (x == -1.0 && PyErr_Occurred())
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001050 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001051 retval = PyFloat_FromDouble(x);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001052 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001053 break;
1054 }
Michael W. Hudsondf888462005-06-03 14:41:55 +00001055
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001056 case TYPE_COMPLEX:
1057 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001058 char buf[256];
1059 const char *ptr;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001060 Py_complex c;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001061 n = r_byte(p);
Serhiy Storchaka3641a742013-07-11 22:20:47 +03001062 if (n == EOF) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001063 PyErr_SetString(PyExc_EOFError,
1064 "EOF read where object expected");
1065 break;
1066 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001067 ptr = r_string(n, p);
1068 if (ptr == NULL)
Serhiy Storchaka3641a742013-07-11 22:20:47 +03001069 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001070 memcpy(buf, ptr, n);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001071 buf[n] = '\0';
1072 c.real = PyOS_string_to_double(buf, NULL, NULL);
1073 if (c.real == -1.0 && PyErr_Occurred())
1074 break;
1075 n = r_byte(p);
Serhiy Storchaka3641a742013-07-11 22:20:47 +03001076 if (n == EOF) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001077 PyErr_SetString(PyExc_EOFError,
1078 "EOF read where object expected");
1079 break;
1080 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001081 ptr = r_string(n, p);
1082 if (ptr == NULL)
Serhiy Storchaka3641a742013-07-11 22:20:47 +03001083 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001084 memcpy(buf, ptr, n);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001085 buf[n] = '\0';
1086 c.imag = PyOS_string_to_double(buf, NULL, NULL);
1087 if (c.imag == -1.0 && PyErr_Occurred())
1088 break;
1089 retval = PyComplex_FromCComplex(c);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001090 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001091 break;
1092 }
Michael W. Hudsondf888462005-06-03 14:41:55 +00001093
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001094 case TYPE_BINARY_COMPLEX:
1095 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001096 const unsigned char *buf;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001097 Py_complex c;
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001098 buf = (const unsigned char *) r_string(8, p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001099 if (buf == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001100 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001101 c.real = _PyFloat_Unpack8(buf, 1);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001102 if (c.real == -1.0 && PyErr_Occurred())
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001103 break;
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001104 buf = (const unsigned char *) r_string(8, p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001105 if (buf == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001106 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001107 c.imag = _PyFloat_Unpack8(buf, 1);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001108 if (c.imag == -1.0 && PyErr_Occurred())
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001109 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001110 retval = PyComplex_FromCComplex(c);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001111 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001112 break;
1113 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001114
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001115 case TYPE_STRING:
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001116 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001117 const char *ptr;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001118 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001119 if (PyErr_Occurred())
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001120 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001121 if (n < 0 || n > SIZE32_MAX) {
Serhiy Storchakac611a5b2017-03-12 08:53:22 +02001122 PyErr_SetString(PyExc_ValueError, "bad marshal data (bytes object size out of range)");
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001123 break;
1124 }
1125 v = PyBytes_FromStringAndSize((char *)NULL, n);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001126 if (v == NULL)
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001127 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001128 ptr = r_string(n, p);
1129 if (ptr == NULL) {
1130 Py_DECREF(v);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001131 break;
1132 }
1133 memcpy(PyBytes_AS_STRING(v), ptr, n);
1134 retval = v;
1135 R_REF(retval);
1136 break;
1137 }
1138
1139 case TYPE_ASCII_INTERNED:
1140 is_interned = 1;
Stefan Krahf432a322017-08-21 13:09:59 +02001141 /* fall through */
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001142 case TYPE_ASCII:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001143 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001144 if (PyErr_Occurred())
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001145 break;
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001146 if (n < 0 || n > SIZE32_MAX) {
Serhiy Storchakac611a5b2017-03-12 08:53:22 +02001147 PyErr_SetString(PyExc_ValueError, "bad marshal data (string size out of range)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001148 break;
1149 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001150 goto _read_ascii;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001151
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001152 case TYPE_SHORT_ASCII_INTERNED:
1153 is_interned = 1;
Stefan Krahf432a322017-08-21 13:09:59 +02001154 /* fall through */
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001155 case TYPE_SHORT_ASCII:
1156 n = r_byte(p);
1157 if (n == EOF) {
1158 PyErr_SetString(PyExc_EOFError,
1159 "EOF read where object expected");
1160 break;
1161 }
1162 _read_ascii:
1163 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001164 const char *ptr;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001165 ptr = r_string(n, p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001166 if (ptr == NULL)
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001167 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001168 v = PyUnicode_FromKindAndData(PyUnicode_1BYTE_KIND, ptr, n);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001169 if (v == NULL)
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001170 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001171 if (is_interned)
1172 PyUnicode_InternInPlace(&v);
1173 retval = v;
1174 R_REF(retval);
1175 break;
1176 }
1177
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001178 case TYPE_INTERNED:
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001179 is_interned = 1;
Stefan Krahf432a322017-08-21 13:09:59 +02001180 /* fall through */
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001181 case TYPE_UNICODE:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001182 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001183 const char *buffer;
Guido van Rossumc279b532000-03-10 23:03:02 +00001184
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001185 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001186 if (PyErr_Occurred())
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001187 break;
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001188 if (n < 0 || n > SIZE32_MAX) {
Serhiy Storchakac611a5b2017-03-12 08:53:22 +02001189 PyErr_SetString(PyExc_ValueError, "bad marshal data (string size out of range)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001190 break;
1191 }
Victor Stinnerf1913ca2013-06-21 19:08:06 +02001192 if (n != 0) {
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001193 buffer = r_string(n, p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001194 if (buffer == NULL)
Victor Stinnerf1913ca2013-06-21 19:08:06 +02001195 break;
Victor Stinnerf1913ca2013-06-21 19:08:06 +02001196 v = PyUnicode_DecodeUTF8(buffer, n, "surrogatepass");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001197 }
Victor Stinnerf1913ca2013-06-21 19:08:06 +02001198 else {
1199 v = PyUnicode_New(0, 0);
1200 }
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001201 if (v == NULL)
Victor Stinner3a8b79d2013-07-08 22:23:32 +02001202 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001203 if (is_interned)
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001204 PyUnicode_InternInPlace(&v);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001205 retval = v;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001206 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001207 break;
1208 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001209
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001210 case TYPE_SMALL_TUPLE:
1211 n = (unsigned char) r_byte(p);
Victor Stinnerb1b7b182013-10-31 17:07:08 +01001212 if (PyErr_Occurred())
1213 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001214 goto _read_tuple;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001215 case TYPE_TUPLE:
1216 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001217 if (PyErr_Occurred())
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001218 break;
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001219 if (n < 0 || n > SIZE32_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001220 PyErr_SetString(PyExc_ValueError, "bad marshal data (tuple size out of range)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001221 break;
1222 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001223 _read_tuple:
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001224 v = PyTuple_New(n);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001225 R_REF(v);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001226 if (v == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001227 break;
Victor Stinnerd5cae6f2013-10-31 17:14:52 +01001228
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001229 for (i = 0; i < n; i++) {
1230 v2 = r_object(p);
1231 if ( v2 == NULL ) {
1232 if (!PyErr_Occurred())
1233 PyErr_SetString(PyExc_TypeError,
1234 "NULL object in marshal data for tuple");
1235 Py_DECREF(v);
1236 v = NULL;
1237 break;
1238 }
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001239 PyTuple_SET_ITEM(v, i, v2);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001240 }
1241 retval = v;
1242 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001243
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001244 case TYPE_LIST:
1245 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001246 if (PyErr_Occurred())
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001247 break;
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001248 if (n < 0 || n > SIZE32_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001249 PyErr_SetString(PyExc_ValueError, "bad marshal data (list size out of range)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001250 break;
1251 }
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001252 v = PyList_New(n);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001253 R_REF(v);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001254 if (v == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001255 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001256 for (i = 0; i < n; i++) {
1257 v2 = r_object(p);
1258 if ( v2 == NULL ) {
1259 if (!PyErr_Occurred())
1260 PyErr_SetString(PyExc_TypeError,
1261 "NULL object in marshal data for list");
1262 Py_DECREF(v);
1263 v = NULL;
1264 break;
1265 }
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001266 PyList_SET_ITEM(v, i, v2);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001267 }
1268 retval = v;
1269 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001270
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001271 case TYPE_DICT:
1272 v = PyDict_New();
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001273 R_REF(v);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001274 if (v == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001275 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001276 for (;;) {
1277 PyObject *key, *val;
1278 key = r_object(p);
1279 if (key == NULL)
1280 break;
1281 val = r_object(p);
Victor Stinnerd5cae6f2013-10-31 17:14:52 +01001282 if (val == NULL) {
1283 Py_DECREF(key);
1284 break;
1285 }
1286 if (PyDict_SetItem(v, key, val) < 0) {
1287 Py_DECREF(key);
1288 Py_DECREF(val);
1289 break;
1290 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001291 Py_DECREF(key);
Victor Stinnerd5cae6f2013-10-31 17:14:52 +01001292 Py_DECREF(val);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001293 }
1294 if (PyErr_Occurred()) {
1295 Py_DECREF(v);
1296 v = NULL;
1297 }
1298 retval = v;
1299 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001300
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001301 case TYPE_SET:
1302 case TYPE_FROZENSET:
1303 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001304 if (PyErr_Occurred())
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001305 break;
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001306 if (n < 0 || n > SIZE32_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001307 PyErr_SetString(PyExc_ValueError, "bad marshal data (set size out of range)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001308 break;
1309 }
Victor Stinnerd5cae6f2013-10-31 17:14:52 +01001310
Victor Stinner1aa78932016-01-23 14:15:48 +01001311 if (n == 0 && type == TYPE_FROZENSET) {
1312 /* call frozenset() to get the empty frozenset singleton */
Victor Stinner4778eab2016-12-01 14:51:04 +01001313 v = _PyObject_CallNoArg((PyObject*)&PyFrozenSet_Type);
Victor Stinner1aa78932016-01-23 14:15:48 +01001314 if (v == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001315 break;
Victor Stinner1aa78932016-01-23 14:15:48 +01001316 R_REF(v);
1317 retval = v;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001318 }
Victor Stinner1aa78932016-01-23 14:15:48 +01001319 else {
1320 v = (type == TYPE_SET) ? PySet_New(NULL) : PyFrozenSet_New(NULL);
1321 if (type == TYPE_SET) {
1322 R_REF(v);
1323 } else {
1324 /* must use delayed registration of frozensets because they must
1325 * be init with a refcount of 1
1326 */
1327 idx = r_ref_reserve(flag, p);
1328 if (idx < 0)
1329 Py_CLEAR(v); /* signal error */
1330 }
1331 if (v == NULL)
1332 break;
1333
1334 for (i = 0; i < n; i++) {
1335 v2 = r_object(p);
1336 if ( v2 == NULL ) {
1337 if (!PyErr_Occurred())
1338 PyErr_SetString(PyExc_TypeError,
1339 "NULL object in marshal data for set");
1340 Py_DECREF(v);
1341 v = NULL;
1342 break;
1343 }
1344 if (PySet_Add(v, v2) == -1) {
1345 Py_DECREF(v);
1346 Py_DECREF(v2);
1347 v = NULL;
1348 break;
1349 }
1350 Py_DECREF(v2);
1351 }
1352 if (type != TYPE_SET)
1353 v = r_ref_insert(v, idx, flag, p);
1354 retval = v;
1355 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001356 break;
Raymond Hettingera422c342005-01-11 03:03:27 +00001357
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001358 case TYPE_CODE:
1359 {
1360 int argcount;
1361 int kwonlyargcount;
1362 int nlocals;
1363 int stacksize;
1364 int flags;
1365 PyObject *code = NULL;
1366 PyObject *consts = NULL;
1367 PyObject *names = NULL;
1368 PyObject *varnames = NULL;
1369 PyObject *freevars = NULL;
1370 PyObject *cellvars = NULL;
1371 PyObject *filename = NULL;
1372 PyObject *name = NULL;
1373 int firstlineno;
1374 PyObject *lnotab = NULL;
Antoine Pitroue9bbe8b2013-04-13 22:41:09 +02001375
Kristján Valur Jónssone1781872013-03-20 11:43:57 -07001376 idx = r_ref_reserve(flag, p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001377 if (idx < 0)
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001378 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001379
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001380 v = NULL;
Michael W. Hudsondf888462005-06-03 14:41:55 +00001381
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001382 /* XXX ignore long->int overflows for now */
1383 argcount = (int)r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001384 if (PyErr_Occurred())
1385 goto code_error;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001386 kwonlyargcount = (int)r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001387 if (PyErr_Occurred())
1388 goto code_error;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001389 nlocals = (int)r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001390 if (PyErr_Occurred())
1391 goto code_error;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001392 stacksize = (int)r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001393 if (PyErr_Occurred())
1394 goto code_error;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001395 flags = (int)r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001396 if (PyErr_Occurred())
1397 goto code_error;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001398 code = r_object(p);
1399 if (code == NULL)
1400 goto code_error;
1401 consts = r_object(p);
1402 if (consts == NULL)
1403 goto code_error;
1404 names = r_object(p);
1405 if (names == NULL)
1406 goto code_error;
1407 varnames = r_object(p);
1408 if (varnames == NULL)
1409 goto code_error;
1410 freevars = r_object(p);
1411 if (freevars == NULL)
1412 goto code_error;
1413 cellvars = r_object(p);
1414 if (cellvars == NULL)
1415 goto code_error;
1416 filename = r_object(p);
1417 if (filename == NULL)
1418 goto code_error;
1419 name = r_object(p);
1420 if (name == NULL)
1421 goto code_error;
1422 firstlineno = (int)r_long(p);
Kristján Valur Jónsson0a7697b2013-10-13 15:19:56 +00001423 if (firstlineno == -1 && PyErr_Occurred())
1424 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001425 lnotab = r_object(p);
1426 if (lnotab == NULL)
1427 goto code_error;
Michael W. Hudsondf888462005-06-03 14:41:55 +00001428
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001429 v = (PyObject *) PyCode_New(
1430 argcount, kwonlyargcount,
1431 nlocals, stacksize, flags,
1432 code, consts, names, varnames,
1433 freevars, cellvars, filename, name,
1434 firstlineno, lnotab);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001435 v = r_ref_insert(v, idx, flag, p);
Tim Petersd9b9ac82001-01-28 00:27:39 +00001436
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001437 code_error:
1438 Py_XDECREF(code);
1439 Py_XDECREF(consts);
1440 Py_XDECREF(names);
1441 Py_XDECREF(varnames);
1442 Py_XDECREF(freevars);
1443 Py_XDECREF(cellvars);
1444 Py_XDECREF(filename);
1445 Py_XDECREF(name);
1446 Py_XDECREF(lnotab);
1447 }
1448 retval = v;
1449 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001450
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001451 case TYPE_REF:
1452 n = r_long(p);
1453 if (n < 0 || n >= PyList_GET_SIZE(p->refs)) {
Kristján Valur Jónsson0a7697b2013-10-13 15:19:56 +00001454 if (n == -1 && PyErr_Occurred())
1455 break;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001456 PyErr_SetString(PyExc_ValueError, "bad marshal data (invalid reference)");
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001457 break;
1458 }
1459 v = PyList_GET_ITEM(p->refs, n);
1460 if (v == Py_None) {
1461 PyErr_SetString(PyExc_ValueError, "bad marshal data (invalid reference)");
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001462 break;
1463 }
1464 Py_INCREF(v);
1465 retval = v;
1466 break;
1467
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001468 default:
1469 /* Bogus data got written, which isn't ideal.
1470 This will let you keep working and recover. */
1471 PyErr_SetString(PyExc_ValueError, "bad marshal data (unknown type code)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001472 break;
1473
1474 }
1475 p->depth--;
1476 return retval;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001477}
1478
Neal Norwitzd85c4522004-06-13 20:31:49 +00001479static PyObject *
Armin Rigo01ab2792004-03-26 15:09:27 +00001480read_object(RFILE *p)
1481{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001482 PyObject *v;
1483 if (PyErr_Occurred()) {
1484 fprintf(stderr, "XXX readobject called with exception set\n");
1485 return NULL;
1486 }
1487 v = r_object(p);
1488 if (v == NULL && !PyErr_Occurred())
1489 PyErr_SetString(PyExc_TypeError, "NULL object in marshal data for object");
1490 return v;
Armin Rigo01ab2792004-03-26 15:09:27 +00001491}
1492
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001493int
1494PyMarshal_ReadShortFromFile(FILE *fp)
1495{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001496 RFILE rf;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001497 int res;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001498 assert(fp);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001499 rf.readable = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001500 rf.fp = fp;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001501 rf.end = rf.ptr = NULL;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001502 rf.buf = NULL;
1503 res = r_short(&rf);
1504 if (rf.buf != NULL)
1505 PyMem_FREE(rf.buf);
1506 return res;
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001507}
1508
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001509long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001510PyMarshal_ReadLongFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001511{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001512 RFILE rf;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001513 long res;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001514 rf.fp = fp;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001515 rf.readable = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001516 rf.ptr = rf.end = NULL;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001517 rf.buf = NULL;
1518 res = r_long(&rf);
1519 if (rf.buf != NULL)
1520 PyMem_FREE(rf.buf);
1521 return res;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001522}
1523
Steve Dowerf2f373f2015-02-21 08:44:05 -08001524/* Return size of file in bytes; < 0 if unknown or INT_MAX if too big */
Tim Peters691e0e92001-01-18 04:39:16 +00001525static off_t
1526getfilesize(FILE *fp)
1527{
Steve Dowerf2f373f2015-02-21 08:44:05 -08001528 struct _Py_stat_struct st;
Victor Stinnere134a7f2015-03-30 10:09:31 +02001529 if (_Py_fstat_noraise(fileno(fp), &st) != 0)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001530 return -1;
Steve Dowerf2f373f2015-02-21 08:44:05 -08001531#if SIZEOF_OFF_T == 4
1532 else if (st.st_size >= INT_MAX)
1533 return (off_t)INT_MAX;
1534#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001535 else
Steve Dowerf2f373f2015-02-21 08:44:05 -08001536 return (off_t)st.st_size;
Tim Peters691e0e92001-01-18 04:39:16 +00001537}
Tim Petersd9b9ac82001-01-28 00:27:39 +00001538
Tim Peters691e0e92001-01-18 04:39:16 +00001539/* If we can get the size of the file up-front, and it's reasonably small,
1540 * read it in one gulp and delegate to ...FromString() instead. Much quicker
1541 * than reading a byte at a time from file; speeds .pyc imports.
Tim Petersd9b9ac82001-01-28 00:27:39 +00001542 * CAUTION: since this may read the entire remainder of the file, don't
1543 * call it unless you know you're done with the file.
Tim Peters691e0e92001-01-18 04:39:16 +00001544 */
Guido van Rossum79f25d91997-04-29 20:08:16 +00001545PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +00001546PyMarshal_ReadLastObjectFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001547{
Antoine Pitrou5bc7ec92010-04-21 22:56:22 +00001548/* REASONABLE_FILE_LIMIT is by defn something big enough for Tkinter.pyc. */
Tim Peters691e0e92001-01-18 04:39:16 +00001549#define REASONABLE_FILE_LIMIT (1L << 18)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001550 off_t filesize;
1551 filesize = getfilesize(fp);
1552 if (filesize > 0 && filesize <= REASONABLE_FILE_LIMIT) {
1553 char* pBuf = (char *)PyMem_MALLOC(filesize);
1554 if (pBuf != NULL) {
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001555 size_t n = fread(pBuf, 1, (size_t)filesize, fp);
1556 PyObject* v = PyMarshal_ReadObjectFromString(pBuf, n);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001557 PyMem_FREE(pBuf);
1558 return v;
1559 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001560
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001561 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001562 /* We don't have fstat, or we do but the file is larger than
1563 * REASONABLE_FILE_LIMIT or malloc failed -- read a byte at a time.
1564 */
1565 return PyMarshal_ReadObjectFromFile(fp);
Tim Petersd9b9ac82001-01-28 00:27:39 +00001566
Tim Peters691e0e92001-01-18 04:39:16 +00001567#undef REASONABLE_FILE_LIMIT
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001568}
1569
Guido van Rossum79f25d91997-04-29 20:08:16 +00001570PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +00001571PyMarshal_ReadObjectFromFile(FILE *fp)
1572{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001573 RFILE rf;
1574 PyObject *result;
1575 rf.fp = fp;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001576 rf.readable = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001577 rf.depth = 0;
1578 rf.ptr = rf.end = NULL;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001579 rf.buf = NULL;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001580 rf.refs = PyList_New(0);
1581 if (rf.refs == NULL)
1582 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001583 result = r_object(&rf);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001584 Py_DECREF(rf.refs);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001585 if (rf.buf != NULL)
1586 PyMem_FREE(rf.buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001587 return result;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001588}
1589
1590PyObject *
Serhiy Storchakac6792272013-10-19 21:03:34 +03001591PyMarshal_ReadObjectFromString(const char *str, Py_ssize_t len)
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001592{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001593 RFILE rf;
1594 PyObject *result;
1595 rf.fp = NULL;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001596 rf.readable = NULL;
Serhiy Storchakac6792272013-10-19 21:03:34 +03001597 rf.ptr = (char *)str;
1598 rf.end = (char *)str + len;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001599 rf.buf = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001600 rf.depth = 0;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001601 rf.refs = PyList_New(0);
1602 if (rf.refs == NULL)
1603 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001604 result = r_object(&rf);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001605 Py_DECREF(rf.refs);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001606 if (rf.buf != NULL)
1607 PyMem_FREE(rf.buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001608 return result;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001609}
1610
Guido van Rossum79f25d91997-04-29 20:08:16 +00001611PyObject *
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001612PyMarshal_WriteObjectToString(PyObject *x, int version)
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001613{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001614 WFILE wf;
Guido van Rossume6d39042007-05-09 00:01:30 +00001615
Serhiy Storchakace921c622015-02-11 15:53:31 +02001616 memset(&wf, 0, sizeof(wf));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001617 wf.str = PyBytes_FromStringAndSize((char *)NULL, 50);
1618 if (wf.str == NULL)
1619 return NULL;
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +02001620 wf.ptr = wf.buf = PyBytes_AS_STRING((PyBytesObject *)wf.str);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001621 wf.end = wf.ptr + PyBytes_Size(wf.str);
1622 wf.error = WFERR_OK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001623 wf.version = version;
Serhiy Storchakace921c622015-02-11 15:53:31 +02001624 if (w_init_refs(&wf, version)) {
1625 Py_DECREF(wf.str);
1626 return NULL;
1627 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001628 w_object(x, &wf);
Serhiy Storchakace921c622015-02-11 15:53:31 +02001629 w_clear_refs(&wf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001630 if (wf.str != NULL) {
1631 char *base = PyBytes_AS_STRING((PyBytesObject *)wf.str);
1632 if (wf.ptr - base > PY_SSIZE_T_MAX) {
1633 Py_DECREF(wf.str);
1634 PyErr_SetString(PyExc_OverflowError,
Serhiy Storchakac611a5b2017-03-12 08:53:22 +02001635 "too much marshal data for a bytes object");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001636 return NULL;
1637 }
1638 if (_PyBytes_Resize(&wf.str, (Py_ssize_t)(wf.ptr - base)) < 0)
1639 return NULL;
1640 }
1641 if (wf.error != WFERR_OK) {
1642 Py_XDECREF(wf.str);
1643 if (wf.error == WFERR_NOMEMORY)
1644 PyErr_NoMemory();
1645 else
1646 PyErr_SetString(PyExc_ValueError,
1647 (wf.error==WFERR_UNMARSHALLABLE)?"unmarshallable object"
1648 :"object too deeply nested to marshal");
1649 return NULL;
1650 }
Antoine Pitrou1c13f842012-03-02 18:22:23 +01001651 return wf.str;
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001652}
1653
Guido van Rossum64b45521991-06-07 13:58:22 +00001654/* And an interface for Python programs... */
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001655/*[clinic input]
1656marshal.dump
1657
1658 value: object
1659 Must be a supported type.
1660 file: object
1661 Must be a writeable binary file.
1662 version: int(c_default="Py_MARSHAL_VERSION") = version
1663 Indicates the data format that dump should use.
1664 /
1665
1666Write the value on the open file.
1667
1668If the value has (or contains an object that has) an unsupported type, a
1669ValueError exception is raised - but garbage data will also be written
1670to the file. The object will not be properly read back by load().
1671[clinic start generated code]*/
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001672
Guido van Rossum79f25d91997-04-29 20:08:16 +00001673static PyObject *
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001674marshal_dump_impl(PyObject *module, PyObject *value, PyObject *file,
1675 int version)
1676/*[clinic end generated code: output=aaee62c7028a7cb2 input=6c7a3c23c6fef556]*/
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001677{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001678 /* XXX Quick hack -- need to do this differently */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001679 PyObject *s;
1680 PyObject *res;
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02001681 _Py_IDENTIFIER(write);
Martin v. Löwisafe55bb2011-10-09 10:38:36 +02001682
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001683 s = PyMarshal_WriteObjectToString(value, version);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001684 if (s == NULL)
1685 return NULL;
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001686 res = _PyObject_CallMethodIdObjArgs(file, &PyId_write, s, NULL);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001687 Py_DECREF(s);
1688 return res;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001689}
1690
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001691/*[clinic input]
1692marshal.load
1693
1694 file: object
1695 Must be readable binary file.
1696 /
1697
1698Read one value from the open file and return it.
1699
1700If no valid value is read (e.g. because the data has a different Python
1701version's incompatible marshal format), raise EOFError, ValueError or
1702TypeError.
1703
1704Note: If an object containing an unsupported type was marshalled with
1705dump(), load() will substitute None for the unmarshallable type.
1706[clinic start generated code]*/
R. David Murraydd226ea2009-05-13 12:27:21 +00001707
Guido van Rossum79f25d91997-04-29 20:08:16 +00001708static PyObject *
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001709marshal_load(PyObject *module, PyObject *file)
1710/*[clinic end generated code: output=f8e5c33233566344 input=c85c2b594cd8124a]*/
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001711{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001712 PyObject *data, *result;
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02001713 _Py_IDENTIFIER(read);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001714 RFILE rf;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001715
1716 /*
1717 * Make a call to the read method, but read zero bytes.
1718 * This is to ensure that the object passed in at least
1719 * has a read method which returns bytes.
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001720 * This can be removed if we guarantee good error handling
1721 * for r_string()
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001722 */
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001723 data = _PyObject_CallMethodId(file, &PyId_read, "i", 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001724 if (data == NULL)
1725 return NULL;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001726 if (!PyBytes_Check(data)) {
1727 PyErr_Format(PyExc_TypeError,
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001728 "file.read() returned not bytes but %.100s",
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001729 data->ob_type->tp_name);
1730 result = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001731 }
1732 else {
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001733 rf.depth = 0;
1734 rf.fp = NULL;
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001735 rf.readable = file;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001736 rf.ptr = rf.end = NULL;
1737 rf.buf = NULL;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001738 if ((rf.refs = PyList_New(0)) != NULL) {
1739 result = read_object(&rf);
1740 Py_DECREF(rf.refs);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001741 if (rf.buf != NULL)
1742 PyMem_FREE(rf.buf);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001743 } else
1744 result = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001745 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001746 Py_DECREF(data);
1747 return result;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001748}
1749
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001750/*[clinic input]
1751marshal.dumps
R. David Murraydd226ea2009-05-13 12:27:21 +00001752
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001753 value: object
1754 Must be a supported type.
1755 version: int(c_default="Py_MARSHAL_VERSION") = version
1756 Indicates the data format that dumps should use.
1757 /
1758
1759Return the bytes object that would be written to a file by dump(value, file).
1760
1761Raise a ValueError exception if value has (or contains an object that has) an
1762unsupported type.
1763[clinic start generated code]*/
R. David Murraydd226ea2009-05-13 12:27:21 +00001764
Guido van Rossum79f25d91997-04-29 20:08:16 +00001765static PyObject *
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001766marshal_dumps_impl(PyObject *module, PyObject *value, int version)
1767/*[clinic end generated code: output=9c200f98d7256cad input=a2139ea8608e9b27]*/
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001768{
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001769 return PyMarshal_WriteObjectToString(value, version);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001770}
1771
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001772/*[clinic input]
1773marshal.loads
R. David Murraydd226ea2009-05-13 12:27:21 +00001774
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001775 bytes: Py_buffer
1776 /
1777
1778Convert the bytes-like object to a value.
1779
1780If no valid value is found, raise EOFError, ValueError or TypeError. Extra
1781bytes in the input are ignored.
1782[clinic start generated code]*/
R. David Murraydd226ea2009-05-13 12:27:21 +00001783
Guido van Rossum79f25d91997-04-29 20:08:16 +00001784static PyObject *
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001785marshal_loads_impl(PyObject *module, Py_buffer *bytes)
1786/*[clinic end generated code: output=9fc65985c93d1bb1 input=6f426518459c8495]*/
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001787{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001788 RFILE rf;
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001789 char *s = bytes->buf;
1790 Py_ssize_t n = bytes->len;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001791 PyObject* result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001792 rf.fp = NULL;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001793 rf.readable = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001794 rf.ptr = s;
1795 rf.end = s + n;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001796 rf.depth = 0;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001797 if ((rf.refs = PyList_New(0)) == NULL)
1798 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001799 result = read_object(&rf);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001800 Py_DECREF(rf.refs);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001801 return result;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001802}
1803
Guido van Rossum79f25d91997-04-29 20:08:16 +00001804static PyMethodDef marshal_methods[] = {
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001805 MARSHAL_DUMP_METHODDEF
1806 MARSHAL_LOAD_METHODDEF
1807 MARSHAL_DUMPS_METHODDEF
1808 MARSHAL_LOADS_METHODDEF
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001809 {NULL, NULL} /* sentinel */
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001810};
1811
R. David Murraydd226ea2009-05-13 12:27:21 +00001812
1813PyDoc_STRVAR(module_doc,
1814"This module contains functions that can read and write Python values in\n\
1815a binary format. The format is specific to Python, but independent of\n\
1816machine architecture issues.\n\
1817\n\
1818Not all Python object types are supported; in general, only objects\n\
1819whose value is independent from a particular invocation of Python can be\n\
1820written and read by this module. The following types are supported:\n\
1821None, integers, floating point numbers, strings, bytes, bytearrays,\n\
1822tuples, lists, sets, dictionaries, and code objects, where it\n\
1823should be understood that tuples, lists and dictionaries are only\n\
1824supported as long as the values contained therein are themselves\n\
1825supported; and recursive lists and dictionaries should not be written\n\
1826(they will cause infinite loops).\n\
1827\n\
1828Variables:\n\
1829\n\
1830version -- indicates the format that the module uses. Version 0 is the\n\
1831 historical format, version 1 shares interned strings and version 2\n\
1832 uses a binary format for floating point numbers.\n\
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001833 Version 3 shares common object references (New in version 3.4).\n\
R. David Murraydd226ea2009-05-13 12:27:21 +00001834\n\
1835Functions:\n\
1836\n\
1837dump() -- write value to a file\n\
1838load() -- read value from a file\n\
Serhiy Storchakac611a5b2017-03-12 08:53:22 +02001839dumps() -- marshal value as a bytes object\n\
1840loads() -- read value from a bytes-like object");
R. David Murraydd226ea2009-05-13 12:27:21 +00001841
1842
1843
Brett Cannon429ef652008-06-27 00:35:35 +00001844static struct PyModuleDef marshalmodule = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001845 PyModuleDef_HEAD_INIT,
1846 "marshal",
1847 module_doc,
1848 0,
1849 marshal_methods,
1850 NULL,
1851 NULL,
1852 NULL,
1853 NULL
Martin v. Löwis1a214512008-06-11 05:26:20 +00001854};
1855
Jason Tishler6bc06ec2003-09-04 11:59:50 +00001856PyMODINIT_FUNC
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001857PyMarshal_Init(void)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001858{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001859 PyObject *mod = PyModule_Create(&marshalmodule);
1860 if (mod == NULL)
1861 return NULL;
1862 PyModule_AddIntConstant(mod, "version", Py_MARSHAL_VERSION);
1863 return mod;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001864}