intrinsic-propensity/turing-machineImplémentation en Python de la machine universelle de Turing de Minsky avec un exploit intégré démontrant l'exécution de code arbitraire (CVE-2021-32471) à des fins de recherche pédagogique.
Ceci est une implémentation de la machine de Turing universelle telle que présentée dans Minsky, Computation: Finite and infinite machines, 1967, Chapitre 7.
L'entrée par défaut de la machine simulée est une exploit qui permet d'exécuter du code arbitraire.
Exécutez le programme avec
$ 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'aide est fournie avec
$ 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 vulnérabilité a été assignée CVE-2021-32471 et est présentée en détail dans l'article de Pontus Johnson Intrinsic Propensity for Vulnerability in Computers? Arbitrary Code Execution in the Universal Turing Machine de 2021. Il existe également une conférence sur YouTube sur la vulnérabilité et son exploitation.
Une simulation visuelle de l'exploit est disponible sur https://intrinsic-propensity.github.io.
Pour une réimplémentation alternative de la machine de Turing Minsky vulnérable, consultez la spécification d'Andreas Rozek pour le simulateur de machine de Turing de Martín Ugarte.