blob: 21cdd60c7e1377b1731efeb790f0641fbd51928b [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.
Steve Dower2a4a62b2018-06-04 13:25:00 -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 */
Steve Dower2a4a62b2018-06-04 13:25:00 -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
Serhiy Storchakac5734992018-07-24 10:55:47 +0300269static void
270w_float_bin(double v, WFILE *p)
271{
272 unsigned char buf[8];
273 if (_PyFloat_Pack8(v, buf, 1) < 0) {
274 p->error = WFERR_UNMARSHALLABLE;
275 return;
276 }
277 w_string((const char *)buf, 8, p);
278}
279
280static void
281w_float_str(double v, WFILE *p)
282{
283 int n;
284 char *buf = PyOS_double_to_string(v, 'g', 17, 0, NULL);
285 if (!buf) {
286 p->error = WFERR_NOMEMORY;
287 return;
288 }
289 n = (int)strlen(buf);
290 w_byte(n, p);
291 w_string(buf, n, p);
292 PyMem_Free(buf);
293}
294
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700295static int
296w_ref(PyObject *v, char *flag, WFILE *p)
297{
Serhiy Storchakace921c622015-02-11 15:53:31 +0200298 _Py_hashtable_entry_t *entry;
299 int w;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700300
Serhiy Storchakace921c622015-02-11 15:53:31 +0200301 if (p->version < 3 || p->hashtable == NULL)
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700302 return 0; /* not writing object references */
303
304 /* if it has only one reference, it definitely isn't shared */
305 if (Py_REFCNT(v) == 1)
306 return 0;
307
Victor Stinner285cf0a2016-03-21 22:00:58 +0100308 entry = _Py_HASHTABLE_GET_ENTRY(p->hashtable, v);
Serhiy Storchakace921c622015-02-11 15:53:31 +0200309 if (entry != NULL) {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700310 /* write the reference index to the stream */
Victor Stinnere8c6b2f2016-03-23 09:25:01 +0100311 _Py_HASHTABLE_ENTRY_READ_DATA(p->hashtable, entry, w);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700312 /* we don't store "long" indices in the dict */
313 assert(0 <= w && w <= 0x7fffffff);
314 w_byte(TYPE_REF, p);
315 w_long(w, p);
316 return 1;
317 } else {
Serhiy Storchakace921c622015-02-11 15:53:31 +0200318 size_t s = p->hashtable->entries;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700319 /* we don't support long indices */
320 if (s >= 0x7fffffff) {
321 PyErr_SetString(PyExc_ValueError, "too many objects");
322 goto err;
323 }
Serhiy Storchaka26861b02015-02-16 20:52:17 +0200324 w = (int)s;
Serhiy Storchakace921c622015-02-11 15:53:31 +0200325 Py_INCREF(v);
326 if (_Py_HASHTABLE_SET(p->hashtable, v, w) < 0) {
327 Py_DECREF(v);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700328 goto err;
Serhiy Storchakace921c622015-02-11 15:53:31 +0200329 }
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700330 *flag |= FLAG_REF;
331 return 0;
332 }
333err:
334 p->error = WFERR_UNMARSHALLABLE;
335 return 1;
336}
337
338static void
339w_complex_object(PyObject *v, char flag, WFILE *p);
340
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000341static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000342w_object(PyObject *v, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000343{
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700344 char flag = '\0';
Fred Drake6da0b912000-06-28 18:47:56 +0000345
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000346 p->depth++;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000347
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000348 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
349 p->error = WFERR_NESTEDTOODEEP;
350 }
351 else if (v == NULL) {
352 w_byte(TYPE_NULL, p);
353 }
354 else if (v == Py_None) {
355 w_byte(TYPE_NONE, p);
356 }
357 else if (v == PyExc_StopIteration) {
358 w_byte(TYPE_STOPITER, p);
359 }
360 else if (v == Py_Ellipsis) {
361 w_byte(TYPE_ELLIPSIS, p);
362 }
363 else if (v == Py_False) {
364 w_byte(TYPE_FALSE, p);
365 }
366 else if (v == Py_True) {
367 w_byte(TYPE_TRUE, p);
368 }
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700369 else if (!w_ref(v, &flag, p))
370 w_complex_object(v, flag, p);
371
372 p->depth--;
373}
374
375static void
376w_complex_object(PyObject *v, char flag, WFILE *p)
377{
378 Py_ssize_t i, n;
379
380 if (PyLong_CheckExact(v)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000381 long x = PyLong_AsLong(v);
382 if ((x == -1) && PyErr_Occurred()) {
383 PyLongObject *ob = (PyLongObject *)v;
384 PyErr_Clear();
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700385 w_PyLong(ob, flag, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000386 }
387 else {
Guido van Rossumc1547d91996-12-10 15:39:04 +0000388#if SIZEOF_LONG > 4
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000389 long y = Py_ARITHMETIC_RIGHT_SHIFT(long, x, 31);
390 if (y && y != -1) {
Martin v. Löwis7e395722012-07-28 19:44:05 +0200391 /* Too large for TYPE_INT */
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700392 w_PyLong((PyLongObject*)v, flag, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000393 }
394 else
Guido van Rossumc1547d91996-12-10 15:39:04 +0000395#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000396 {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700397 W_TYPE(TYPE_INT, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000398 w_long(x, p);
399 }
400 }
401 }
402 else if (PyFloat_CheckExact(v)) {
403 if (p->version > 1) {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700404 W_TYPE(TYPE_BINARY_FLOAT, p);
Serhiy Storchakac5734992018-07-24 10:55:47 +0300405 w_float_bin(PyFloat_AS_DOUBLE(v), p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000406 }
407 else {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700408 W_TYPE(TYPE_FLOAT, p);
Serhiy Storchakac5734992018-07-24 10:55:47 +0300409 w_float_str(PyFloat_AS_DOUBLE(v), p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000410 }
411 }
412 else if (PyComplex_CheckExact(v)) {
413 if (p->version > 1) {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700414 W_TYPE(TYPE_BINARY_COMPLEX, p);
Serhiy Storchakac5734992018-07-24 10:55:47 +0300415 w_float_bin(PyComplex_RealAsDouble(v), p);
416 w_float_bin(PyComplex_ImagAsDouble(v), p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000417 }
418 else {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700419 W_TYPE(TYPE_COMPLEX, p);
Serhiy Storchakac5734992018-07-24 10:55:47 +0300420 w_float_str(PyComplex_RealAsDouble(v), p);
421 w_float_str(PyComplex_ImagAsDouble(v), p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000422 }
423 }
424 else if (PyBytes_CheckExact(v)) {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700425 W_TYPE(TYPE_STRING, p);
Serhiy Storchakadfde2152013-07-11 19:14:26 +0300426 w_pstring(PyBytes_AS_STRING(v), PyBytes_GET_SIZE(v), p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000427 }
428 else if (PyUnicode_CheckExact(v)) {
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200429 if (p->version >= 4 && PyUnicode_IS_ASCII(v)) {
430 int is_short = PyUnicode_GET_LENGTH(v) < 256;
431 if (is_short) {
432 if (PyUnicode_CHECK_INTERNED(v))
433 W_TYPE(TYPE_SHORT_ASCII_INTERNED, p);
434 else
435 W_TYPE(TYPE_SHORT_ASCII, p);
436 w_short_pstring((char *) PyUnicode_1BYTE_DATA(v),
437 PyUnicode_GET_LENGTH(v), p);
438 }
439 else {
440 if (PyUnicode_CHECK_INTERNED(v))
441 W_TYPE(TYPE_ASCII_INTERNED, p);
442 else
443 W_TYPE(TYPE_ASCII, p);
444 w_pstring((char *) PyUnicode_1BYTE_DATA(v),
445 PyUnicode_GET_LENGTH(v), p);
446 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000447 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200448 else {
449 PyObject *utf8;
450 utf8 = PyUnicode_AsEncodedString(v, "utf8", "surrogatepass");
451 if (utf8 == NULL) {
452 p->depth--;
453 p->error = WFERR_UNMARSHALLABLE;
454 return;
455 }
456 if (p->version >= 3 && PyUnicode_CHECK_INTERNED(v))
457 W_TYPE(TYPE_INTERNED, p);
458 else
459 W_TYPE(TYPE_UNICODE, p);
460 w_pstring(PyBytes_AS_STRING(utf8), PyBytes_GET_SIZE(utf8), p);
461 Py_DECREF(utf8);
462 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000463 }
464 else if (PyTuple_CheckExact(v)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000465 n = PyTuple_Size(v);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200466 if (p->version >= 4 && n < 256) {
467 W_TYPE(TYPE_SMALL_TUPLE, p);
Victor Stinnerda062552013-11-16 00:13:29 +0100468 w_byte((unsigned char)n, p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200469 }
470 else {
471 W_TYPE(TYPE_TUPLE, p);
472 W_SIZE(n, p);
473 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000474 for (i = 0; i < n; i++) {
475 w_object(PyTuple_GET_ITEM(v, i), p);
476 }
477 }
478 else if (PyList_CheckExact(v)) {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700479 W_TYPE(TYPE_LIST, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000480 n = PyList_GET_SIZE(v);
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200481 W_SIZE(n, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000482 for (i = 0; i < n; i++) {
483 w_object(PyList_GET_ITEM(v, i), p);
484 }
485 }
486 else if (PyDict_CheckExact(v)) {
487 Py_ssize_t pos;
488 PyObject *key, *value;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700489 W_TYPE(TYPE_DICT, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000490 /* This one is NULL object terminated! */
491 pos = 0;
492 while (PyDict_Next(v, &pos, &key, &value)) {
493 w_object(key, p);
494 w_object(value, p);
495 }
496 w_object((PyObject *)NULL, p);
497 }
498 else if (PyAnySet_CheckExact(v)) {
499 PyObject *value, *it;
Raymond Hettingera422c342005-01-11 03:03:27 +0000500
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000501 if (PyObject_TypeCheck(v, &PySet_Type))
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700502 W_TYPE(TYPE_SET, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000503 else
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700504 W_TYPE(TYPE_FROZENSET, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000505 n = PyObject_Size(v);
506 if (n == -1) {
507 p->depth--;
508 p->error = WFERR_UNMARSHALLABLE;
509 return;
510 }
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200511 W_SIZE(n, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000512 it = PyObject_GetIter(v);
513 if (it == NULL) {
514 p->depth--;
515 p->error = WFERR_UNMARSHALLABLE;
516 return;
517 }
518 while ((value = PyIter_Next(it)) != NULL) {
519 w_object(value, p);
520 Py_DECREF(value);
521 }
522 Py_DECREF(it);
523 if (PyErr_Occurred()) {
524 p->depth--;
525 p->error = WFERR_UNMARSHALLABLE;
526 return;
527 }
528 }
529 else if (PyCode_Check(v)) {
530 PyCodeObject *co = (PyCodeObject *)v;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700531 W_TYPE(TYPE_CODE, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000532 w_long(co->co_argcount, p);
533 w_long(co->co_kwonlyargcount, p);
534 w_long(co->co_nlocals, p);
535 w_long(co->co_stacksize, p);
536 w_long(co->co_flags, p);
537 w_object(co->co_code, p);
538 w_object(co->co_consts, p);
539 w_object(co->co_names, p);
540 w_object(co->co_varnames, p);
541 w_object(co->co_freevars, p);
542 w_object(co->co_cellvars, p);
543 w_object(co->co_filename, p);
544 w_object(co->co_name, p);
545 w_long(co->co_firstlineno, p);
546 w_object(co->co_lnotab, p);
547 }
548 else if (PyObject_CheckBuffer(v)) {
Serhiy Storchakac611a5b2017-03-12 08:53:22 +0200549 /* Write unknown bytes-like objects as a bytes object */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000550 Py_buffer view;
Antoine Pitrou679e9d32012-03-02 18:12:43 +0100551 if (PyObject_GetBuffer(v, &view, PyBUF_SIMPLE) != 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000552 w_byte(TYPE_UNKNOWN, p);
Antoine Pitrou679e9d32012-03-02 18:12:43 +0100553 p->depth--;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000554 p->error = WFERR_UNMARSHALLABLE;
Antoine Pitrou679e9d32012-03-02 18:12:43 +0100555 return;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000556 }
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700557 W_TYPE(TYPE_STRING, p);
Serhiy Storchakadfde2152013-07-11 19:14:26 +0300558 w_pstring(view.buf, view.len, p);
Antoine Pitrou679e9d32012-03-02 18:12:43 +0100559 PyBuffer_Release(&view);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000560 }
561 else {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700562 W_TYPE(TYPE_UNKNOWN, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000563 p->error = WFERR_UNMARSHALLABLE;
564 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000565}
566
Serhiy Storchakace921c622015-02-11 15:53:31 +0200567static int
568w_init_refs(WFILE *wf, int version)
569{
570 if (version >= 3) {
Victor Stinner285cf0a2016-03-21 22:00:58 +0100571 wf->hashtable = _Py_hashtable_new(sizeof(PyObject *), sizeof(int),
572 _Py_hashtable_hash_ptr,
Serhiy Storchakace921c622015-02-11 15:53:31 +0200573 _Py_hashtable_compare_direct);
574 if (wf->hashtable == NULL) {
575 PyErr_NoMemory();
576 return -1;
577 }
578 }
579 return 0;
580}
581
582static int
Victor Stinner285cf0a2016-03-21 22:00:58 +0100583w_decref_entry(_Py_hashtable_t *ht, _Py_hashtable_entry_t *entry,
584 void *Py_UNUSED(data))
Serhiy Storchakace921c622015-02-11 15:53:31 +0200585{
Victor Stinner285cf0a2016-03-21 22:00:58 +0100586 PyObject *entry_key;
587
Victor Stinner5dacbd42016-03-23 09:52:13 +0100588 _Py_HASHTABLE_ENTRY_READ_KEY(ht, entry, entry_key);
Victor Stinner285cf0a2016-03-21 22:00:58 +0100589 Py_XDECREF(entry_key);
Serhiy Storchakace921c622015-02-11 15:53:31 +0200590 return 0;
591}
592
593static void
594w_clear_refs(WFILE *wf)
595{
596 if (wf->hashtable != NULL) {
597 _Py_hashtable_foreach(wf->hashtable, w_decref_entry, NULL);
598 _Py_hashtable_destroy(wf->hashtable);
599 }
600}
601
Serhiy Storchaka95949422013-08-27 19:40:23 +0300602/* version currently has no effect for writing ints. */
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000603void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000604PyMarshal_WriteLongToFile(long x, FILE *fp, int version)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000605{
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200606 char buf[4];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000607 WFILE wf;
Serhiy Storchakace921c622015-02-11 15:53:31 +0200608 memset(&wf, 0, sizeof(wf));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000609 wf.fp = fp;
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200610 wf.ptr = wf.buf = buf;
611 wf.end = wf.ptr + sizeof(buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000612 wf.error = WFERR_OK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000613 wf.version = version;
614 w_long(x, &wf);
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200615 w_flush(&wf);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000616}
617
618void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000619PyMarshal_WriteObjectToFile(PyObject *x, FILE *fp, int version)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000620{
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200621 char buf[BUFSIZ];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000622 WFILE wf;
Serhiy Storchakace921c622015-02-11 15:53:31 +0200623 memset(&wf, 0, sizeof(wf));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000624 wf.fp = fp;
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200625 wf.ptr = wf.buf = buf;
626 wf.end = wf.ptr + sizeof(buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000627 wf.error = WFERR_OK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000628 wf.version = version;
Serhiy Storchakace921c622015-02-11 15:53:31 +0200629 if (w_init_refs(&wf, version))
630 return; /* caller mush check PyErr_Occurred() */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000631 w_object(x, &wf);
Serhiy Storchakace921c622015-02-11 15:53:31 +0200632 w_clear_refs(&wf);
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +0200633 w_flush(&wf);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000634}
635
Serhiy Storchakac07422c2015-02-11 16:18:09 +0200636typedef struct {
637 FILE *fp;
638 int depth;
639 PyObject *readable; /* Stream-like object being read from */
Serhiy Storchakac07422c2015-02-11 16:18:09 +0200640 char *ptr;
641 char *end;
642 char *buf;
643 Py_ssize_t buf_size;
644 PyObject *refs; /* a list */
645} RFILE;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000646
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200647static const char *
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200648r_string(Py_ssize_t n, RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000649{
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200650 Py_ssize_t read = -1;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100651
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200652 if (p->ptr != NULL) {
653 /* Fast path for loads() */
654 char *res = p->ptr;
655 Py_ssize_t left = p->end - p->ptr;
656 if (left < n) {
657 PyErr_SetString(PyExc_EOFError,
658 "marshal data too short");
659 return NULL;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100660 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200661 p->ptr += n;
662 return res;
663 }
664 if (p->buf == NULL) {
665 p->buf = PyMem_MALLOC(n);
666 if (p->buf == NULL) {
667 PyErr_NoMemory();
668 return NULL;
669 }
670 p->buf_size = n;
671 }
672 else if (p->buf_size < n) {
673 p->buf = PyMem_REALLOC(p->buf, n);
674 if (p->buf == NULL) {
675 PyErr_NoMemory();
676 return NULL;
677 }
678 p->buf_size = n;
679 }
Victor Stinner763b0d12013-10-31 16:56:38 +0100680
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200681 if (!p->readable) {
682 assert(p->fp != NULL);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200683 read = fread(p->buf, 1, n, p->fp);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100684 }
685 else {
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200686 _Py_IDENTIFIER(readinto);
687 PyObject *res, *mview;
688 Py_buffer buf;
Martin v. Löwisafe55bb2011-10-09 10:38:36 +0200689
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200690 if (PyBuffer_FillInfo(&buf, NULL, p->buf, n, 0, PyBUF_CONTIG) == -1)
691 return NULL;
692 mview = PyMemoryView_FromBuffer(&buf);
693 if (mview == NULL)
694 return NULL;
695
696 res = _PyObject_CallMethodId(p->readable, &PyId_readinto, "N", mview);
697 if (res != NULL) {
698 read = PyNumber_AsSsize_t(res, PyExc_ValueError);
699 Py_DECREF(res);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100700 }
701 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200702 if (read != n) {
703 if (!PyErr_Occurred()) {
704 if (read > n)
705 PyErr_Format(PyExc_ValueError,
706 "read() returned too much data: "
707 "%zd bytes requested, %zd returned",
708 n, read);
709 else
710 PyErr_SetString(PyExc_EOFError,
711 "EOF read where not expected");
712 }
713 return NULL;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100714 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200715 return p->buf;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100716}
717
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100718static int
719r_byte(RFILE *p)
720{
721 int c = EOF;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100722
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200723 if (p->ptr != NULL) {
724 if (p->ptr < p->end)
725 c = (unsigned char) *p->ptr++;
726 return c;
727 }
728 if (!p->readable) {
729 assert(p->fp);
730 c = getc(p->fp);
731 }
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100732 else {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200733 const char *ptr = r_string(1, p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200734 if (ptr != NULL)
735 c = *(unsigned char *) ptr;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100736 }
737 return c;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000738}
739
740static int
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000741r_short(RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000742{
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200743 short x = -1;
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200744 const unsigned char *buffer;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100745
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200746 buffer = (const unsigned char *) r_string(2, p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200747 if (buffer != NULL) {
748 x = buffer[0];
749 x |= buffer[1] << 8;
750 /* Sign-extension, in case short greater than 16 bits */
751 x |= -(x & 0x8000);
752 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000753 return x;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000754}
755
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000756static long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000757r_long(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000758{
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200759 long x = -1;
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200760 const unsigned char *buffer;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100761
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200762 buffer = (const unsigned char *) r_string(4, p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200763 if (buffer != NULL) {
764 x = buffer[0];
765 x |= (long)buffer[1] << 8;
766 x |= (long)buffer[2] << 16;
767 x |= (long)buffer[3] << 24;
Guido van Rossumc1547d91996-12-10 15:39:04 +0000768#if SIZEOF_LONG > 4
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200769 /* Sign extension for 64-bit machines */
770 x |= -(x & 0x80000000L);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000771#endif
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200772 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000773 return x;
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000774}
775
Serhiy Storchaka00987f62017-11-15 17:41:05 +0200776/* r_long64 deals with the TYPE_INT64 code. */
777static PyObject *
778r_long64(RFILE *p)
779{
780 const unsigned char *buffer = (const unsigned char *) r_string(8, p);
781 if (buffer == NULL) {
782 return NULL;
783 }
784 return _PyLong_FromByteArray(buffer, 8,
785 1 /* little endian */,
786 1 /* signed */);
787}
788
Guido van Rossum79f25d91997-04-29 20:08:16 +0000789static PyObject *
Mark Dickinsonbd792642009-03-18 20:06:12 +0000790r_PyLong(RFILE *p)
791{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000792 PyLongObject *ob;
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200793 long n, size, i;
794 int j, md, shorts_in_top_digit;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000795 digit d;
Mark Dickinsonbd792642009-03-18 20:06:12 +0000796
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000797 n = r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100798 if (PyErr_Occurred())
799 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000800 if (n == 0)
801 return (PyObject *)_PyLong_New(0);
Serhiy Storchaka7e019112013-02-13 12:08:15 +0200802 if (n < -SIZE32_MAX || n > SIZE32_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000803 PyErr_SetString(PyExc_ValueError,
804 "bad marshal data (long size out of range)");
805 return NULL;
806 }
Mark Dickinsonbd792642009-03-18 20:06:12 +0000807
Victor Stinner45e8e2f2014-05-14 17:24:35 +0200808 size = 1 + (Py_ABS(n) - 1) / PyLong_MARSHAL_RATIO;
809 shorts_in_top_digit = 1 + (Py_ABS(n) - 1) % PyLong_MARSHAL_RATIO;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000810 ob = _PyLong_New(size);
811 if (ob == NULL)
812 return NULL;
Victor Stinner763b0d12013-10-31 16:56:38 +0100813
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000814 Py_SIZE(ob) = n > 0 ? size : -size;
Mark Dickinsonbd792642009-03-18 20:06:12 +0000815
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000816 for (i = 0; i < size-1; i++) {
817 d = 0;
818 for (j=0; j < PyLong_MARSHAL_RATIO; j++) {
819 md = r_short(p);
Victor Stinner763b0d12013-10-31 16:56:38 +0100820 if (PyErr_Occurred()) {
821 Py_DECREF(ob);
822 return NULL;
823 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000824 if (md < 0 || md > PyLong_MARSHAL_BASE)
825 goto bad_digit;
826 d += (digit)md << j*PyLong_MARSHAL_SHIFT;
827 }
828 ob->ob_digit[i] = d;
829 }
Victor Stinner763b0d12013-10-31 16:56:38 +0100830
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000831 d = 0;
832 for (j=0; j < shorts_in_top_digit; j++) {
833 md = r_short(p);
Victor Stinner763b0d12013-10-31 16:56:38 +0100834 if (PyErr_Occurred()) {
835 Py_DECREF(ob);
836 return NULL;
837 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000838 if (md < 0 || md > PyLong_MARSHAL_BASE)
839 goto bad_digit;
840 /* topmost marshal digit should be nonzero */
841 if (md == 0 && j == shorts_in_top_digit - 1) {
842 Py_DECREF(ob);
843 PyErr_SetString(PyExc_ValueError,
844 "bad marshal data (unnormalized long data)");
845 return NULL;
846 }
847 d += (digit)md << j*PyLong_MARSHAL_SHIFT;
848 }
Vinay Sajip5bdae3b2011-07-02 16:42:47 +0100849 if (PyErr_Occurred()) {
850 Py_DECREF(ob);
851 return NULL;
852 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000853 /* top digit should be nonzero, else the resulting PyLong won't be
854 normalized */
855 ob->ob_digit[size-1] = d;
856 return (PyObject *)ob;
Mark Dickinsonbd792642009-03-18 20:06:12 +0000857 bad_digit:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000858 Py_DECREF(ob);
859 PyErr_SetString(PyExc_ValueError,
860 "bad marshal data (digit out of range in long)");
861 return NULL;
Mark Dickinsonbd792642009-03-18 20:06:12 +0000862}
863
Serhiy Storchakac5734992018-07-24 10:55:47 +0300864static double
865r_float_bin(RFILE *p)
866{
867 const unsigned char *buf = (const unsigned char *) r_string(8, p);
868 if (buf == NULL)
869 return -1;
870 return _PyFloat_Unpack8(buf, 1);
871}
872
873/* Issue #33720: Disable inlining for reducing the C stack consumption
874 on PGO builds. */
875_Py_NO_INLINE static double
876r_float_str(RFILE *p)
877{
878 int n;
879 char buf[256];
880 const char *ptr;
881 n = r_byte(p);
882 if (n == EOF) {
883 PyErr_SetString(PyExc_EOFError,
884 "EOF read where object expected");
885 return -1;
886 }
887 ptr = r_string(n, p);
888 if (ptr == NULL) {
889 return -1;
890 }
891 memcpy(buf, ptr, n);
892 buf[n] = '\0';
893 return PyOS_string_to_double(buf, NULL, NULL);
894}
895
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700896/* allocate the reflist index for a new object. Return -1 on failure */
897static Py_ssize_t
898r_ref_reserve(int flag, RFILE *p)
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700899{
900 if (flag) { /* currently only FLAG_REF is defined */
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200901 Py_ssize_t idx = PyList_GET_SIZE(p->refs);
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700902 if (idx >= 0x7ffffffe) {
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700903 PyErr_SetString(PyExc_ValueError, "bad marshal data (index list too large)");
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700904 return -1;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700905 }
906 if (PyList_Append(p->refs, Py_None) < 0)
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700907 return -1;
908 return idx;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700909 } else
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700910 return 0;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700911}
912
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700913/* insert the new object 'o' to the reflist at previously
914 * allocated index 'idx'.
915 * 'o' can be NULL, in which case nothing is done.
916 * if 'o' was non-NULL, and the function succeeds, 'o' is returned.
917 * if 'o' was non-NULL, and the function fails, 'o' is released and
918 * NULL returned. This simplifies error checking at the call site since
919 * a single test for NULL for the function result is enough.
920 */
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700921static PyObject *
922r_ref_insert(PyObject *o, Py_ssize_t idx, int flag, RFILE *p)
923{
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700924 if (o != NULL && flag) { /* currently only FLAG_REF is defined */
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200925 PyObject *tmp = PyList_GET_ITEM(p->refs, idx);
926 Py_INCREF(o);
927 PyList_SET_ITEM(p->refs, idx, o);
928 Py_DECREF(tmp);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700929 }
930 return o;
931}
932
933/* combination of both above, used when an object can be
934 * created whenever it is seen in the file, as opposed to
935 * after having loaded its sub-objects.
936 */
937static PyObject *
938r_ref(PyObject *o, int flag, RFILE *p)
939{
Victor Stinner359fabc2013-10-31 17:09:01 +0100940 assert(flag & FLAG_REF);
941 if (o == NULL)
942 return NULL;
943 if (PyList_Append(p->refs, o) < 0) {
944 Py_DECREF(o); /* release the new object */
945 return NULL;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700946 }
947 return o;
948}
Mark Dickinsonbd792642009-03-18 20:06:12 +0000949
950static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000951r_object(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000952{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000953 /* NULL is a valid return value, it does not necessarily means that
954 an exception is set. */
955 PyObject *v, *v2;
Benjamin Petersoneddb0a72013-03-20 00:40:07 -0500956 Py_ssize_t idx = 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000957 long i, n;
Kristján Valur Jónsson61683622013-03-20 14:26:33 -0700958 int type, code = r_byte(p);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +0200959 int flag, is_interned = 0;
Christian Heimes35728422013-10-13 02:29:06 +0200960 PyObject *retval = NULL;
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000961
Kristján Valur Jónsson61683622013-03-20 14:26:33 -0700962 if (code == EOF) {
963 PyErr_SetString(PyExc_EOFError,
964 "EOF read where object expected");
965 return NULL;
966 }
967
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000968 p->depth++;
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000969
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000970 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
971 p->depth--;
972 PyErr_SetString(PyExc_ValueError, "recursion limit exceeded");
973 return NULL;
974 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000975
Kristján Valur Jónsson61683622013-03-20 14:26:33 -0700976 flag = code & FLAG_REF;
977 type = code & ~FLAG_REF;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700978
979#define R_REF(O) do{\
Kristján Valur Jónssone1781872013-03-20 11:43:57 -0700980 if (flag) \
981 O = r_ref(O, flag, p);\
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -0700982} while (0)
983
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000984 switch (type) {
Tim Petersd9b9ac82001-01-28 00:27:39 +0000985
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000986 case TYPE_NULL:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000987 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000988
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000989 case TYPE_NONE:
990 Py_INCREF(Py_None);
991 retval = Py_None;
992 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000993
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000994 case TYPE_STOPITER:
995 Py_INCREF(PyExc_StopIteration);
996 retval = PyExc_StopIteration;
997 break;
Tim Peters5ca576e2001-06-18 22:08:13 +0000998
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000999 case TYPE_ELLIPSIS:
1000 Py_INCREF(Py_Ellipsis);
1001 retval = Py_Ellipsis;
1002 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001003
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001004 case TYPE_FALSE:
1005 Py_INCREF(Py_False);
1006 retval = Py_False;
1007 break;
Guido van Rossum77f6a652002-04-03 22:41:51 +00001008
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001009 case TYPE_TRUE:
1010 Py_INCREF(Py_True);
1011 retval = Py_True;
1012 break;
Guido van Rossum77f6a652002-04-03 22:41:51 +00001013
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001014 case TYPE_INT:
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001015 n = r_long(p);
1016 retval = PyErr_Occurred() ? NULL : PyLong_FromLong(n);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001017 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001018 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001019
Serhiy Storchaka00987f62017-11-15 17:41:05 +02001020 case TYPE_INT64:
1021 retval = r_long64(p);
1022 R_REF(retval);
1023 break;
1024
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001025 case TYPE_LONG:
1026 retval = r_PyLong(p);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001027 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001028 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001029
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001030 case TYPE_FLOAT:
1031 {
Serhiy Storchakac5734992018-07-24 10:55:47 +03001032 double x = r_float_str(p);
1033 if (x == -1.0 && PyErr_Occurred())
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001034 break;
Serhiy Storchakac5734992018-07-24 10:55:47 +03001035 retval = PyFloat_FromDouble(x);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001036 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001037 break;
1038 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001039
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001040 case TYPE_BINARY_FLOAT:
1041 {
Serhiy Storchakac5734992018-07-24 10:55:47 +03001042 double x = r_float_bin(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001043 if (x == -1.0 && PyErr_Occurred())
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001044 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001045 retval = PyFloat_FromDouble(x);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001046 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001047 break;
1048 }
Michael W. Hudsondf888462005-06-03 14:41:55 +00001049
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001050 case TYPE_COMPLEX:
1051 {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001052 Py_complex c;
Serhiy Storchakac5734992018-07-24 10:55:47 +03001053 c.real = r_float_str(p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001054 if (c.real == -1.0 && PyErr_Occurred())
1055 break;
Serhiy Storchakac5734992018-07-24 10:55:47 +03001056 c.imag = r_float_str(p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001057 if (c.imag == -1.0 && PyErr_Occurred())
1058 break;
1059 retval = PyComplex_FromCComplex(c);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001060 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001061 break;
1062 }
Michael W. Hudsondf888462005-06-03 14:41:55 +00001063
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001064 case TYPE_BINARY_COMPLEX:
1065 {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001066 Py_complex c;
Serhiy Storchakac5734992018-07-24 10:55:47 +03001067 c.real = r_float_bin(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001068 if (c.real == -1.0 && PyErr_Occurred())
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001069 break;
Serhiy Storchakac5734992018-07-24 10:55:47 +03001070 c.imag = r_float_bin(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001071 if (c.imag == -1.0 && PyErr_Occurred())
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001072 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001073 retval = PyComplex_FromCComplex(c);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001074 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001075 break;
1076 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001077
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001078 case TYPE_STRING:
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001079 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001080 const char *ptr;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001081 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001082 if (PyErr_Occurred())
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001083 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001084 if (n < 0 || n > SIZE32_MAX) {
Serhiy Storchakac611a5b2017-03-12 08:53:22 +02001085 PyErr_SetString(PyExc_ValueError, "bad marshal data (bytes object size out of range)");
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001086 break;
1087 }
1088 v = PyBytes_FromStringAndSize((char *)NULL, n);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001089 if (v == NULL)
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001090 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001091 ptr = r_string(n, p);
1092 if (ptr == NULL) {
1093 Py_DECREF(v);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001094 break;
1095 }
1096 memcpy(PyBytes_AS_STRING(v), ptr, n);
1097 retval = v;
1098 R_REF(retval);
1099 break;
1100 }
1101
1102 case TYPE_ASCII_INTERNED:
1103 is_interned = 1;
Stefan Krahf432a322017-08-21 13:09:59 +02001104 /* fall through */
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001105 case TYPE_ASCII:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001106 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001107 if (PyErr_Occurred())
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001108 break;
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001109 if (n < 0 || n > SIZE32_MAX) {
Serhiy Storchakac611a5b2017-03-12 08:53:22 +02001110 PyErr_SetString(PyExc_ValueError, "bad marshal data (string size out of range)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001111 break;
1112 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001113 goto _read_ascii;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001114
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001115 case TYPE_SHORT_ASCII_INTERNED:
1116 is_interned = 1;
Stefan Krahf432a322017-08-21 13:09:59 +02001117 /* fall through */
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001118 case TYPE_SHORT_ASCII:
1119 n = r_byte(p);
1120 if (n == EOF) {
1121 PyErr_SetString(PyExc_EOFError,
1122 "EOF read where object expected");
1123 break;
1124 }
1125 _read_ascii:
1126 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001127 const char *ptr;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001128 ptr = r_string(n, p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001129 if (ptr == NULL)
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001130 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001131 v = PyUnicode_FromKindAndData(PyUnicode_1BYTE_KIND, ptr, n);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001132 if (v == NULL)
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001133 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001134 if (is_interned)
1135 PyUnicode_InternInPlace(&v);
1136 retval = v;
1137 R_REF(retval);
1138 break;
1139 }
1140
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001141 case TYPE_INTERNED:
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001142 is_interned = 1;
Stefan Krahf432a322017-08-21 13:09:59 +02001143 /* fall through */
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001144 case TYPE_UNICODE:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001145 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001146 const char *buffer;
Guido van Rossumc279b532000-03-10 23:03:02 +00001147
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001148 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001149 if (PyErr_Occurred())
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001150 break;
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001151 if (n < 0 || n > SIZE32_MAX) {
Serhiy Storchakac611a5b2017-03-12 08:53:22 +02001152 PyErr_SetString(PyExc_ValueError, "bad marshal data (string size out of range)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001153 break;
1154 }
Victor Stinnerf1913ca2013-06-21 19:08:06 +02001155 if (n != 0) {
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001156 buffer = r_string(n, p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001157 if (buffer == NULL)
Victor Stinnerf1913ca2013-06-21 19:08:06 +02001158 break;
Victor Stinnerf1913ca2013-06-21 19:08:06 +02001159 v = PyUnicode_DecodeUTF8(buffer, n, "surrogatepass");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001160 }
Victor Stinnerf1913ca2013-06-21 19:08:06 +02001161 else {
1162 v = PyUnicode_New(0, 0);
1163 }
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001164 if (v == NULL)
Victor Stinner3a8b79d2013-07-08 22:23:32 +02001165 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001166 if (is_interned)
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001167 PyUnicode_InternInPlace(&v);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001168 retval = v;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001169 R_REF(retval);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001170 break;
1171 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001172
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001173 case TYPE_SMALL_TUPLE:
1174 n = (unsigned char) r_byte(p);
Victor Stinnerb1b7b182013-10-31 17:07:08 +01001175 if (PyErr_Occurred())
1176 break;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001177 goto _read_tuple;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001178 case TYPE_TUPLE:
1179 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001180 if (PyErr_Occurred())
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001181 break;
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001182 if (n < 0 || n > SIZE32_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001183 PyErr_SetString(PyExc_ValueError, "bad marshal data (tuple size out of range)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001184 break;
1185 }
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001186 _read_tuple:
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001187 v = PyTuple_New(n);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001188 R_REF(v);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001189 if (v == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001190 break;
Victor Stinnerd5cae6f2013-10-31 17:14:52 +01001191
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001192 for (i = 0; i < n; i++) {
1193 v2 = r_object(p);
1194 if ( v2 == NULL ) {
1195 if (!PyErr_Occurred())
1196 PyErr_SetString(PyExc_TypeError,
1197 "NULL object in marshal data for tuple");
1198 Py_DECREF(v);
1199 v = NULL;
1200 break;
1201 }
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001202 PyTuple_SET_ITEM(v, i, v2);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001203 }
1204 retval = v;
1205 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001206
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001207 case TYPE_LIST:
1208 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001209 if (PyErr_Occurred())
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001210 break;
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001211 if (n < 0 || n > SIZE32_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001212 PyErr_SetString(PyExc_ValueError, "bad marshal data (list size out of range)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001213 break;
1214 }
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001215 v = PyList_New(n);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001216 R_REF(v);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001217 if (v == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001218 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001219 for (i = 0; i < n; i++) {
1220 v2 = r_object(p);
1221 if ( v2 == NULL ) {
1222 if (!PyErr_Occurred())
1223 PyErr_SetString(PyExc_TypeError,
1224 "NULL object in marshal data for list");
1225 Py_DECREF(v);
1226 v = NULL;
1227 break;
1228 }
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001229 PyList_SET_ITEM(v, i, v2);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001230 }
1231 retval = v;
1232 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001233
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001234 case TYPE_DICT:
1235 v = PyDict_New();
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001236 R_REF(v);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001237 if (v == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001238 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001239 for (;;) {
1240 PyObject *key, *val;
1241 key = r_object(p);
1242 if (key == NULL)
1243 break;
1244 val = r_object(p);
Victor Stinnerd5cae6f2013-10-31 17:14:52 +01001245 if (val == NULL) {
1246 Py_DECREF(key);
1247 break;
1248 }
1249 if (PyDict_SetItem(v, key, val) < 0) {
1250 Py_DECREF(key);
1251 Py_DECREF(val);
1252 break;
1253 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001254 Py_DECREF(key);
Victor Stinnerd5cae6f2013-10-31 17:14:52 +01001255 Py_DECREF(val);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001256 }
1257 if (PyErr_Occurred()) {
1258 Py_DECREF(v);
1259 v = NULL;
1260 }
1261 retval = v;
1262 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001263
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001264 case TYPE_SET:
1265 case TYPE_FROZENSET:
1266 n = r_long(p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001267 if (PyErr_Occurred())
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001268 break;
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001269 if (n < 0 || n > SIZE32_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001270 PyErr_SetString(PyExc_ValueError, "bad marshal data (set size out of range)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001271 break;
1272 }
Victor Stinnerd5cae6f2013-10-31 17:14:52 +01001273
Victor Stinner1aa78932016-01-23 14:15:48 +01001274 if (n == 0 && type == TYPE_FROZENSET) {
1275 /* call frozenset() to get the empty frozenset singleton */
Victor Stinner4778eab2016-12-01 14:51:04 +01001276 v = _PyObject_CallNoArg((PyObject*)&PyFrozenSet_Type);
Victor Stinner1aa78932016-01-23 14:15:48 +01001277 if (v == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001278 break;
Victor Stinner1aa78932016-01-23 14:15:48 +01001279 R_REF(v);
1280 retval = v;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001281 }
Victor Stinner1aa78932016-01-23 14:15:48 +01001282 else {
1283 v = (type == TYPE_SET) ? PySet_New(NULL) : PyFrozenSet_New(NULL);
1284 if (type == TYPE_SET) {
1285 R_REF(v);
1286 } else {
1287 /* must use delayed registration of frozensets because they must
1288 * be init with a refcount of 1
1289 */
1290 idx = r_ref_reserve(flag, p);
1291 if (idx < 0)
1292 Py_CLEAR(v); /* signal error */
1293 }
1294 if (v == NULL)
1295 break;
1296
1297 for (i = 0; i < n; i++) {
1298 v2 = r_object(p);
1299 if ( v2 == NULL ) {
1300 if (!PyErr_Occurred())
1301 PyErr_SetString(PyExc_TypeError,
1302 "NULL object in marshal data for set");
1303 Py_DECREF(v);
1304 v = NULL;
1305 break;
1306 }
1307 if (PySet_Add(v, v2) == -1) {
1308 Py_DECREF(v);
1309 Py_DECREF(v2);
1310 v = NULL;
1311 break;
1312 }
1313 Py_DECREF(v2);
1314 }
1315 if (type != TYPE_SET)
1316 v = r_ref_insert(v, idx, flag, p);
1317 retval = v;
1318 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001319 break;
Raymond Hettingera422c342005-01-11 03:03:27 +00001320
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001321 case TYPE_CODE:
1322 {
1323 int argcount;
1324 int kwonlyargcount;
1325 int nlocals;
1326 int stacksize;
1327 int flags;
1328 PyObject *code = NULL;
1329 PyObject *consts = NULL;
1330 PyObject *names = NULL;
1331 PyObject *varnames = NULL;
1332 PyObject *freevars = NULL;
1333 PyObject *cellvars = NULL;
1334 PyObject *filename = NULL;
1335 PyObject *name = NULL;
1336 int firstlineno;
1337 PyObject *lnotab = NULL;
Antoine Pitroue9bbe8b2013-04-13 22:41:09 +02001338
Kristján Valur Jónssone1781872013-03-20 11:43:57 -07001339 idx = r_ref_reserve(flag, p);
Kristján Valur Jónsson59832582013-10-13 13:41:59 +00001340 if (idx < 0)
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001341 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001342
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001343 v = NULL;
Michael W. Hudsondf888462005-06-03 14:41:55 +00001344
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001345 /* XXX ignore long->int overflows for now */
1346 argcount = (int)r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001347 if (PyErr_Occurred())
1348 goto code_error;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001349 kwonlyargcount = (int)r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001350 if (PyErr_Occurred())
1351 goto code_error;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001352 nlocals = (int)r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001353 if (PyErr_Occurred())
1354 goto code_error;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001355 stacksize = (int)r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001356 if (PyErr_Occurred())
1357 goto code_error;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001358 flags = (int)r_long(p);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001359 if (PyErr_Occurred())
1360 goto code_error;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001361 code = r_object(p);
1362 if (code == NULL)
1363 goto code_error;
1364 consts = r_object(p);
1365 if (consts == NULL)
1366 goto code_error;
1367 names = r_object(p);
1368 if (names == NULL)
1369 goto code_error;
1370 varnames = r_object(p);
1371 if (varnames == NULL)
1372 goto code_error;
1373 freevars = r_object(p);
1374 if (freevars == NULL)
1375 goto code_error;
1376 cellvars = r_object(p);
1377 if (cellvars == NULL)
1378 goto code_error;
1379 filename = r_object(p);
1380 if (filename == NULL)
1381 goto code_error;
1382 name = r_object(p);
1383 if (name == NULL)
1384 goto code_error;
1385 firstlineno = (int)r_long(p);
Kristján Valur Jónsson0a7697b2013-10-13 15:19:56 +00001386 if (firstlineno == -1 && PyErr_Occurred())
1387 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001388 lnotab = r_object(p);
1389 if (lnotab == NULL)
1390 goto code_error;
Michael W. Hudsondf888462005-06-03 14:41:55 +00001391
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001392 v = (PyObject *) PyCode_New(
1393 argcount, kwonlyargcount,
1394 nlocals, stacksize, flags,
1395 code, consts, names, varnames,
1396 freevars, cellvars, filename, name,
1397 firstlineno, lnotab);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001398 v = r_ref_insert(v, idx, flag, p);
Tim Petersd9b9ac82001-01-28 00:27:39 +00001399
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001400 code_error:
1401 Py_XDECREF(code);
1402 Py_XDECREF(consts);
1403 Py_XDECREF(names);
1404 Py_XDECREF(varnames);
1405 Py_XDECREF(freevars);
1406 Py_XDECREF(cellvars);
1407 Py_XDECREF(filename);
1408 Py_XDECREF(name);
1409 Py_XDECREF(lnotab);
1410 }
1411 retval = v;
1412 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001413
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001414 case TYPE_REF:
1415 n = r_long(p);
1416 if (n < 0 || n >= PyList_GET_SIZE(p->refs)) {
Kristján Valur Jónsson0a7697b2013-10-13 15:19:56 +00001417 if (n == -1 && PyErr_Occurred())
1418 break;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001419 PyErr_SetString(PyExc_ValueError, "bad marshal data (invalid reference)");
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001420 break;
1421 }
1422 v = PyList_GET_ITEM(p->refs, n);
1423 if (v == Py_None) {
1424 PyErr_SetString(PyExc_ValueError, "bad marshal data (invalid reference)");
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001425 break;
1426 }
1427 Py_INCREF(v);
1428 retval = v;
1429 break;
1430
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001431 default:
1432 /* Bogus data got written, which isn't ideal.
1433 This will let you keep working and recover. */
1434 PyErr_SetString(PyExc_ValueError, "bad marshal data (unknown type code)");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001435 break;
1436
1437 }
1438 p->depth--;
1439 return retval;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001440}
1441
Neal Norwitzd85c4522004-06-13 20:31:49 +00001442static PyObject *
Armin Rigo01ab2792004-03-26 15:09:27 +00001443read_object(RFILE *p)
1444{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001445 PyObject *v;
1446 if (PyErr_Occurred()) {
1447 fprintf(stderr, "XXX readobject called with exception set\n");
1448 return NULL;
1449 }
1450 v = r_object(p);
1451 if (v == NULL && !PyErr_Occurred())
1452 PyErr_SetString(PyExc_TypeError, "NULL object in marshal data for object");
1453 return v;
Armin Rigo01ab2792004-03-26 15:09:27 +00001454}
1455
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001456int
1457PyMarshal_ReadShortFromFile(FILE *fp)
1458{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001459 RFILE rf;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001460 int res;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001461 assert(fp);
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001462 rf.readable = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001463 rf.fp = fp;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001464 rf.end = rf.ptr = NULL;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001465 rf.buf = NULL;
1466 res = r_short(&rf);
1467 if (rf.buf != NULL)
1468 PyMem_FREE(rf.buf);
1469 return res;
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001470}
1471
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001472long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001473PyMarshal_ReadLongFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001474{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001475 RFILE rf;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001476 long res;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001477 rf.fp = fp;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001478 rf.readable = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001479 rf.ptr = rf.end = NULL;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001480 rf.buf = NULL;
1481 res = r_long(&rf);
1482 if (rf.buf != NULL)
1483 PyMem_FREE(rf.buf);
1484 return res;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001485}
1486
Steve Dowerf2f373f2015-02-21 08:44:05 -08001487/* Return size of file in bytes; < 0 if unknown or INT_MAX if too big */
Tim Peters691e0e92001-01-18 04:39:16 +00001488static off_t
1489getfilesize(FILE *fp)
1490{
Steve Dowerf2f373f2015-02-21 08:44:05 -08001491 struct _Py_stat_struct st;
Victor Stinnere134a7f2015-03-30 10:09:31 +02001492 if (_Py_fstat_noraise(fileno(fp), &st) != 0)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001493 return -1;
Steve Dowerf2f373f2015-02-21 08:44:05 -08001494#if SIZEOF_OFF_T == 4
1495 else if (st.st_size >= INT_MAX)
1496 return (off_t)INT_MAX;
1497#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001498 else
Steve Dowerf2f373f2015-02-21 08:44:05 -08001499 return (off_t)st.st_size;
Tim Peters691e0e92001-01-18 04:39:16 +00001500}
Tim Petersd9b9ac82001-01-28 00:27:39 +00001501
Tim Peters691e0e92001-01-18 04:39:16 +00001502/* If we can get the size of the file up-front, and it's reasonably small,
1503 * read it in one gulp and delegate to ...FromString() instead. Much quicker
1504 * than reading a byte at a time from file; speeds .pyc imports.
Tim Petersd9b9ac82001-01-28 00:27:39 +00001505 * CAUTION: since this may read the entire remainder of the file, don't
1506 * call it unless you know you're done with the file.
Tim Peters691e0e92001-01-18 04:39:16 +00001507 */
Guido van Rossum79f25d91997-04-29 20:08:16 +00001508PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +00001509PyMarshal_ReadLastObjectFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001510{
Antoine Pitrou5bc7ec92010-04-21 22:56:22 +00001511/* REASONABLE_FILE_LIMIT is by defn something big enough for Tkinter.pyc. */
Tim Peters691e0e92001-01-18 04:39:16 +00001512#define REASONABLE_FILE_LIMIT (1L << 18)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001513 off_t filesize;
1514 filesize = getfilesize(fp);
1515 if (filesize > 0 && filesize <= REASONABLE_FILE_LIMIT) {
1516 char* pBuf = (char *)PyMem_MALLOC(filesize);
1517 if (pBuf != NULL) {
Serhiy Storchaka7e019112013-02-13 12:08:15 +02001518 size_t n = fread(pBuf, 1, (size_t)filesize, fp);
1519 PyObject* v = PyMarshal_ReadObjectFromString(pBuf, n);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001520 PyMem_FREE(pBuf);
1521 return v;
1522 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001523
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001524 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001525 /* We don't have fstat, or we do but the file is larger than
1526 * REASONABLE_FILE_LIMIT or malloc failed -- read a byte at a time.
1527 */
1528 return PyMarshal_ReadObjectFromFile(fp);
Tim Petersd9b9ac82001-01-28 00:27:39 +00001529
Tim Peters691e0e92001-01-18 04:39:16 +00001530#undef REASONABLE_FILE_LIMIT
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001531}
1532
Guido van Rossum79f25d91997-04-29 20:08:16 +00001533PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +00001534PyMarshal_ReadObjectFromFile(FILE *fp)
1535{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001536 RFILE rf;
1537 PyObject *result;
1538 rf.fp = fp;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001539 rf.readable = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001540 rf.depth = 0;
1541 rf.ptr = rf.end = NULL;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001542 rf.buf = NULL;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001543 rf.refs = PyList_New(0);
1544 if (rf.refs == NULL)
1545 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001546 result = r_object(&rf);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001547 Py_DECREF(rf.refs);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001548 if (rf.buf != NULL)
1549 PyMem_FREE(rf.buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001550 return result;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001551}
1552
1553PyObject *
Serhiy Storchakac6792272013-10-19 21:03:34 +03001554PyMarshal_ReadObjectFromString(const char *str, Py_ssize_t len)
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001555{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001556 RFILE rf;
1557 PyObject *result;
1558 rf.fp = NULL;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001559 rf.readable = NULL;
Serhiy Storchakac6792272013-10-19 21:03:34 +03001560 rf.ptr = (char *)str;
1561 rf.end = (char *)str + len;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001562 rf.buf = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001563 rf.depth = 0;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001564 rf.refs = PyList_New(0);
1565 if (rf.refs == NULL)
1566 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001567 result = r_object(&rf);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001568 Py_DECREF(rf.refs);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001569 if (rf.buf != NULL)
1570 PyMem_FREE(rf.buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001571 return result;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001572}
1573
Guido van Rossum79f25d91997-04-29 20:08:16 +00001574PyObject *
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001575PyMarshal_WriteObjectToString(PyObject *x, int version)
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001576{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001577 WFILE wf;
Guido van Rossume6d39042007-05-09 00:01:30 +00001578
Serhiy Storchakace921c622015-02-11 15:53:31 +02001579 memset(&wf, 0, sizeof(wf));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001580 wf.str = PyBytes_FromStringAndSize((char *)NULL, 50);
1581 if (wf.str == NULL)
1582 return NULL;
Serhiy Storchakac1efe5f2015-02-11 15:54:54 +02001583 wf.ptr = wf.buf = PyBytes_AS_STRING((PyBytesObject *)wf.str);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001584 wf.end = wf.ptr + PyBytes_Size(wf.str);
1585 wf.error = WFERR_OK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001586 wf.version = version;
Serhiy Storchakace921c622015-02-11 15:53:31 +02001587 if (w_init_refs(&wf, version)) {
1588 Py_DECREF(wf.str);
1589 return NULL;
1590 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001591 w_object(x, &wf);
Serhiy Storchakace921c622015-02-11 15:53:31 +02001592 w_clear_refs(&wf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001593 if (wf.str != NULL) {
1594 char *base = PyBytes_AS_STRING((PyBytesObject *)wf.str);
1595 if (wf.ptr - base > PY_SSIZE_T_MAX) {
1596 Py_DECREF(wf.str);
1597 PyErr_SetString(PyExc_OverflowError,
Serhiy Storchakac611a5b2017-03-12 08:53:22 +02001598 "too much marshal data for a bytes object");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001599 return NULL;
1600 }
1601 if (_PyBytes_Resize(&wf.str, (Py_ssize_t)(wf.ptr - base)) < 0)
1602 return NULL;
1603 }
1604 if (wf.error != WFERR_OK) {
1605 Py_XDECREF(wf.str);
1606 if (wf.error == WFERR_NOMEMORY)
1607 PyErr_NoMemory();
1608 else
1609 PyErr_SetString(PyExc_ValueError,
1610 (wf.error==WFERR_UNMARSHALLABLE)?"unmarshallable object"
1611 :"object too deeply nested to marshal");
1612 return NULL;
1613 }
Antoine Pitrou1c13f842012-03-02 18:22:23 +01001614 return wf.str;
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001615}
1616
Guido van Rossum64b45521991-06-07 13:58:22 +00001617/* And an interface for Python programs... */
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001618/*[clinic input]
1619marshal.dump
1620
1621 value: object
1622 Must be a supported type.
1623 file: object
1624 Must be a writeable binary file.
1625 version: int(c_default="Py_MARSHAL_VERSION") = version
1626 Indicates the data format that dump should use.
1627 /
1628
1629Write the value on the open file.
1630
1631If the value has (or contains an object that has) an unsupported type, a
1632ValueError exception is raised - but garbage data will also be written
1633to the file. The object will not be properly read back by load().
1634[clinic start generated code]*/
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001635
Guido van Rossum79f25d91997-04-29 20:08:16 +00001636static PyObject *
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001637marshal_dump_impl(PyObject *module, PyObject *value, PyObject *file,
1638 int version)
1639/*[clinic end generated code: output=aaee62c7028a7cb2 input=6c7a3c23c6fef556]*/
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001640{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001641 /* XXX Quick hack -- need to do this differently */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001642 PyObject *s;
1643 PyObject *res;
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02001644 _Py_IDENTIFIER(write);
Martin v. Löwisafe55bb2011-10-09 10:38:36 +02001645
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001646 s = PyMarshal_WriteObjectToString(value, version);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001647 if (s == NULL)
1648 return NULL;
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001649 res = _PyObject_CallMethodIdObjArgs(file, &PyId_write, s, NULL);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001650 Py_DECREF(s);
1651 return res;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001652}
1653
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001654/*[clinic input]
1655marshal.load
1656
1657 file: object
1658 Must be readable binary file.
1659 /
1660
1661Read one value from the open file and return it.
1662
1663If no valid value is read (e.g. because the data has a different Python
1664version's incompatible marshal format), raise EOFError, ValueError or
1665TypeError.
1666
1667Note: If an object containing an unsupported type was marshalled with
1668dump(), load() will substitute None for the unmarshallable type.
1669[clinic start generated code]*/
R. David Murraydd226ea2009-05-13 12:27:21 +00001670
Guido van Rossum79f25d91997-04-29 20:08:16 +00001671static PyObject *
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001672marshal_load(PyObject *module, PyObject *file)
1673/*[clinic end generated code: output=f8e5c33233566344 input=c85c2b594cd8124a]*/
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001674{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001675 PyObject *data, *result;
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02001676 _Py_IDENTIFIER(read);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001677 RFILE rf;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001678
1679 /*
1680 * Make a call to the read method, but read zero bytes.
1681 * This is to ensure that the object passed in at least
1682 * has a read method which returns bytes.
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001683 * This can be removed if we guarantee good error handling
1684 * for r_string()
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001685 */
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001686 data = _PyObject_CallMethodId(file, &PyId_read, "i", 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001687 if (data == NULL)
1688 return NULL;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001689 if (!PyBytes_Check(data)) {
1690 PyErr_Format(PyExc_TypeError,
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001691 "file.read() returned not bytes but %.100s",
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001692 data->ob_type->tp_name);
1693 result = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001694 }
1695 else {
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001696 rf.depth = 0;
1697 rf.fp = NULL;
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001698 rf.readable = file;
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001699 rf.ptr = rf.end = NULL;
1700 rf.buf = NULL;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001701 if ((rf.refs = PyList_New(0)) != NULL) {
1702 result = read_object(&rf);
1703 Py_DECREF(rf.refs);
Antoine Pitrou1164dfc2013-10-12 22:25:39 +02001704 if (rf.buf != NULL)
1705 PyMem_FREE(rf.buf);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001706 } else
1707 result = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001708 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001709 Py_DECREF(data);
1710 return result;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001711}
1712
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001713/*[clinic input]
1714marshal.dumps
R. David Murraydd226ea2009-05-13 12:27:21 +00001715
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001716 value: object
1717 Must be a supported type.
1718 version: int(c_default="Py_MARSHAL_VERSION") = version
1719 Indicates the data format that dumps should use.
1720 /
1721
1722Return the bytes object that would be written to a file by dump(value, file).
1723
1724Raise a ValueError exception if value has (or contains an object that has) an
1725unsupported type.
1726[clinic start generated code]*/
R. David Murraydd226ea2009-05-13 12:27:21 +00001727
Guido van Rossum79f25d91997-04-29 20:08:16 +00001728static PyObject *
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001729marshal_dumps_impl(PyObject *module, PyObject *value, int version)
1730/*[clinic end generated code: output=9c200f98d7256cad input=a2139ea8608e9b27]*/
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001731{
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001732 return PyMarshal_WriteObjectToString(value, version);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001733}
1734
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001735/*[clinic input]
1736marshal.loads
R. David Murraydd226ea2009-05-13 12:27:21 +00001737
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001738 bytes: Py_buffer
1739 /
1740
1741Convert the bytes-like object to a value.
1742
1743If no valid value is found, raise EOFError, ValueError or TypeError. Extra
1744bytes in the input are ignored.
1745[clinic start generated code]*/
R. David Murraydd226ea2009-05-13 12:27:21 +00001746
Guido van Rossum79f25d91997-04-29 20:08:16 +00001747static PyObject *
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001748marshal_loads_impl(PyObject *module, Py_buffer *bytes)
1749/*[clinic end generated code: output=9fc65985c93d1bb1 input=6f426518459c8495]*/
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001750{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001751 RFILE rf;
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001752 char *s = bytes->buf;
1753 Py_ssize_t n = bytes->len;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001754 PyObject* result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001755 rf.fp = NULL;
Vinay Sajip5bdae3b2011-07-02 16:42:47 +01001756 rf.readable = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001757 rf.ptr = s;
1758 rf.end = s + n;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001759 rf.depth = 0;
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001760 if ((rf.refs = PyList_New(0)) == NULL)
1761 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001762 result = read_object(&rf);
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001763 Py_DECREF(rf.refs);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001764 return result;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001765}
1766
Guido van Rossum79f25d91997-04-29 20:08:16 +00001767static PyMethodDef marshal_methods[] = {
Serhiy Storchaka0767ad42017-03-12 09:20:15 +02001768 MARSHAL_DUMP_METHODDEF
1769 MARSHAL_LOAD_METHODDEF
1770 MARSHAL_DUMPS_METHODDEF
1771 MARSHAL_LOADS_METHODDEF
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001772 {NULL, NULL} /* sentinel */
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001773};
1774
R. David Murraydd226ea2009-05-13 12:27:21 +00001775
1776PyDoc_STRVAR(module_doc,
1777"This module contains functions that can read and write Python values in\n\
1778a binary format. The format is specific to Python, but independent of\n\
1779machine architecture issues.\n\
1780\n\
1781Not all Python object types are supported; in general, only objects\n\
1782whose value is independent from a particular invocation of Python can be\n\
1783written and read by this module. The following types are supported:\n\
1784None, integers, floating point numbers, strings, bytes, bytearrays,\n\
1785tuples, lists, sets, dictionaries, and code objects, where it\n\
1786should be understood that tuples, lists and dictionaries are only\n\
1787supported as long as the values contained therein are themselves\n\
1788supported; and recursive lists and dictionaries should not be written\n\
1789(they will cause infinite loops).\n\
1790\n\
1791Variables:\n\
1792\n\
1793version -- indicates the format that the module uses. Version 0 is the\n\
1794 historical format, version 1 shares interned strings and version 2\n\
1795 uses a binary format for floating point numbers.\n\
Kristján Valur Jónssond7009c62013-03-19 18:02:10 -07001796 Version 3 shares common object references (New in version 3.4).\n\
R. David Murraydd226ea2009-05-13 12:27:21 +00001797\n\
1798Functions:\n\
1799\n\
1800dump() -- write value to a file\n\
1801load() -- read value from a file\n\
Serhiy Storchakac611a5b2017-03-12 08:53:22 +02001802dumps() -- marshal value as a bytes object\n\
1803loads() -- read value from a bytes-like object");
R. David Murraydd226ea2009-05-13 12:27:21 +00001804
1805
1806
Brett Cannon429ef652008-06-27 00:35:35 +00001807static struct PyModuleDef marshalmodule = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001808 PyModuleDef_HEAD_INIT,
1809 "marshal",
1810 module_doc,
1811 0,
1812 marshal_methods,
1813 NULL,
1814 NULL,
1815 NULL,
1816 NULL
Martin v. Löwis1a214512008-06-11 05:26:20 +00001817};
1818
Jason Tishler6bc06ec2003-09-04 11:59:50 +00001819PyMODINIT_FUNC
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001820PyMarshal_Init(void)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001821{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001822 PyObject *mod = PyModule_Create(&marshalmodule);
1823 if (mod == NULL)
1824 return NULL;
1825 PyModule_AddIntConstant(mod, "version", Py_MARSHAL_VERSION);
1826 return mod;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001827}