mirror of
https://github.com/python/cpython.git
synced 2025-08-09 11:29:45 +00:00
[3.12] gh-125118: don't copy arbitrary values to _Bool in the struct module (GH-125169) (#125265)
memcopy'ing arbitrary values to _Bool variable triggers undefined
behaviour. Avoid this.
We assume that `false` is represented by all zero bytes.
Credits to Alex Gaynor.
(cherry picked from commit 87d7315ac5
)
Co-authored-by: Sam Gross <colesbury@gmail.com>
Co-authored-by: Victor Stinner <vstinner@python.org>
Co-authored-by: Petr Viktorin <encukou@gmail.com>
This commit is contained in:
parent
74df3a79d3
commit
67f8302b9c
3 changed files with 6 additions and 3 deletions
|
@ -529,6 +529,9 @@ class StructTest(unittest.TestCase):
|
|||
|
||||
for c in [b'\x01', b'\x7f', b'\xff', b'\x0f', b'\xf0']:
|
||||
self.assertTrue(struct.unpack('>?', c)[0])
|
||||
self.assertTrue(struct.unpack('<?', c)[0])
|
||||
self.assertTrue(struct.unpack('=?', c)[0])
|
||||
self.assertTrue(struct.unpack('@?', c)[0])
|
||||
|
||||
def test_count_overflow(self):
|
||||
hugecount = '{}b'.format(sys.maxsize+1)
|
||||
|
|
|
@ -0,0 +1 @@
|
|||
Don't copy arbitrary values to :c:expr:`_Bool` in the :mod:`struct` module.
|
|
@ -483,9 +483,8 @@ nu_ulonglong(_structmodulestate *state, const char *p, const formatdef *f)
|
|||
static PyObject *
|
||||
nu_bool(_structmodulestate *state, const char *p, const formatdef *f)
|
||||
{
|
||||
_Bool x;
|
||||
memcpy((char *)&x, p, sizeof x);
|
||||
return PyBool_FromLong(x != 0);
|
||||
const _Bool bool_false = 0;
|
||||
return PyBool_FromLong(memcmp(p, &bool_false, sizeof(_Bool)));
|
||||
}
|
||||
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue