intrinsic-propensity/turing-machineUn programma Python che implementa e sfrutta la macchina di Turing di Minsky presa in considerazione nell'articolo "Intrinsic Propensity for Vulnerability in Computers? Arbitrary Code Execution in the Universal Turing Machine" secondo la CVE-2021-32471 (https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-32471)
Questa è un'implementazione della Macchina di Turing universale come presentata in Minsky, Computation: Finite and infinite machines, 1967, Capitolo 7.
L'input predefinito per la macchina simulata è un exploit che consente l'esecuzione arbitraria di codice.
Esegui il programma con
$ python3.7 minskys_turing_machine.py
State 19 reading S writing B shifting left resulting in: 00111MYBAAXAAAAAAAXAABAAAAB1000Y01SX0000001X0010110X0100011X0110100Y00 Step 380
A
State 19 reading S writing B shifting left resulting in: 0011M0Y00BX0000000X001000011000Y00SX0000001X0010110X0100011X0110100Y00 Step 721
A
State 19 reading S writing B shifting left resulting in: 001M00Y00BX0000000X001000011000Y00SX0000001X0010110X0100011X0110100Y00 Step 1055
A
State 19 reading S writing B shifting left resulting in: 00M000Y00BX0000000X001000011000Y00SX0000001X0010110X0100011X0110100Y00 Step 1393
A
State 18 reading S writing A shifting left resulting in: 0M0000Y00AX0000000X001000011000Y00SX0000001X0010110X0100011X0110100Y00 Step 1735
A
State 18 reading S writing A shifting left resulting in: M00000Y00AX0000000X001000011000Y00SX0000001X0010110X0100011X0110100Y00 Step 1909
A
Ran out of tape!
L'aiuto è fornito con
$ python3.7 minskys_turing_machine.py -h
usage: minskys_turing_machine.py [-h] [--machine_condition MACHINE_CONDITION]
[--machine_description MACHINE_DESCRIPTION]
[--machine_tape MACHINE_TAPE]
[--verbosity VERBOSITY]
A Universal Turing Machine as described in Minsky, Computation: Finite and
infinite machines, 1967, Chapter 7.
optional arguments:
-h, --help show this help message and exit
--machine_condition MACHINE_CONDITION
The internal state and the currently read symbol. The
default starts in state 00 and the head is scanning a
1.
--machine_description MACHINE_DESCRIPTION
The program of the Turing machine to be simulated.
--machine_tape MACHINE_TAPE
The simulated Turing machine's initial tape. The
default is an exploit that achieves arbitrary code
execution.
--verbosity VERBOSITY
Degree of vebosity, 1-4.
La vulnerabilità ha ricevuto l'identificativo CVE-2021-32471 ed è presentata in dettaglio nell'articolo Intrinsic Propensity for Vulnerability in Computers? Arbitrary Code Execution in the Universal Turing Machine di Pontus Johnson, pubblicato nel 2021. C'è anche un intervento su YouTube sulla vulnerabilità e il suo sfruttamento.
Una simulazione visiva dell'exploit è disponibile all'indirizzo https://intrinsic-propensity.github.io.
Per un'implementazione alternativa della vulnerabile Macchina di Turing di Minsky, dai un'occhiata alla specifica di Andreas Rozek per il simulatore di Macchina di Turing di Martín Ugarte.