blob: e5e5ce447b53401864f740553637b44d7ab9c3e1 [file] [log] [blame]
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001
2/* Write Python objects to files and read them back.
3 This is intended for writing and reading compiled Python code only;
4 a true persistent storage facility would be much harder, since
5 it would have to take circular links and sharing into account. */
6
Thomas Wouters695934a2006-03-01 23:49:13 +00007#define PY_SSIZE_T_CLEAN
8
Guido van Rossum79f25d91997-04-29 20:08:16 +00009#include "Python.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000010#include "longintrepr.h"
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000011#include "code.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000012#include "marshal.h"
13
Mark Dickinsonbd792642009-03-18 20:06:12 +000014#define ABS(x) ((x) < 0 ? -(x) : (x))
15
Fred Drake6da0b912000-06-28 18:47:56 +000016/* High water mark to determine when the marshalled object is dangerously deep
17 * and risks coring the interpreter. When the object stack gets this deep,
18 * raise an exception instead of continuing.
Guido van Rossum63175a12007-08-29 20:39:13 +000019 * On Windows debug builds, reduce this value.
Fred Drake6da0b912000-06-28 18:47:56 +000020 */
Guido van Rossum63175a12007-08-29 20:39:13 +000021#if defined(MS_WINDOWS) && defined(_DEBUG)
22#define MAX_MARSHAL_STACK_DEPTH 1500
23#else
Guido van Rossumd59da4b2007-05-22 18:11:13 +000024#define MAX_MARSHAL_STACK_DEPTH 2000
Guido van Rossum63175a12007-08-29 20:39:13 +000025#endif
Fred Drake6da0b912000-06-28 18:47:56 +000026
Michael W. Hudsondf888462005-06-03 14:41:55 +000027#define TYPE_NULL '0'
28#define TYPE_NONE 'N'
29#define TYPE_FALSE 'F'
30#define TYPE_TRUE 'T'
31#define TYPE_STOPITER 'S'
32#define TYPE_ELLIPSIS '.'
33#define TYPE_INT 'i'
34#define TYPE_INT64 'I'
35#define TYPE_FLOAT 'f'
36#define TYPE_BINARY_FLOAT 'g'
37#define TYPE_COMPLEX 'x'
38#define TYPE_BINARY_COMPLEX 'y'
39#define TYPE_LONG 'l'
40#define TYPE_STRING 's'
Michael W. Hudsondf888462005-06-03 14:41:55 +000041#define TYPE_TUPLE '('
42#define TYPE_LIST '['
43#define TYPE_DICT '{'
44#define TYPE_CODE 'c'
45#define TYPE_UNICODE 'u'
46#define TYPE_UNKNOWN '?'
47#define TYPE_SET '<'
48#define TYPE_FROZENSET '>'
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000049
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000050typedef struct {
51 FILE *fp;
Guido van Rossumf2150601996-06-26 20:41:23 +000052 int error;
Fred Drake6da0b912000-06-28 18:47:56 +000053 int depth;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000054 /* If fp == NULL, the following are valid: */
Guido van Rossum79f25d91997-04-29 20:08:16 +000055 PyObject *str;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000056 char *ptr;
57 char *end;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +000058 PyObject *strings; /* dict on marshal, list on unmarshal */
Michael W. Hudsondf888462005-06-03 14:41:55 +000059 int version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000060} WFILE;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000061
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000062#define w_byte(c, p) if (((p)->fp)) putc((c), (p)->fp); \
63 else if ((p)->ptr != (p)->end) *(p)->ptr++ = (c); \
64 else w_more(c, p)
65
66static void
Fredrik Lundh11534382000-07-23 18:24:06 +000067w_more(int c, WFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000068{
Martin v. Löwis18e16552006-02-15 17:27:45 +000069 Py_ssize_t size, newsize;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000070 if (p->str == NULL)
71 return; /* An error already occurred */
Christian Heimes72b710a2008-05-26 13:28:38 +000072 size = PyBytes_Size(p->str);
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +000073 newsize = size + size + 1024;
74 if (newsize > 32*1024*1024) {
Amaury Forgeot d'Arc35c86582008-06-17 21:11:29 +000075 newsize = size + (size >> 3); /* 12.5% overallocation */
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +000076 }
Christian Heimes72b710a2008-05-26 13:28:38 +000077 if (_PyBytes_Resize(&p->str, newsize) != 0) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000078 p->ptr = p->end = NULL;
79 }
80 else {
Christian Heimes72b710a2008-05-26 13:28:38 +000081 p->ptr = PyBytes_AS_STRING((PyBytesObject *)p->str) + size;
Guido van Rossum79f25d91997-04-29 20:08:16 +000082 p->end =
Christian Heimes72b710a2008-05-26 13:28:38 +000083 PyBytes_AS_STRING((PyBytesObject *)p->str) + newsize;
Tim Peters8315ea52000-07-23 19:28:35 +000084 *p->ptr++ = Py_SAFE_DOWNCAST(c, int, char);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000085 }
86}
87
88static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +000089w_string(char *s, int n, WFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000090{
91 if (p->fp != NULL) {
92 fwrite(s, 1, n, p->fp);
93 }
94 else {
95 while (--n >= 0) {
96 w_byte(*s, p);
97 s++;
98 }
99 }
100}
101
102static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000103w_short(int x, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000104{
Thomas Heller3e1c18a2002-07-30 11:40:57 +0000105 w_byte((char)( x & 0xff), p);
106 w_byte((char)((x>> 8) & 0xff), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000107}
108
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000109static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000110w_long(long x, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000111{
Thomas Heller37d5a152002-07-30 11:44:44 +0000112 w_byte((char)( x & 0xff), p);
113 w_byte((char)((x>> 8) & 0xff), p);
114 w_byte((char)((x>>16) & 0xff), p);
115 w_byte((char)((x>>24) & 0xff), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000116}
117
Guido van Rossumc1547d91996-12-10 15:39:04 +0000118#if SIZEOF_LONG > 4
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000119static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000120w_long64(long x, WFILE *p)
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000121{
122 w_long(x, p);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000123 w_long(x>>32, p);
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000124}
Guido van Rossumc1547d91996-12-10 15:39:04 +0000125#endif
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000126
Mark Dickinsonbd792642009-03-18 20:06:12 +0000127/* We assume that Python longs are stored internally in base some power of
128 2**15; for the sake of portability we'll always read and write them in base
129 exactly 2**15. */
130
131#define PyLong_MARSHAL_SHIFT 15
132#define PyLong_MARSHAL_BASE ((short)1 << PyLong_MARSHAL_SHIFT)
133#define PyLong_MARSHAL_MASK (PyLong_MARSHAL_BASE - 1)
134#if PyLong_SHIFT % PyLong_MARSHAL_SHIFT != 0
135#error "PyLong_SHIFT must be a multiple of PyLong_MARSHAL_SHIFT"
136#endif
137#define PyLong_MARSHAL_RATIO (PyLong_SHIFT / PyLong_MARSHAL_SHIFT)
138
139static void
140w_PyLong(const PyLongObject *ob, WFILE *p)
141{
142 Py_ssize_t i, j, n, l;
143 digit d;
144
145 w_byte(TYPE_LONG, p);
146 if (Py_SIZE(ob) == 0) {
147 w_long((long)0, p);
148 return;
149 }
150
151 /* set l to number of base PyLong_MARSHAL_BASE digits */
152 n = ABS(Py_SIZE(ob));
153 l = (n-1) * PyLong_MARSHAL_RATIO;
154 d = ob->ob_digit[n-1];
155 assert(d != 0); /* a PyLong is always normalized */
156 do {
157 d >>= PyLong_MARSHAL_SHIFT;
158 l++;
159 } while (d != 0);
160 w_long((long)(Py_SIZE(ob) > 0 ? l : -l), p);
161
162 for (i=0; i < n-1; i++) {
163 d = ob->ob_digit[i];
164 for (j=0; j < PyLong_MARSHAL_RATIO; j++) {
165 w_short(d & PyLong_MARSHAL_MASK, p);
166 d >>= PyLong_MARSHAL_SHIFT;
167 }
168 assert (d == 0);
169 }
170 d = ob->ob_digit[n-1];
171 do {
172 w_short(d & PyLong_MARSHAL_MASK, p);
173 d >>= PyLong_MARSHAL_SHIFT;
174 } while (d != 0);
175}
176
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000177static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000178w_object(PyObject *v, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000179{
Martin v. Löwis18e16552006-02-15 17:27:45 +0000180 Py_ssize_t i, n;
Fred Drake6da0b912000-06-28 18:47:56 +0000181
182 p->depth++;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000183
Fred Drake6da0b912000-06-28 18:47:56 +0000184 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
185 p->error = 2;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000186 }
Fred Drake6da0b912000-06-28 18:47:56 +0000187 else if (v == NULL) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000188 w_byte(TYPE_NULL, p);
Guido van Rossum730806d1998-04-10 22:27:42 +0000189 }
190 else if (v == Py_None) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000191 w_byte(TYPE_NONE, p);
Guido van Rossum730806d1998-04-10 22:27:42 +0000192 }
Tim Peters5ca576e2001-06-18 22:08:13 +0000193 else if (v == PyExc_StopIteration) {
194 w_byte(TYPE_STOPITER, p);
195 }
Guido van Rossum730806d1998-04-10 22:27:42 +0000196 else if (v == Py_Ellipsis) {
197 w_byte(TYPE_ELLIPSIS, p);
198 }
Guido van Rossum77f6a652002-04-03 22:41:51 +0000199 else if (v == Py_False) {
200 w_byte(TYPE_FALSE, p);
201 }
202 else if (v == Py_True) {
203 w_byte(TYPE_TRUE, p);
204 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000205 else if (PyLong_CheckExact(v)) {
Guido van Rossumddefaf32007-01-14 03:31:43 +0000206 long x = PyLong_AsLong(v);
207 if ((x == -1) && PyErr_Occurred()) {
208 PyLongObject *ob = (PyLongObject *)v;
209 PyErr_Clear();
Mark Dickinsonbd792642009-03-18 20:06:12 +0000210 w_PyLong(ob, p);
211 }
Guido van Rossumddefaf32007-01-14 03:31:43 +0000212 else {
Guido van Rossumc1547d91996-12-10 15:39:04 +0000213#if SIZEOF_LONG > 4
Guido van Rossumddefaf32007-01-14 03:31:43 +0000214 long y = Py_ARITHMETIC_RIGHT_SHIFT(long, x, 31);
215 if (y && y != -1) {
216 w_byte(TYPE_INT64, p);
217 w_long64(x, p);
218 }
219 else
Guido van Rossumc1547d91996-12-10 15:39:04 +0000220#endif
221 {
Guido van Rossumddefaf32007-01-14 03:31:43 +0000222 w_byte(TYPE_INT, p);
223 w_long(x, p);
224 }
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000225 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000226 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000227 else if (PyFloat_CheckExact(v)) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000228 if (p->version > 1) {
Brett Cannonc9371d42005-06-25 08:23:41 +0000229 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000230 if (_PyFloat_Pack8(PyFloat_AsDouble(v),
231 buf, 1) < 0) {
232 p->error = 1;
233 return;
234 }
235 w_byte(TYPE_BINARY_FLOAT, p);
Brett Cannonc9371d42005-06-25 08:23:41 +0000236 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000237 }
238 else {
239 char buf[256]; /* Plenty to format any double */
Neal Norwitz545686b2006-12-28 04:45:06 +0000240 n = _PyFloat_Repr(PyFloat_AS_DOUBLE(v),
241 buf, sizeof(buf));
Michael W. Hudsondf888462005-06-03 14:41:55 +0000242 w_byte(TYPE_FLOAT, p);
Martin v. Löwis67baee62006-02-16 14:37:48 +0000243 w_byte((int)n, p);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000244 w_string(buf, (int)n, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000245 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000246 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000247#ifndef WITHOUT_COMPLEX
Guido van Rossum58da9312007-11-10 23:39:45 +0000248 else if (PyComplex_CheckExact(v)) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000249 if (p->version > 1) {
Brett Cannonc9371d42005-06-25 08:23:41 +0000250 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000251 if (_PyFloat_Pack8(PyComplex_RealAsDouble(v),
252 buf, 1) < 0) {
253 p->error = 1;
254 return;
255 }
256 w_byte(TYPE_BINARY_COMPLEX, p);
Brett Cannonc9371d42005-06-25 08:23:41 +0000257 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000258 if (_PyFloat_Pack8(PyComplex_ImagAsDouble(v),
259 buf, 1) < 0) {
260 p->error = 1;
261 return;
262 }
Brett Cannonc9371d42005-06-25 08:23:41 +0000263 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000264 }
265 else {
266 char buf[256]; /* Plenty to format any double */
Michael W. Hudsondf888462005-06-03 14:41:55 +0000267 w_byte(TYPE_COMPLEX, p);
Neal Norwitz545686b2006-12-28 04:45:06 +0000268 n = _PyFloat_Repr(PyComplex_RealAsDouble(v),
269 buf, sizeof(buf));
Martin v. Löwis725507b2006-03-07 12:08:51 +0000270 n = strlen(buf);
271 w_byte((int)n, p);
272 w_string(buf, (int)n, p);
Neal Norwitz545686b2006-12-28 04:45:06 +0000273 n = _PyFloat_Repr(PyComplex_ImagAsDouble(v),
274 buf, sizeof(buf));
Martin v. Löwis725507b2006-03-07 12:08:51 +0000275 w_byte((int)n, p);
276 w_string(buf, (int)n, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000277 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000278 }
279#endif
Christian Heimes72b710a2008-05-26 13:28:38 +0000280 else if (PyBytes_CheckExact(v)) {
Guido van Rossum98297ee2007-11-06 21:34:58 +0000281 w_byte(TYPE_STRING, p);
Christian Heimes72b710a2008-05-26 13:28:38 +0000282 n = PyBytes_GET_SIZE(v);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000283 if (n > INT_MAX) {
284 /* huge strings are not supported */
285 p->depth--;
286 p->error = 1;
287 return;
288 }
Guido van Rossum3a205f71995-02-17 15:10:07 +0000289 w_long((long)n, p);
Christian Heimes72b710a2008-05-26 13:28:38 +0000290 w_string(PyBytes_AS_STRING(v), (int)n, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000291 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000292 else if (PyUnicode_CheckExact(v)) {
Guido van Rossumc279b532000-03-10 23:03:02 +0000293 PyObject *utf8;
294 utf8 = PyUnicode_AsUTF8String(v);
295 if (utf8 == NULL) {
Guido van Rossum98626cd2000-06-28 23:24:19 +0000296 p->depth--;
297 p->error = 1;
298 return;
Guido van Rossumc279b532000-03-10 23:03:02 +0000299 }
300 w_byte(TYPE_UNICODE, p);
Christian Heimes72b710a2008-05-26 13:28:38 +0000301 n = PyBytes_GET_SIZE(utf8);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000302 if (n > INT_MAX) {
303 p->depth--;
304 p->error = 1;
305 return;
306 }
Guido van Rossumc279b532000-03-10 23:03:02 +0000307 w_long((long)n, p);
Christian Heimes72b710a2008-05-26 13:28:38 +0000308 w_string(PyBytes_AS_STRING(utf8), (int)n, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000309 Py_DECREF(utf8);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000310 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000311 else if (PyTuple_CheckExact(v)) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000312 w_byte(TYPE_TUPLE, p);
Guido van Rossum79f25d91997-04-29 20:08:16 +0000313 n = PyTuple_Size(v);
Guido van Rossum3a205f71995-02-17 15:10:07 +0000314 w_long((long)n, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000315 for (i = 0; i < n; i++) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000316 w_object(PyTuple_GET_ITEM(v, i), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000317 }
318 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000319 else if (PyList_CheckExact(v)) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000320 w_byte(TYPE_LIST, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000321 n = PyList_GET_SIZE(v);
Guido van Rossum3a205f71995-02-17 15:10:07 +0000322 w_long((long)n, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000323 for (i = 0; i < n; i++) {
Guido van Rossumc279b532000-03-10 23:03:02 +0000324 w_object(PyList_GET_ITEM(v, i), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000325 }
326 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000327 else if (PyDict_CheckExact(v)) {
Martin v. Löwis18e16552006-02-15 17:27:45 +0000328 Py_ssize_t pos;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000329 PyObject *key, *value;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000330 w_byte(TYPE_DICT, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000331 /* This one is NULL object terminated! */
Guido van Rossum25831651993-05-19 14:50:45 +0000332 pos = 0;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000333 while (PyDict_Next(v, &pos, &key, &value)) {
Guido van Rossum25831651993-05-19 14:50:45 +0000334 w_object(key, p);
335 w_object(value, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000336 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000337 w_object((PyObject *)NULL, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000338 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000339 else if (PyAnySet_CheckExact(v)) {
Raymond Hettingera422c342005-01-11 03:03:27 +0000340 PyObject *value, *it;
341
342 if (PyObject_TypeCheck(v, &PySet_Type))
343 w_byte(TYPE_SET, p);
344 else
345 w_byte(TYPE_FROZENSET, p);
346 n = PyObject_Size(v);
347 if (n == -1) {
348 p->depth--;
349 p->error = 1;
350 return;
351 }
352 w_long((long)n, p);
353 it = PyObject_GetIter(v);
354 if (it == NULL) {
355 p->depth--;
356 p->error = 1;
357 return;
358 }
359 while ((value = PyIter_Next(it)) != NULL) {
360 w_object(value, p);
361 Py_DECREF(value);
362 }
363 Py_DECREF(it);
364 if (PyErr_Occurred()) {
365 p->depth--;
366 p->error = 1;
367 return;
368 }
369 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000370 else if (PyCode_Check(v)) {
371 PyCodeObject *co = (PyCodeObject *)v;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000372 w_byte(TYPE_CODE, p);
Neal Norwitz7fdcb412002-06-14 01:07:39 +0000373 w_long(co->co_argcount, p);
Guido van Rossum4f72a782006-10-27 23:31:49 +0000374 w_long(co->co_kwonlyargcount, p);
Neal Norwitz7fdcb412002-06-14 01:07:39 +0000375 w_long(co->co_nlocals, p);
376 w_long(co->co_stacksize, p);
377 w_long(co->co_flags, p);
Guido van Rossumd076c731998-10-07 19:42:25 +0000378 w_object(co->co_code, p);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000379 w_object(co->co_consts, p);
380 w_object(co->co_names, p);
Guido van Rossum681d79a1995-07-18 14:51:37 +0000381 w_object(co->co_varnames, p);
Jeremy Hylton64949cb2001-01-25 20:06:59 +0000382 w_object(co->co_freevars, p);
383 w_object(co->co_cellvars, p);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000384 w_object(co->co_filename, p);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000385 w_object(co->co_name, p);
Neal Norwitz7fdcb412002-06-14 01:07:39 +0000386 w_long(co->co_firstlineno, p);
Guido van Rossumd031c891997-01-24 03:44:17 +0000387 w_object(co->co_lnotab, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000388 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000389 else if (PyObject_CheckBuffer(v)) {
Guido van Rossumd076c731998-10-07 19:42:25 +0000390 /* Write unknown buffer-style objects as a string */
391 char *s;
Jeremy Hylton9f64caa2001-11-09 22:02:48 +0000392 PyBufferProcs *pb = v->ob_type->tp_as_buffer;
Travis E. Oliphant8ae62b62007-09-23 02:00:13 +0000393 Py_buffer view;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000394 if ((*pb->bf_getbuffer)(v, &view, PyBUF_SIMPLE) != 0) {
395 w_byte(TYPE_UNKNOWN, p);
396 p->error = 1;
397 }
Guido van Rossumd076c731998-10-07 19:42:25 +0000398 w_byte(TYPE_STRING, p);
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000399 n = view.len;
400 s = view.buf;
Martin v. Löwis725507b2006-03-07 12:08:51 +0000401 if (n > INT_MAX) {
402 p->depth--;
403 p->error = 1;
404 return;
405 }
Guido van Rossumd076c731998-10-07 19:42:25 +0000406 w_long((long)n, p);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000407 w_string(s, (int)n, p);
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000408 if (pb->bf_releasebuffer != NULL)
409 (*pb->bf_releasebuffer)(v, &view);
Guido van Rossumd076c731998-10-07 19:42:25 +0000410 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000411 else {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000412 w_byte(TYPE_UNKNOWN, p);
Guido van Rossumf2150601996-06-26 20:41:23 +0000413 p->error = 1;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000414 }
Guido van Rossum98626cd2000-06-28 23:24:19 +0000415 p->depth--;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000416}
417
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000418/* version currently has no effect for writing longs. */
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000419void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000420PyMarshal_WriteLongToFile(long x, FILE *fp, int version)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000421{
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000422 WFILE wf;
423 wf.fp = fp;
Guido van Rossumf2150601996-06-26 20:41:23 +0000424 wf.error = 0;
Fred Drake6da0b912000-06-28 18:47:56 +0000425 wf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000426 wf.strings = NULL;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000427 wf.version = version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000428 w_long(x, &wf);
429}
430
431void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000432PyMarshal_WriteObjectToFile(PyObject *x, FILE *fp, int version)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000433{
434 WFILE wf;
435 wf.fp = fp;
Guido van Rossumf2150601996-06-26 20:41:23 +0000436 wf.error = 0;
Guido van Rossum98626cd2000-06-28 23:24:19 +0000437 wf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000438 wf.strings = (version > 0) ? PyDict_New() : NULL;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000439 wf.version = version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000440 w_object(x, &wf);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000441 Py_XDECREF(wf.strings);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000442}
443
444typedef WFILE RFILE; /* Same struct with different invariants */
445
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000446#define rs_byte(p) (((p)->ptr < (p)->end) ? (unsigned char)*(p)->ptr++ : EOF)
Guido van Rossum8d617a61995-03-09 12:12:11 +0000447
448#define r_byte(p) ((p)->fp ? getc((p)->fp) : rs_byte(p))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000449
450static int
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000451r_string(char *s, int n, RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000452{
453 if (p->fp != NULL)
Martin v. Löwis18e16552006-02-15 17:27:45 +0000454 /* The result fits into int because it must be <=n. */
455 return (int)fread(s, 1, n, p->fp);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000456 if (p->end - p->ptr < n)
Martin v. Löwis18e16552006-02-15 17:27:45 +0000457 n = (int)(p->end - p->ptr);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000458 memcpy(s, p->ptr, n);
459 p->ptr += n;
460 return n;
461}
462
463static int
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000464r_short(RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000465{
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000466 register short x;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000467 x = r_byte(p);
468 x |= r_byte(p) << 8;
Tim Peterse84b7402000-09-19 08:54:13 +0000469 /* Sign-extension, in case short greater than 16 bits */
470 x |= -(x & 0x8000);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000471 return x;
472}
473
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000474static long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000475r_long(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000476{
477 register long x;
Guido van Rossum8d617a61995-03-09 12:12:11 +0000478 register FILE *fp = p->fp;
479 if (fp) {
480 x = getc(fp);
481 x |= (long)getc(fp) << 8;
482 x |= (long)getc(fp) << 16;
483 x |= (long)getc(fp) << 24;
484 }
485 else {
486 x = rs_byte(p);
487 x |= (long)rs_byte(p) << 8;
488 x |= (long)rs_byte(p) << 16;
489 x |= (long)rs_byte(p) << 24;
490 }
Guido van Rossumc1547d91996-12-10 15:39:04 +0000491#if SIZEOF_LONG > 4
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000492 /* Sign extension for 64-bit machines */
Tim Peterse84b7402000-09-19 08:54:13 +0000493 x |= -(x & 0x80000000L);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000494#endif
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000495 return x;
496}
497
Tim Peters82112372001-08-29 02:28:42 +0000498/* r_long64 deals with the TYPE_INT64 code. On a machine with
499 sizeof(long) > 4, it returns a Python int object, else a Python long
500 object. Note that w_long64 writes out TYPE_INT if 32 bits is enough,
501 so there's no inefficiency here in returning a PyLong on 32-bit boxes
502 for everything written via TYPE_INT64 (i.e., if an int is written via
503 TYPE_INT64, it *needs* more than 32 bits).
504*/
505static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000506r_long64(RFILE *p)
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000507{
Tim Peters82112372001-08-29 02:28:42 +0000508 long lo4 = r_long(p);
509 long hi4 = r_long(p);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000510#if SIZEOF_LONG > 4
Tim Peters82112372001-08-29 02:28:42 +0000511 long x = (hi4 << 32) | (lo4 & 0xFFFFFFFFL);
Christian Heimes217cfd12007-12-02 14:31:20 +0000512 return PyLong_FromLong(x);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000513#else
Tim Peters82112372001-08-29 02:28:42 +0000514 unsigned char buf[8];
515 int one = 1;
516 int is_little_endian = (int)*(char*)&one;
517 if (is_little_endian) {
518 memcpy(buf, &lo4, 4);
519 memcpy(buf+4, &hi4, 4);
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000520 }
Tim Peters82112372001-08-29 02:28:42 +0000521 else {
522 memcpy(buf, &hi4, 4);
523 memcpy(buf+4, &lo4, 4);
524 }
525 return _PyLong_FromByteArray(buf, 8, is_little_endian, 1);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000526#endif
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000527}
528
Guido van Rossum79f25d91997-04-29 20:08:16 +0000529static PyObject *
Mark Dickinsonbd792642009-03-18 20:06:12 +0000530r_PyLong(RFILE *p)
531{
532 PyLongObject *ob;
533 int size, i, j, md;
534 long n;
535 digit d;
536
537 n = r_long(p);
538 if (n == 0)
539 return (PyObject *)_PyLong_New(0);
540 if (n < -INT_MAX || n > INT_MAX) {
541 PyErr_SetString(PyExc_ValueError,
542 "bad marshal data (long size out of range)");
543 return NULL;
544 }
545
546 size = 1 + (ABS(n)-1) / PyLong_MARSHAL_RATIO;
547 ob = _PyLong_New(size);
548 if (ob == NULL)
549 return NULL;
550 Py_SIZE(ob) = n > 0 ? size : -size;
551
552 for (i = 0; i < size-1; i++) {
553 d = 0;
554 for (j=0; j < PyLong_MARSHAL_RATIO; j++) {
555 md = r_short(p);
556 if (md < 0 || md > PyLong_MARSHAL_BASE)
557 goto bad_digit;
558 d += (digit)md << j*PyLong_MARSHAL_SHIFT;
559 }
560 ob->ob_digit[i] = d;
561 }
562 d = 0;
563 for (j=0; j < (ABS(n)-1)%PyLong_MARSHAL_RATIO + 1; j++) {
564 md = r_short(p);
565 if (md < 0 || md > PyLong_MARSHAL_BASE)
566 goto bad_digit;
567 d += (digit)md << j*PyLong_MARSHAL_SHIFT;
568 }
569 ob->ob_digit[size-1] = d;
570 return (PyObject *)ob;
571 bad_digit:
572 Py_DECREF(ob);
573 PyErr_SetString(PyExc_ValueError,
574 "bad marshal data (digit out of range in long)");
575 return NULL;
576}
577
578
579static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000580r_object(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000581{
Armin Rigo01ab2792004-03-26 15:09:27 +0000582 /* NULL is a valid return value, it does not necessarily means that
583 an exception is set. */
Christian Heimes7b3ce6a2008-01-31 14:31:45 +0000584 PyObject *v, *v2;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000585 long i, n;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000586 int type = r_byte(p);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000587 PyObject *retval;
588
589 p->depth++;
590
591 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
592 p->depth--;
593 PyErr_SetString(PyExc_ValueError, "recursion limit exceeded");
594 return NULL;
595 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000596
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000597 switch (type) {
Tim Petersd9b9ac82001-01-28 00:27:39 +0000598
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000599 case EOF:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000600 PyErr_SetString(PyExc_EOFError,
601 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000602 retval = NULL;
603 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000604
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000605 case TYPE_NULL:
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000606 retval = NULL;
607 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000608
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000609 case TYPE_NONE:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000610 Py_INCREF(Py_None);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000611 retval = Py_None;
612 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000613
Tim Peters5ca576e2001-06-18 22:08:13 +0000614 case TYPE_STOPITER:
615 Py_INCREF(PyExc_StopIteration);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000616 retval = PyExc_StopIteration;
617 break;
Tim Peters5ca576e2001-06-18 22:08:13 +0000618
Guido van Rossume449af71996-10-11 16:25:41 +0000619 case TYPE_ELLIPSIS:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000620 Py_INCREF(Py_Ellipsis);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000621 retval = Py_Ellipsis;
622 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000623
Guido van Rossum77f6a652002-04-03 22:41:51 +0000624 case TYPE_FALSE:
625 Py_INCREF(Py_False);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000626 retval = Py_False;
627 break;
Guido van Rossum77f6a652002-04-03 22:41:51 +0000628
629 case TYPE_TRUE:
630 Py_INCREF(Py_True);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000631 retval = Py_True;
632 break;
Guido van Rossum77f6a652002-04-03 22:41:51 +0000633
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000634 case TYPE_INT:
Christian Heimes217cfd12007-12-02 14:31:20 +0000635 retval = PyLong_FromLong(r_long(p));
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000636 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000637
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000638 case TYPE_INT64:
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000639 retval = r_long64(p);
640 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000641
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000642 case TYPE_LONG:
Mark Dickinsonbd792642009-03-18 20:06:12 +0000643 retval = r_PyLong(p);
644 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000645
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000646 case TYPE_FLOAT:
647 {
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000648 char buf[256];
Guido van Rossum0ae748d1997-02-14 22:58:07 +0000649 double dx;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000650 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000651 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000652 PyErr_SetString(PyExc_EOFError,
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000653 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000654 retval = NULL;
655 break;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000656 }
657 buf[n] = '\0';
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000658 retval = NULL;
659 PyFPE_START_PROTECT("atof", break)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000660 dx = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000661 PyFPE_END_PROTECT(dx)
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000662 retval = PyFloat_FromDouble(dx);
663 break;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000664 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000665
Michael W. Hudsondf888462005-06-03 14:41:55 +0000666 case TYPE_BINARY_FLOAT:
667 {
Brett Cannonc9371d42005-06-25 08:23:41 +0000668 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000669 double x;
Brett Cannonc9371d42005-06-25 08:23:41 +0000670 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000671 PyErr_SetString(PyExc_EOFError,
672 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000673 retval = NULL;
674 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000675 }
676 x = _PyFloat_Unpack8(buf, 1);
677 if (x == -1.0 && PyErr_Occurred()) {
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000678 retval = NULL;
679 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000680 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000681 retval = PyFloat_FromDouble(x);
682 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000683 }
684
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000685#ifndef WITHOUT_COMPLEX
686 case TYPE_COMPLEX:
687 {
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000688 char buf[256];
Guido van Rossum530956d1996-07-21 02:27:43 +0000689 Py_complex c;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000690 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000691 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000692 PyErr_SetString(PyExc_EOFError,
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000693 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000694 retval = NULL;
695 break;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000696 }
697 buf[n] = '\0';
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000698 retval = NULL;
699 PyFPE_START_PROTECT("atof", break;)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000700 c.real = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000701 PyFPE_END_PROTECT(c)
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000702 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000703 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000704 PyErr_SetString(PyExc_EOFError,
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000705 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000706 retval = NULL;
707 break;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000708 }
709 buf[n] = '\0';
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000710 PyFPE_START_PROTECT("atof", break)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000711 c.imag = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000712 PyFPE_END_PROTECT(c)
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000713 retval = PyComplex_FromCComplex(c);
714 break;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000715 }
Michael W. Hudsondf888462005-06-03 14:41:55 +0000716
717 case TYPE_BINARY_COMPLEX:
718 {
Brett Cannonc9371d42005-06-25 08:23:41 +0000719 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000720 Py_complex c;
Brett Cannonc9371d42005-06-25 08:23:41 +0000721 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000722 PyErr_SetString(PyExc_EOFError,
723 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000724 retval = NULL;
725 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000726 }
727 c.real = _PyFloat_Unpack8(buf, 1);
728 if (c.real == -1.0 && PyErr_Occurred()) {
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000729 retval = NULL;
730 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000731 }
Brett Cannonc9371d42005-06-25 08:23:41 +0000732 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000733 PyErr_SetString(PyExc_EOFError,
734 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000735 retval = NULL;
736 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000737 }
738 c.imag = _PyFloat_Unpack8(buf, 1);
739 if (c.imag == -1.0 && PyErr_Occurred()) {
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000740 retval = NULL;
741 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000742 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000743 retval = PyComplex_FromCComplex(c);
744 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000745 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000746#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +0000747
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000748 case TYPE_STRING:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000749 n = r_long(p);
Thomas Wouters89f507f2006-12-13 04:49:30 +0000750 if (n < 0 || n > INT_MAX) {
Nick Coghlan93095832009-03-15 05:07:56 +0000751 PyErr_SetString(PyExc_ValueError, "bad marshal data (string size out of range)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000752 retval = NULL;
753 break;
Guido van Rossuma45cb451998-06-08 20:27:29 +0000754 }
Christian Heimes72b710a2008-05-26 13:28:38 +0000755 v = PyBytes_FromStringAndSize((char *)NULL, n);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000756 if (v == NULL) {
757 retval = NULL;
758 break;
759 }
Christian Heimes72b710a2008-05-26 13:28:38 +0000760 if (r_string(PyBytes_AS_STRING(v), (int)n, p) != n) {
Michael W. Hudson6d6917b2005-06-03 15:17:16 +0000761 Py_DECREF(v);
762 PyErr_SetString(PyExc_EOFError,
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000763 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000764 retval = NULL;
765 break;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000766 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000767 retval = v;
768 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000769
Guido van Rossumc279b532000-03-10 23:03:02 +0000770 case TYPE_UNICODE:
771 {
772 char *buffer;
773
774 n = r_long(p);
Thomas Wouters89f507f2006-12-13 04:49:30 +0000775 if (n < 0 || n > INT_MAX) {
Nick Coghlan93095832009-03-15 05:07:56 +0000776 PyErr_SetString(PyExc_ValueError, "bad marshal data (unicode size out of range)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000777 retval = NULL;
778 break;
Guido van Rossumc279b532000-03-10 23:03:02 +0000779 }
Guido van Rossumb18618d2000-05-03 23:44:39 +0000780 buffer = PyMem_NEW(char, n);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000781 if (buffer == NULL) {
782 retval = PyErr_NoMemory();
783 break;
784 }
Guido van Rossumc279b532000-03-10 23:03:02 +0000785 if (r_string(buffer, (int)n, p) != n) {
Guido van Rossumb18618d2000-05-03 23:44:39 +0000786 PyMem_DEL(buffer);
Guido van Rossumc279b532000-03-10 23:03:02 +0000787 PyErr_SetString(PyExc_EOFError,
788 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000789 retval = NULL;
790 break;
Guido van Rossumc279b532000-03-10 23:03:02 +0000791 }
792 v = PyUnicode_DecodeUTF8(buffer, n, NULL);
Guido van Rossumb18618d2000-05-03 23:44:39 +0000793 PyMem_DEL(buffer);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000794 retval = v;
795 break;
Guido van Rossumc279b532000-03-10 23:03:02 +0000796 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000797
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000798 case TYPE_TUPLE:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000799 n = r_long(p);
Thomas Wouters89f507f2006-12-13 04:49:30 +0000800 if (n < 0 || n > INT_MAX) {
Nick Coghlan93095832009-03-15 05:07:56 +0000801 PyErr_SetString(PyExc_ValueError, "bad marshal data (tuple size out of range)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000802 retval = NULL;
803 break;
Guido van Rossuma45cb451998-06-08 20:27:29 +0000804 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000805 v = PyTuple_New((int)n);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000806 if (v == NULL) {
807 retval = NULL;
808 break;
809 }
Jack Jansen9513f2c1995-10-27 13:21:28 +0000810 for (i = 0; i < n; i++) {
811 v2 = r_object(p);
812 if ( v2 == NULL ) {
Armin Rigo01ab2792004-03-26 15:09:27 +0000813 if (!PyErr_Occurred())
814 PyErr_SetString(PyExc_TypeError,
Nick Coghlan93095832009-03-15 05:07:56 +0000815 "NULL object in marshal data for tuple");
Guido van Rossum79f25d91997-04-29 20:08:16 +0000816 Py_DECREF(v);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000817 v = NULL;
818 break;
819 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000820 PyTuple_SET_ITEM(v, (int)i, v2);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000821 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000822 retval = v;
823 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000824
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000825 case TYPE_LIST:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000826 n = r_long(p);
Thomas Wouters89f507f2006-12-13 04:49:30 +0000827 if (n < 0 || n > INT_MAX) {
Nick Coghlan93095832009-03-15 05:07:56 +0000828 PyErr_SetString(PyExc_ValueError, "bad marshal data (list size out of range)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000829 retval = NULL;
830 break;
Guido van Rossuma45cb451998-06-08 20:27:29 +0000831 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000832 v = PyList_New((int)n);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000833 if (v == NULL) {
834 retval = NULL;
835 break;
836 }
Jack Jansen9513f2c1995-10-27 13:21:28 +0000837 for (i = 0; i < n; i++) {
838 v2 = r_object(p);
839 if ( v2 == NULL ) {
Armin Rigo01ab2792004-03-26 15:09:27 +0000840 if (!PyErr_Occurred())
841 PyErr_SetString(PyExc_TypeError,
Nick Coghlan93095832009-03-15 05:07:56 +0000842 "NULL object in marshal data for list");
Guido van Rossum79f25d91997-04-29 20:08:16 +0000843 Py_DECREF(v);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000844 v = NULL;
845 break;
846 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000847 PyList_SET_ITEM(v, (int)i, v2);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000848 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000849 retval = v;
850 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000851
Guido van Rossum64b45521991-06-07 13:58:22 +0000852 case TYPE_DICT:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000853 v = PyDict_New();
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000854 if (v == NULL) {
855 retval = NULL;
856 break;
857 }
Guido van Rossum64b45521991-06-07 13:58:22 +0000858 for (;;) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000859 PyObject *key, *val;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000860 key = r_object(p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000861 if (key == NULL)
Armin Rigo01ab2792004-03-26 15:09:27 +0000862 break;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000863 val = r_object(p);
Guido van Rossumf2150601996-06-26 20:41:23 +0000864 if (val != NULL)
Guido van Rossum79f25d91997-04-29 20:08:16 +0000865 PyDict_SetItem(v, key, val);
866 Py_DECREF(key);
867 Py_XDECREF(val);
Guido van Rossum64b45521991-06-07 13:58:22 +0000868 }
Armin Rigo01ab2792004-03-26 15:09:27 +0000869 if (PyErr_Occurred()) {
870 Py_DECREF(v);
871 v = NULL;
872 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000873 retval = v;
874 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000875
Raymond Hettingera422c342005-01-11 03:03:27 +0000876 case TYPE_SET:
877 case TYPE_FROZENSET:
878 n = r_long(p);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000879 if (n < 0 || n > INT_MAX) {
Nick Coghlan93095832009-03-15 05:07:56 +0000880 PyErr_SetString(PyExc_ValueError, "bad marshal data (set size out of range)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000881 retval = NULL;
882 break;
Raymond Hettingera422c342005-01-11 03:03:27 +0000883 }
Christian Heimesfd66e512008-01-29 12:18:50 +0000884 v = (type == TYPE_SET) ? PySet_New(NULL) : PyFrozenSet_New(NULL);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000885 if (v == NULL) {
886 retval = NULL;
887 break;
888 }
Raymond Hettingera422c342005-01-11 03:03:27 +0000889 for (i = 0; i < n; i++) {
890 v2 = r_object(p);
891 if ( v2 == NULL ) {
892 if (!PyErr_Occurred())
893 PyErr_SetString(PyExc_TypeError,
Nick Coghlan93095832009-03-15 05:07:56 +0000894 "NULL object in marshal data for set");
Raymond Hettingera422c342005-01-11 03:03:27 +0000895 Py_DECREF(v);
896 v = NULL;
897 break;
898 }
Christian Heimesfd66e512008-01-29 12:18:50 +0000899 if (PySet_Add(v, v2) == -1) {
900 Py_DECREF(v);
901 Py_DECREF(v2);
902 v = NULL;
903 break;
904 }
Christian Heimes400adb02008-02-01 08:12:03 +0000905 Py_DECREF(v2);
Raymond Hettingera422c342005-01-11 03:03:27 +0000906 }
Christian Heimesfd66e512008-01-29 12:18:50 +0000907 retval = v;
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000908 break;
Raymond Hettingera422c342005-01-11 03:03:27 +0000909
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000910 case TYPE_CODE:
Guido van Rossuma8add0e2007-05-14 22:03:55 +0000911 {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000912 int argcount;
Guido van Rossum4f72a782006-10-27 23:31:49 +0000913 int kwonlyargcount;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000914 int nlocals;
915 int stacksize;
916 int flags;
917 PyObject *code = NULL;
918 PyObject *consts = NULL;
919 PyObject *names = NULL;
920 PyObject *varnames = NULL;
921 PyObject *freevars = NULL;
922 PyObject *cellvars = NULL;
923 PyObject *filename = NULL;
924 PyObject *name = NULL;
925 int firstlineno;
926 PyObject *lnotab = NULL;
927
928 v = NULL;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000929
Guido van Rossuma8add0e2007-05-14 22:03:55 +0000930 /* XXX ignore long->int overflows for now */
Thomas Wouters89f507f2006-12-13 04:49:30 +0000931 argcount = (int)r_long(p);
932 kwonlyargcount = (int)r_long(p);
933 nlocals = (int)r_long(p);
934 stacksize = (int)r_long(p);
935 flags = (int)r_long(p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000936 code = r_object(p);
937 if (code == NULL)
938 goto code_error;
939 consts = r_object(p);
940 if (consts == NULL)
941 goto code_error;
942 names = r_object(p);
943 if (names == NULL)
944 goto code_error;
945 varnames = r_object(p);
946 if (varnames == NULL)
947 goto code_error;
948 freevars = r_object(p);
949 if (freevars == NULL)
950 goto code_error;
951 cellvars = r_object(p);
952 if (cellvars == NULL)
953 goto code_error;
954 filename = r_object(p);
955 if (filename == NULL)
956 goto code_error;
957 name = r_object(p);
958 if (name == NULL)
959 goto code_error;
Thomas Wouters89f507f2006-12-13 04:49:30 +0000960 firstlineno = (int)r_long(p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000961 lnotab = r_object(p);
962 if (lnotab == NULL)
963 goto code_error;
964
965 v = (PyObject *) PyCode_New(
Guido van Rossum4f72a782006-10-27 23:31:49 +0000966 argcount, kwonlyargcount,
967 nlocals, stacksize, flags,
Guido van Rossum681d79a1995-07-18 14:51:37 +0000968 code, consts, names, varnames,
Tim Petersd9b9ac82001-01-28 00:27:39 +0000969 freevars, cellvars, filename, name,
970 firstlineno, lnotab);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000971
972 code_error:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000973 Py_XDECREF(code);
974 Py_XDECREF(consts);
975 Py_XDECREF(names);
976 Py_XDECREF(varnames);
Jeremy Hylton64949cb2001-01-25 20:06:59 +0000977 Py_XDECREF(freevars);
978 Py_XDECREF(cellvars);
Guido van Rossum79f25d91997-04-29 20:08:16 +0000979 Py_XDECREF(filename);
980 Py_XDECREF(name);
Guido van Rossum6fc06e71997-07-26 23:30:18 +0000981 Py_XDECREF(lnotab);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000982 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000983 retval = v;
984 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000985
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000986 default:
Guido van Rossumf2150601996-06-26 20:41:23 +0000987 /* Bogus data got written, which isn't ideal.
988 This will let you keep working and recover. */
Nick Coghlan93095832009-03-15 05:07:56 +0000989 PyErr_SetString(PyExc_ValueError, "bad marshal data (unknown type code)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000990 retval = NULL;
991 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000992
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000993 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000994 p->depth--;
995 return retval;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000996}
997
Neal Norwitzd85c4522004-06-13 20:31:49 +0000998static PyObject *
Armin Rigo01ab2792004-03-26 15:09:27 +0000999read_object(RFILE *p)
1000{
1001 PyObject *v;
1002 if (PyErr_Occurred()) {
1003 fprintf(stderr, "XXX readobject called with exception set\n");
1004 return NULL;
1005 }
1006 v = r_object(p);
1007 if (v == NULL && !PyErr_Occurred())
Nick Coghlan93095832009-03-15 05:07:56 +00001008 PyErr_SetString(PyExc_TypeError, "NULL object in marshal data for object");
Armin Rigo01ab2792004-03-26 15:09:27 +00001009 return v;
1010}
1011
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001012int
1013PyMarshal_ReadShortFromFile(FILE *fp)
1014{
1015 RFILE rf;
Thomas Wouters7f401ef2006-03-01 22:30:47 +00001016 assert(fp);
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001017 rf.fp = fp;
Thomas Wouters7464b432006-03-01 22:34:09 +00001018 rf.strings = NULL;
1019 rf.end = rf.ptr = NULL;
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001020 return r_short(&rf);
1021}
1022
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001023long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001024PyMarshal_ReadLongFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001025{
1026 RFILE rf;
1027 rf.fp = fp;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001028 rf.strings = NULL;
Guido van Rossum8ce8a782007-11-01 19:42:39 +00001029 rf.ptr = rf.end = NULL;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001030 return r_long(&rf);
1031}
1032
Tim Peters691e0e92001-01-18 04:39:16 +00001033#ifdef HAVE_FSTAT
1034/* Return size of file in bytes; < 0 if unknown. */
1035static off_t
1036getfilesize(FILE *fp)
1037{
1038 struct stat st;
1039 if (fstat(fileno(fp), &st) != 0)
1040 return -1;
1041 else
1042 return st.st_size;
1043}
1044#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +00001045
Tim Peters691e0e92001-01-18 04:39:16 +00001046/* If we can get the size of the file up-front, and it's reasonably small,
1047 * read it in one gulp and delegate to ...FromString() instead. Much quicker
1048 * than reading a byte at a time from file; speeds .pyc imports.
Tim Petersd9b9ac82001-01-28 00:27:39 +00001049 * CAUTION: since this may read the entire remainder of the file, don't
1050 * call it unless you know you're done with the file.
Tim Peters691e0e92001-01-18 04:39:16 +00001051 */
Guido van Rossum79f25d91997-04-29 20:08:16 +00001052PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +00001053PyMarshal_ReadLastObjectFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001054{
Tim Peters691e0e92001-01-18 04:39:16 +00001055/* 75% of 2.1's .pyc files can exploit SMALL_FILE_LIMIT.
1056 * REASONABLE_FILE_LIMIT is by defn something big enough for Tkinter.pyc.
1057 */
1058#define SMALL_FILE_LIMIT (1L << 14)
1059#define REASONABLE_FILE_LIMIT (1L << 18)
Tim Peters691e0e92001-01-18 04:39:16 +00001060#ifdef HAVE_FSTAT
1061 off_t filesize;
1062#endif
Tim Peters691e0e92001-01-18 04:39:16 +00001063#ifdef HAVE_FSTAT
1064 filesize = getfilesize(fp);
1065 if (filesize > 0) {
1066 char buf[SMALL_FILE_LIMIT];
1067 char* pBuf = NULL;
1068 if (filesize <= SMALL_FILE_LIMIT)
1069 pBuf = buf;
1070 else if (filesize <= REASONABLE_FILE_LIMIT)
1071 pBuf = (char *)PyMem_MALLOC(filesize);
1072 if (pBuf != NULL) {
1073 PyObject* v;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001074 size_t n;
1075 /* filesize must fit into an int, because it
1076 is smaller than REASONABLE_FILE_LIMIT */
1077 n = fread(pBuf, 1, (int)filesize, fp);
Tim Peters691e0e92001-01-18 04:39:16 +00001078 v = PyMarshal_ReadObjectFromString(pBuf, n);
1079 if (pBuf != buf)
1080 PyMem_FREE(pBuf);
1081 return v;
1082 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001083
Tim Peters691e0e92001-01-18 04:39:16 +00001084 }
1085#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +00001086 /* We don't have fstat, or we do but the file is larger than
1087 * REASONABLE_FILE_LIMIT or malloc failed -- read a byte at a time.
1088 */
1089 return PyMarshal_ReadObjectFromFile(fp);
1090
Tim Peters691e0e92001-01-18 04:39:16 +00001091#undef SMALL_FILE_LIMIT
1092#undef REASONABLE_FILE_LIMIT
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001093}
1094
Guido van Rossum79f25d91997-04-29 20:08:16 +00001095PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +00001096PyMarshal_ReadObjectFromFile(FILE *fp)
1097{
1098 RFILE rf;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001099 PyObject *result;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001100 rf.fp = fp;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001101 rf.strings = PyList_New(0);
Guido van Rossumd59da4b2007-05-22 18:11:13 +00001102 rf.depth = 0;
Guido van Rossum8ce8a782007-11-01 19:42:39 +00001103 rf.ptr = rf.end = NULL;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001104 result = r_object(&rf);
1105 Py_DECREF(rf.strings);
1106 return result;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001107}
1108
1109PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001110PyMarshal_ReadObjectFromString(char *str, Py_ssize_t len)
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001111{
1112 RFILE rf;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001113 PyObject *result;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001114 rf.fp = NULL;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001115 rf.ptr = str;
1116 rf.end = str + len;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001117 rf.strings = PyList_New(0);
Guido van Rossumd59da4b2007-05-22 18:11:13 +00001118 rf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001119 result = r_object(&rf);
1120 Py_DECREF(rf.strings);
1121 return result;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001122}
1123
Guido van Rossum79f25d91997-04-29 20:08:16 +00001124PyObject *
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001125PyMarshal_WriteObjectToString(PyObject *x, int version)
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001126{
1127 WFILE wf;
Guido van Rossume6d39042007-05-09 00:01:30 +00001128 PyObject *res = NULL;
1129
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001130 wf.fp = NULL;
Christian Heimes72b710a2008-05-26 13:28:38 +00001131 wf.str = PyBytes_FromStringAndSize((char *)NULL, 50);
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001132 if (wf.str == NULL)
1133 return NULL;
Christian Heimes72b710a2008-05-26 13:28:38 +00001134 wf.ptr = PyBytes_AS_STRING((PyBytesObject *)wf.str);
1135 wf.end = wf.ptr + PyBytes_Size(wf.str);
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001136 wf.error = 0;
Fred Drake6da0b912000-06-28 18:47:56 +00001137 wf.depth = 0;
Michael W. Hudsondf888462005-06-03 14:41:55 +00001138 wf.version = version;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001139 wf.strings = (version > 0) ? PyDict_New() : NULL;
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001140 w_object(x, &wf);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001141 Py_XDECREF(wf.strings);
Thomas Wouters89f507f2006-12-13 04:49:30 +00001142 if (wf.str != NULL) {
Christian Heimes72b710a2008-05-26 13:28:38 +00001143 char *base = PyBytes_AS_STRING((PyBytesObject *)wf.str);
Thomas Wouters89f507f2006-12-13 04:49:30 +00001144 if (wf.ptr - base > PY_SSIZE_T_MAX) {
1145 Py_DECREF(wf.str);
1146 PyErr_SetString(PyExc_OverflowError,
Guido van Rossumf15a29f2007-05-04 00:41:39 +00001147 "too much marshal data for a string");
Thomas Wouters89f507f2006-12-13 04:49:30 +00001148 return NULL;
1149 }
Christian Heimes72b710a2008-05-26 13:28:38 +00001150 if (_PyBytes_Resize(&wf.str, (Py_ssize_t)(wf.ptr - base)) < 0)
Guido van Rossume6d39042007-05-09 00:01:30 +00001151 return NULL;
Thomas Wouters89f507f2006-12-13 04:49:30 +00001152 }
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001153 if (wf.error) {
Guido van Rossum79f25d91997-04-29 20:08:16 +00001154 Py_XDECREF(wf.str);
Tim Petersd9b9ac82001-01-28 00:27:39 +00001155 PyErr_SetString(PyExc_ValueError,
Fred Drake6da0b912000-06-28 18:47:56 +00001156 (wf.error==1)?"unmarshallable object"
1157 :"object too deeply nested to marshal");
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001158 return NULL;
1159 }
Guido van Rossume6d39042007-05-09 00:01:30 +00001160 if (wf.str != NULL) {
1161 /* XXX Quick hack -- need to do this differently */
Gregory P. Smith0a608fd2008-09-06 21:34:51 +00001162 res = PyBytes_FromObject(wf.str);
Guido van Rossume6d39042007-05-09 00:01:30 +00001163 Py_DECREF(wf.str);
1164 }
1165 return res;
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001166}
1167
Guido van Rossum64b45521991-06-07 13:58:22 +00001168/* And an interface for Python programs... */
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001169
Guido van Rossum79f25d91997-04-29 20:08:16 +00001170static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001171marshal_dump(PyObject *self, PyObject *args)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001172{
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001173 /* XXX Quick hack -- need to do this differently */
Guido van Rossum79f25d91997-04-29 20:08:16 +00001174 PyObject *x;
1175 PyObject *f;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001176 int version = Py_MARSHAL_VERSION;
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001177 PyObject *s;
1178 PyObject *res;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001179 if (!PyArg_ParseTuple(args, "OO|i:dump", &x, &f, &version))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001180 return NULL;
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001181 s = PyMarshal_WriteObjectToString(x, version);
1182 if (s == NULL)
Guido van Rossumf2150601996-06-26 20:41:23 +00001183 return NULL;
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001184 res = PyObject_CallMethod(f, "write", "O", s);
1185 Py_DECREF(s);
1186 return res;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001187}
1188
Guido van Rossum79f25d91997-04-29 20:08:16 +00001189static PyObject *
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001190marshal_load(PyObject *self, PyObject *f)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001191{
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001192 /* XXX Quick hack -- need to do this differently */
1193 PyObject *data, *result;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001194 RFILE rf;
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001195 data = PyObject_CallMethod(f, "read", "");
1196 if (data == NULL)
1197 return NULL;
1198 rf.fp = NULL;
Christian Heimes72b710a2008-05-26 13:28:38 +00001199 if (PyBytes_Check(data)) {
1200 rf.ptr = PyBytes_AS_STRING(data);
1201 rf.end = rf.ptr + PyBytes_GET_SIZE(data);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001202 }
Gregory P. Smith0a608fd2008-09-06 21:34:51 +00001203 else if (PyBytes_Check(data)) {
1204 rf.ptr = PyBytes_AS_STRING(data);
1205 rf.end = rf.ptr + PyBytes_GET_SIZE(data);
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001206 }
1207 else {
1208 PyErr_Format(PyExc_TypeError,
1209 "f.read() returned neither string "
1210 "nor bytes but %.100s",
1211 data->ob_type->tp_name);
1212 Py_DECREF(data);
1213 return NULL;
1214 }
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001215 rf.strings = PyList_New(0);
Guido van Rossum7a265342007-07-30 00:04:35 +00001216 rf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001217 result = read_object(&rf);
1218 Py_DECREF(rf.strings);
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001219 Py_DECREF(data);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001220 return result;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001221}
1222
Guido van Rossum79f25d91997-04-29 20:08:16 +00001223static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001224marshal_dumps(PyObject *self, PyObject *args)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001225{
Guido van Rossum79f25d91997-04-29 20:08:16 +00001226 PyObject *x;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001227 int version = Py_MARSHAL_VERSION;
Armin Rigo2ccea172004-12-20 12:25:57 +00001228 if (!PyArg_ParseTuple(args, "O|i:dumps", &x, &version))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001229 return NULL;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001230 return PyMarshal_WriteObjectToString(x, version);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001231}
1232
Guido van Rossum79f25d91997-04-29 20:08:16 +00001233static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001234marshal_loads(PyObject *self, PyObject *args)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001235{
1236 RFILE rf;
Martin v. Löwis423be952008-08-13 15:53:07 +00001237 Py_buffer p;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001238 char *s;
Thomas Wouters695934a2006-03-01 23:49:13 +00001239 Py_ssize_t n;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001240 PyObject* result;
Martin v. Löwis423be952008-08-13 15:53:07 +00001241 if (!PyArg_ParseTuple(args, "s*:loads", &p))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001242 return NULL;
Martin v. Löwis423be952008-08-13 15:53:07 +00001243 s = p.buf;
1244 n = p.len;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001245 rf.fp = NULL;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001246 rf.ptr = s;
1247 rf.end = s + n;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001248 rf.strings = PyList_New(0);
Guido van Rossumd59da4b2007-05-22 18:11:13 +00001249 rf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001250 result = read_object(&rf);
1251 Py_DECREF(rf.strings);
Martin v. Löwis423be952008-08-13 15:53:07 +00001252 PyBuffer_Release(&p);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001253 return result;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001254}
1255
Guido van Rossum79f25d91997-04-29 20:08:16 +00001256static PyMethodDef marshal_methods[] = {
Neal Norwitz031829d2002-03-31 14:37:44 +00001257 {"dump", marshal_dump, METH_VARARGS},
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001258 {"load", marshal_load, METH_O},
Neal Norwitz031829d2002-03-31 14:37:44 +00001259 {"dumps", marshal_dumps, METH_VARARGS},
1260 {"loads", marshal_loads, METH_VARARGS},
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001261 {NULL, NULL} /* sentinel */
1262};
1263
Brett Cannon429ef652008-06-27 00:35:35 +00001264static struct PyModuleDef marshalmodule = {
Martin v. Löwis1a214512008-06-11 05:26:20 +00001265 PyModuleDef_HEAD_INIT,
1266 "marshal",
1267 NULL,
1268 0,
1269 marshal_methods,
1270 NULL,
1271 NULL,
1272 NULL,
1273 NULL
1274};
1275
1276
1277
Jason Tishler6bc06ec2003-09-04 11:59:50 +00001278PyMODINIT_FUNC
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001279PyMarshal_Init(void)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001280{
Brett Cannon429ef652008-06-27 00:35:35 +00001281 PyObject *mod = PyModule_Create(&marshalmodule);
Neal Norwitz1ac754f2006-01-19 06:09:39 +00001282 if (mod == NULL)
Martin v. Löwis1a214512008-06-11 05:26:20 +00001283 return NULL;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001284 PyModule_AddIntConstant(mod, "version", Py_MARSHAL_VERSION);
Martin v. Löwis1a214512008-06-11 05:26:20 +00001285 return mod;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001286}