Pitone
Ispirato dalla risposta Java:
>>> patch = '\x312\x2D7'
>>> import ctypes;ctypes.c_int8.from_address(id(len(patch))+8).value=eval(patch)
>>> 2 + 2
5
Come Java, CPython utilizza la stessa posizione di memoria per qualsiasi copia dei primi piccoli numeri interi (0-255 se la memoria serve). Questo accede e modifica direttamente la posizione della memoria tramite ctypes
. patch
è solo un offuscato "12-7"
, una stringa con len
4, che eval
è a 5.
Una versione più offuscata
exec("\x66\x72\x6f\x6d\x20c\x74\x79\x70e\x73\x20\x69\x6d\x70\
\x6f\x72\x74\x20c\x5f\x69\x6e\x748\x20a\x73\x20x\x3bf\x72\x6f\
\x6d\x20\x73\x74\x72\x75c\x74\x20\x69\x6d\x70\x6f\x72\x74\x20\
ca\x6cc\x73\x69\x7ae\x20a\x73\x20x0\x3bx\x2ef\x72\x6f\x6d\x5f\
a\x64\x64\x72e\x73\x73\x28\x69\x64\x284\x29\x2bx0\x28\x27\x50\
\x50\x27\x29\x29\x2e\x76a\x6c\x75e\x3d5")
Oltre 2 + 2
Come menzionato in OP, 2 + 2 può essere un po 'noioso; quindi ecco un codice più pulito, multipiattaforma e multi-larghezza per abuso sfrenato.
from __future__ import division, print_function
import struct
import ctypes
import random
# Py 2.7 PyIntObject:
# - PyObject_HEAD
# - PyObject_HEAD_EXTRA [usually nothing unless compiled with DEBUG]
# - (Py_ssize_t) ob_refcnt
# - (_typeobject) *ob_type
# - (long) ob_ival
# two platform-sized (32/64-bit) ints (ob_refcnt and *ob_type from above)
offset = struct.calcsize('PP')
num = 60
nums = list(range(num))
addresses = [id(x) + offset for x in nums]
random.shuffle(nums)
for a, n in zip(addresses, nums):
ctypes.c_ssize_t.from_address(a).value = n
print('2 + 2 =', 2+2)
print('9 - 4 =', 9-4)
print('5 * 6 =', 5*6)
print('1 / 0 =\n', 1/0)
print('(1 + 2) + 3 = ', (1+2)+3)
print('1 + (2 + 3) = ', 1+(2+3))
print('(2 + 3) + 1 = ', (2+3)+1)
print('2 + (3 + 1) = ', 2+(3+1))
In esecuzione con Python 2.7 ... ignora quella riga alla fine. Funziona in Windows 64-bit e Ubuntu 32-bit, i due sistemi a cui ho un facile accesso.
$ python awful.py
2 + 2 = 24
9 - 4 = 49
5 * 6 = 55
1 / 0 = 0.76
(1 + 2) + 3 = 50
1 + (2 + 3) = 68
(2 + 3) + 1 = 50
2 + (3 + 1) = 61
Segmentation fault (core dumped)
Non sorprende che possiamo rompere la proprietà associativa di addizione, dove ( a + b ) + c = a + ( b + c ), come si vede nella 1a e 2a 1+2+3
riga, ma inspiegabilmente rompiamo anche la proprietà commutativa (dove a + b = b + a ; 2a e 3a riga). Mi chiedo se l'interprete Python ignori semplicemente le parentesi superflue attorno alle espressioni di addizione.