Son PHDays 9-da biz qaz nasos qurğusunu sındırmaq üçün müsabiqə keçirdik - müsabiqə . Saytda eyni sənaye prosesini təqlid edən müxtəlif təhlükəsizlik parametrləri (Təhlükəsizlik, Aşağı Təhlükəsizlik, Yüksək Təhlükəsizlik) olan üç stend var idi: təzyiq altında hava bir balona vuruldu (sonra buraxıldı).
Müxtəlif təhlükəsizlik parametrlərinə baxmayaraq, stendlərin aparat tərkibi eyni idi: Siemens Simatic PLC S7-300 seriyası; təcili deflyasiya düyməsi və təzyiq ölçmə cihazı (PLC rəqəmsal girişlərinə (DI) qoşulmuşdur); havanın şişməsi və deflyasiyası üçün işləyən klapanlar (PLC (DO) rəqəmsal çıxışlarına qoşulmuşdur) - aşağıdakı şəklə baxın.
PLC, təzyiq göstəricilərindən asılı olaraq və proqramına uyğun olaraq, topu söndürmək və ya şişirtmək qərarına gəldi (müvafiq klapanları açıb bağladı). Bununla belə, bütün stendlərdə heç bir məhdudiyyət olmadan klapanların vəziyyətinə nəzarət etməyə imkan verən əl ilə idarəetmə rejimi var idi.
Stendlər bu rejimi işə salmağın mürəkkəbliyi ilə fərqlənirdi: qorunmayan stenddə bunu etmək ən asan idi, yüksək təhlükəsizlik stendində isə müvafiq olaraq daha çətin idi.
Altı problemdən beşi iki gündə həll olundu; Birinci yerin iştirakçısı 233 xal toplayıb (bir həftə yarışa hazırlaşıb). Üç qalib: I yer - a1exdandy, II - Rubikoid, III - Ze.
Bununla belə, PHDays zamanı iştirakçılardan heç biri hər üç stendi üstələyə bilmədi, ona görə də biz onlayn müsabiqə keçirməyə qərar verdik və iyunun əvvəlində ən çətin tapşırığı dərc etdik. İştirakçılar bir ay ərzində tapşırığı yerinə yetirməli, bayrağı tapmalı, həll yolunu ətraflı və maraqlı şəkildə təsvir etməli idilər.
Kesimin altında ay ərzində göndərilənlərdən tapşırığın ən yaxşı həllinin təhlilini dərc edirik, onu PhDays zamanı müsabiqədə 1-ci yeri tutan Rəqəmsal Təhlükəsizlik şirkətindən Aleksey Kovrizhnykh (aXNUMXexdandy) tapdı. Aşağıda onun mətnini şərhlərimizlə təqdim edirik.
İlkin təhlil
Beləliklə, tapşırıqda aşağıdakı faylları olan bir arxiv var idi:
- block_upload_traffic.pcapng
- DB100.bin
- göstərişlər.txt
hints.txt faylı tapşırığı həll etmək üçün lazımi məlumatları və göstərişləri ehtiva edir. Onun məzmununu təqdim edirik:
- Petroviç dünən mənə dedi ki, blokları PlcSim-dən Step7-ə yükləyə bilərsiniz.
- Stenddə Siemens Simatic S7-300 seriyalı PLC-dən istifadə edilib.
- PlcSim, Siemens S7 PLC-lər üçün proqramları işə salmağa və sazlamağa imkan verən PLC emulyatorudur.
DB100.bin faylında DB100 PLC məlumat bloku var: 00000000: 0100 0102 6e02 0401 0206 0100 0101 0102 ....n......... 00000010: 1002 0501 0202 2002 0501. ..... ......... 0206: 0100 0102 00000020 0102 7702 0401 0206 0100a0103 ..w............. 0102: 0 02 00000030 0501 0202 1602 ................ 0501: 0206 0100 0104 0102 00000040 7502 0401a0206 0100 u............... 0105: 0102 0 02 0501 00000050 0202 1602 0501............0206. 0100: 0106 0102 3402 4 00000060 0401 0206 0100 .........&..... 0107: 0102c2602 0501 0202 00000070 4 02 ......0501.... : 0206 0100 0108 0102 3302a0401 3 00000080 0206 ................ 0100: 0109 0102 0 02a 0501 0202 1602 00000090 .........0501. 0206a0100: 010 0102b 3702 0401 0206 7 000000 0 ......".....F... 0100b010: 0102 2202 0501c 0202 4602 0501 ..........000000 .. 0c0206: 0100d 010 0102a3302 0401 0206 0100 3 000000 ................ 0d010: 0102 0e 02 0501d0202 1602 0501 .... .... 0206e000000: 0 0100 010 0102 6 02 0401 0206 ......#...... 0100f010: 000000 0 0102 1102 0501 0202 ......... ..... 2302: 0501 0206 0100 000000 0 0110 0102 3502 ......%............ 0401: 0206 0100 0111 0102 5 00000100 1202 ...... 0501 . .....&. 0202: 2502 0501 0206c0100 0112 00000110 0102 ....L......
Adından da göründüyü kimi block_upload_traffic.pcapng faylı PLC-yə blok yükləmə trafikinin zibilini ehtiva edir.
Qeyd etmək lazımdır ki, konfrans zamanı yarış meydançasında bu trafik zibilini əldə etmək bir az daha çətin idi. Bunun üçün TeslaSCADA2 üçün layihə faylından skripti başa düşmək lazım idi. Bundan RC4 istifadə edərək şifrələnmiş zibilin harada yerləşdiyini və onun şifrəsini açmaq üçün hansı açardan istifadə etmək lazım olduğunu başa düşmək mümkün oldu. Saytdakı məlumat bloklarının zibilləri S7 protokol müştərisindən istifadə etməklə əldə edilə bilər. Bunun üçün Snap7 paketindən demo müştəri istifadə etdim.
Trafik zibilxanasından siqnal emal bloklarının çıxarılması
Zibilin məzmununa baxaraq, onun OB1, FC1, FC2 və FC3 siqnal emal bloklarını ehtiva etdiyini başa düşə bilərsiniz:
Bu bloklar çıxarılmalıdır. Bu, məsələn, trafiki pcapng formatından pcap formatına çevirərək aşağıdakı skriptlə edilə bilər:
#!/usr/bin/env python2
import struct
from scapy.all import *
packets = rdpcap('block_upload_traffic.pcap')
s7_hdr_struct = '>BBHHHHBB'
s7_hdr_sz = struct.calcsize(s7_hdr_struct)
tpkt_cotp_sz = 7
names = iter(['OB1.bin', 'FC1.bin', 'FC2.bin', 'FC3.bin'])
buf = ''
for packet in packets:
if packet.getlayer(IP).src == '10.0.102.11':
tpkt_cotp_s7 = str(packet.getlayer(TCP).payload)
if len(tpkt_cotp_s7) < tpkt_cotp_sz + s7_hdr_sz:
continue
s7 = tpkt_cotp_s7[tpkt_cotp_sz:]
s7_hdr = s7[:s7_hdr_sz]
param_sz = struct.unpack(s7_hdr_struct, s7_hdr)[4]
s7_param = s7[12:12+param_sz]
s7_data = s7[12+param_sz:]
if s7_param in ('x1ex00', 'x1ex01'): # upload
buf += s7_data[4:]
elif s7_param == 'x1f':
with open(next(names), 'wb') as f:
f.write(buf)
buf = ''Yaranan blokları araşdırdıqdan sonra onların həmişə 70 70 baytla başladığını görəcəksiniz. İndi onları təhlil etməyi öyrənməlisiniz. Tapşırıq işarəsi bunun üçün PlcSim-dən istifadə etməyiniz lazım olduğunu göstərir.
Bloklardan insan tərəfindən oxuna bilən təlimatların alınması
Əvvəlcə Simatic Manager proqramından istifadə edərək təkrarlanan təlimatları (= Q 7) olan bir neçə bloku S0.0-PlcSim-ə yükləyərək və emulyatorda əldə edilmiş PLC-ni example.plc faylında saxlayaraq proqramlaşdırmağa çalışaq. Faylın məzmununa baxaraq, əvvəllər aşkar etdiyimiz 70 70 imzası ilə yüklənmiş blokların başlanğıcını asanlıqla müəyyən edə bilərsiniz. Bloklardan əvvəl, görünür, blok ölçüsü 4 baytlıq kiçik endian dəyəri kimi yazılır.
PLC fayllarının strukturu haqqında məlumat aldıqdan sonra PLC S7 proqramlarını oxumaq üçün aşağıdakı fəaliyyət planı ortaya çıxdı:
- Simatic Manager istifadə edərək, biz S7-PlcSim-də zibildən aldığımıza bənzər blok strukturu yaradırıq. Blok ölçüləri (bu, blokları lazımi sayda təlimatla doldurmaqla əldə edilir) və onların identifikatorlarına (OB1, FC1, FC2, FC3) uyğun olmalıdır.
- PLC-ni faylda saxlayın.
- Yaranan fayldakı blokların məzmununu trafik zibilxanasından olan bloklarla əvəz edirik. Blokların başlanğıcı imza ilə müəyyən edilir.
- Yaranan faylı S7-PlcSim-ə yükləyirik və Simatic Manager-də blokların məzmununa baxırıq.
Bloklar, məsələn, aşağıdakı kodla əvəz edilə bilər:
with open('original.plc', 'rb') as f:
plc = f.read()
blocks = []
for fname in ['OB1.bin', 'FC1.bin', 'FC2.bin', 'FC3.bin']:
with open(fname, 'rb') as f:
blocks.append(f.read())
i = plc.find(b'pp')
for block in blocks:
plc = plc[:i] + block + plc[i+len(block):]
i = plc.find(b'pp', i + 1)
with open('target.plc', 'wb') as f:
f.write(plc)Aleksey bəlkə də daha çətin, lakin yenə də düzgün yol tutdu. Biz güman etdik ki, iştirakçılar NetToPlcSim proqramından istifadə edəcəklər ki, PlcSim şəbəkə üzərindən əlaqə saxlaya bilsin, blokları Snap7 vasitəsilə PlcSim-ə yükləyə və sonra inkişaf mühitindən istifadə edərək bu blokları PlcSim-dən layihə kimi endirə bilsin.
Yaranan faylı S7-PlcSim-də açaraq, Simatic Manager-dən istifadə edərək üzərinə yazılmış blokları oxuya bilərsiniz. Əsas cihaz idarəetmə funksiyaları FC1 blokunda qeyd olunur. Xüsusi diqqətəlayiq məqam #TEMP0 dəyişənidir ki, o, işə salındıqda M2.2 və M2.3 bit yaddaş dəyərlərinə əsaslanaraq PLC idarəetməsini əl rejiminə təyin edir. #TEMP0 dəyəri FC3 funksiyası ilə təyin edilir.
Problemi həll etmək üçün FC3 funksiyasını təhlil etməli və məntiqi bir funksiyanı qaytarması üçün nə edilməli olduğunu başa düşməlisiniz.
Müsabiqə sahəsindəki Aşağı Təhlükəsizlik stendində PLC siqnal emal blokları oxşar şəkildə yerləşdirildi, lakin #TEMP0 dəyişəninin dəyərini təyin etmək üçün DB1 blokuna my ninja yolunu yazmaq kifayət idi. Blokda dəyərin yoxlanılması sadə idi və blok proqramlaşdırma dilinin dərin biliklərini tələb etmirdi. Aydındır ki, Yüksək Təhlükəsizlik səviyyəsində əl ilə idarəetməyə nail olmaq daha çətin olacaq və STL dilinin incəliklərini başa düşmək lazımdır (S7 PLC-ni proqramlaşdırma yollarından biri).
Əks blok FC3
STL təqdimatında FC3 blokunun məzmunu:
L B#16#0
T #TEMP13
T #TEMP15
L P#DBX 0.0
T #TEMP4
CLR
= #TEMP14
M015: L #TEMP4
LAR1
OPN DB 100
L DBLG
TAR1
<=D
JC M016
L DW#16#0
T #TEMP0
L #TEMP6
L W#16#0
<>I
JC M00d
L P#DBX 0.0
LAR1
M00d: L B [AR1,P#0.0]
T #TEMP5
L W#16#1
==I
JC M007
L #TEMP5
L W#16#2
==I
JC M008
L #TEMP5
L W#16#3
==I
JC M00f
L #TEMP5
L W#16#4
==I
JC M00e
L #TEMP5
L W#16#5
==I
JC M011
L #TEMP5
L W#16#6
==I
JC M012
JU M010
M007: +AR1 P#1.0
L P#DBX 0.0
LAR2
L B [AR1,P#0.0]
L C#8
*I
+AR2
+AR1 P#1.0
L B [AR1,P#0.0]
JL M003
JU M001
JU M002
JU M004
M003: JU M005
M001: OPN DB 101
L B [AR2,P#0.0]
T #TEMP0
JU M006
M002: OPN DB 101
L B [AR2,P#0.0]
T #TEMP1
JU M006
M004: OPN DB 101
L B [AR2,P#0.0]
T #TEMP2
JU M006
M00f: +AR1 P#1.0
L B [AR1,P#0.0]
L C#8
*I
T #TEMP11
+AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP7
L P#M 100.0
LAR2
L #TEMP7
L C#8
*I
+AR2
TAR2 #TEMP9
TAR1 #TEMP4
OPN DB 101
L P#DBX 0.0
LAR1
L #TEMP11
+AR1
LAR2 #TEMP9
L B [AR2,P#0.0]
T B [AR1,P#0.0]
L #TEMP4
LAR1
JU M006
M008: +AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP3
+AR1 P#1.0
L B [AR1,P#0.0]
JL M009
JU M00b
JU M00a
JU M00c
M009: JU M005
M00b: L #TEMP3
T #TEMP0
JU M006
M00a: L #TEMP3
T #TEMP1
JU M006
M00c: L #TEMP3
T #TEMP2
JU M006
M00e: +AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP7
L P#M 100.0
LAR2
L #TEMP7
L C#8
*I
+AR2
TAR2 #TEMP9
+AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP8
L P#M 100.0
LAR2
L #TEMP8
L C#8
*I
+AR2
TAR2 #TEMP10
TAR1 #TEMP4
LAR1 #TEMP9
LAR2 #TEMP10
L B [AR1,P#0.0]
L B [AR2,P#0.0]
AW
INVI
T #TEMP12
L B [AR1,P#0.0]
L B [AR2,P#0.0]
OW
L #TEMP12
AW
T B [AR1,P#0.0]
L DW#16#0
T #TEMP0
L MB 101
T #TEMP1
L MB 102
T #TEMP2
L #TEMP4
LAR1
JU M006
M011: +AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP7
L P#M 100.0
LAR2
L #TEMP7
L C#8
*I
+AR2
TAR2 #TEMP9
+AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP8
L P#M 100.0
LAR2
L #TEMP8
L C#8
*I
+AR2
TAR2 #TEMP10
TAR1 #TEMP4
LAR1 #TEMP9
LAR2 #TEMP10
L B [AR1,P#0.0]
L B [AR2,P#0.0]
-I
T B [AR1,P#0.0]
L DW#16#0
T #TEMP0
L MB 101
T #TEMP1
L MB 102
T #TEMP2
L #TEMP4
LAR1
JU M006
M012: L #TEMP15
INC 1
T #TEMP15
+AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP7
L P#M 100.0
LAR2
L #TEMP7
L C#8
*I
+AR2
TAR2 #TEMP9
+AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP8
L P#M 100.0
LAR2
L #TEMP8
L C#8
*I
+AR2
TAR2 #TEMP10
TAR1 #TEMP4
LAR1 #TEMP9
LAR2 #TEMP10
L B [AR1,P#0.0]
L B [AR2,P#0.0]
==I
JCN M013
JU M014
M013: L P#DBX 0.0
LAR1
T #TEMP4
L B#16#0
T #TEMP6
JU M006
M014: L #TEMP4
LAR1
L #TEMP13
L L#1
+I
T #TEMP13
JU M006
M006: L #TEMP0
T MB 100
L #TEMP1
T MB 101
L #TEMP2
T MB 102
+AR1 P#1.0
L #TEMP6
+ 1
T #TEMP6
JU M005
M010: L P#DBX 0.0
LAR1
L 0
T #TEMP6
TAR1 #TEMP4
M005: TAR1 #TEMP4
CLR
= #TEMP16
L #TEMP13
L L#20
==I
S #TEMP16
L #TEMP15
==I
A #TEMP16
JC M017
L #TEMP13
L L#20
<I
S #TEMP16
L #TEMP15
==I
A #TEMP16
JC M018
JU M019
M017: SET
= #TEMP14
JU M016
M018: CLR
= #TEMP14
JU M016
M019: CLR
O #TEMP14
= #RET_VAL
JU M015
M016: CLR
O #TEMP14
= #RET_VALKod kifayət qədər uzundur və STL ilə tanış olmayan kimsə üçün mürəkkəb görünə bilər. Bu məqalə çərçivəsində hər bir təlimatı təhlil etməyin mənası yoxdur, STL dilinin ətraflı təlimatları və imkanları müvafiq təlimatda tapıla bilər: . Burada emaldan sonra eyni kodu təqdim edəcəyəm - etiketlərin və dəyişənlərin adının dəyişdirilməsi və əməliyyat alqoritmini və bəzi STL dil konstruksiyalarını təsvir edən şərhlər əlavə etmək. Dərhal qeyd edim ki, sözügedən blokda məzmunu bizə məlum olan DB100 blokunda yerləşən bəzi bayt kodunu icra edən virtual maşın var. Virtual maşın təlimatları 1 bayt əməliyyat kodundan və hər bir arqument üçün bir bayt olan arqument baytından ibarətdir. Bütün nəzərdən keçirilən təlimatların iki arqumenti var; şərhlərdə onların dəyərlərini X və Y kimi təyin etdim.
Emaldan sonra kod]
# Инициализация различных переменных
L B#16#0
T #CHECK_N # Счетчик успешно пройденных проверок
T #COUNTER_N # Счетчик общего количества проверок
L P#DBX 0.0
T #POINTER # Указатель на текущую инструкцию
CLR
= #PRE_RET_VAL
# Основной цикл работы интерпретатора байт-кода
LOOP: L #POINTER
LAR1
OPN DB 100
L DBLG
TAR1
<=D # Проверка выхода указателя за пределы программы
JC FINISH
L DW#16#0
T #REG0
L #TEMP6
L W#16#0
<>I
JC M00d
L P#DBX 0.0
LAR1
# Конструкция switch - case для обработки различных опкодов
M00d: L B [AR1,P#0.0]
T #OPCODE
L W#16#1
==I
JC OPCODE_1
L #OPCODE
L W#16#2
==I
JC OPCODE_2
L #OPCODE
L W#16#3
==I
JC OPCODE_3
L #OPCODE
L W#16#4
==I
JC OPCODE_4
L #OPCODE
L W#16#5
==I
JC OPCODE_5
L #OPCODE
L W#16#6
==I
JC OPCODE_6
JU OPCODE_OTHER
# Обработчик опкода 01: загрузка значения из DB101[X] в регистр Y
# OP01(X, Y): REG[Y] = DB101[X]
OPCODE_1: +AR1 P#1.0
L P#DBX 0.0
LAR2
L B [AR1,P#0.0] # Загрузка аргумента X (индекс в DB101)
L C#8
*I
+AR2
+AR1 P#1.0
L B [AR1,P#0.0] # Загрузка аргумента Y (индекс регистра)
JL M003 # Аналог switch - case на основе значения Y
JU M001 # для выбора необходимого регистра для записи.
JU M002 # Подобные конструкции используются и в других
JU M004 # операциях ниже для аналогичных целей
M003: JU LOOPEND
M001: OPN DB 101
L B [AR2,P#0.0]
T #REG0 # Запись значения DB101[X] в REG[0]
JU PRE_LOOPEND
M002: OPN DB 101
L B [AR2,P#0.0]
T #REG1 # Запись значения DB101[X] в REG[1]
JU PRE_LOOPEND
M004: OPN DB 101
L B [AR2,P#0.0]
T #REG2 # Запись значения DB101[X] в REG[2]
JU PRE_LOOPEND
# Обработчик опкода 02: загрузка значения X в регистр Y
# OP02(X, Y): REG[Y] = X
OPCODE_2: +AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP3
+AR1 P#1.0
L B [AR1,P#0.0]
JL M009
JU M00b
JU M00a
JU M00c
M009: JU LOOPEND
M00b: L #TEMP3
T #REG0
JU PRE_LOOPEND
M00a: L #TEMP3
T #REG1
JU PRE_LOOPEND
M00c: L #TEMP3
T #REG2
JU PRE_LOOPEND
# Опкод 03 не используется в программе, поэтому пропустим его
...
# Обработчик опкода 04: сравнение регистров X и Y
# OP04(X, Y): REG[0] = 0; REG[X] = (REG[X] == REG[Y])
OPCODE_4: +AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP7 # первый аргумент - X
L P#M 100.0
LAR2
L #TEMP7
L C#8
*I
+AR2
TAR2 #TEMP9 # REG[X]
+AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP8
L P#M 100.0
LAR2
L #TEMP8
L C#8
*I
+AR2
TAR2 #TEMP10 # REG[Y]
TAR1 #POINTER
LAR1 #TEMP9 # REG[X]
LAR2 #TEMP10 # REG[Y]
L B [AR1,P#0.0]
L B [AR2,P#0.0]
AW
INVI
T #TEMP12 # ~(REG[Y] & REG[X])
L B [AR1,P#0.0]
L B [AR2,P#0.0]
OW
L #TEMP12
AW # (~(REG[Y] & REG[X])) & (REG[Y] | REG[X]) - аналог проверки на равенство
T B [AR1,P#0.0]
L DW#16#0
T #REG0
L MB 101
T #REG1
L MB 102
T #REG2
L #POINTER
LAR1
JU PRE_LOOPEND
# Обработчик опкода 05: вычитание регистра Y из X
# OP05(X, Y): REG[0] = 0; REG[X] = REG[X] - REG[Y]
OPCODE_5: +AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP7
L P#M 100.0
LAR2
L #TEMP7
L C#8
*I
+AR2
TAR2 #TEMP9 # REG[X]
+AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP8
L P#M 100.0
LAR2
L #TEMP8
L C#8
*I
+AR2
TAR2 #TEMP10 # REG[Y]
TAR1 #POINTER
LAR1 #TEMP9
LAR2 #TEMP10
L B [AR1,P#0.0]
L B [AR2,P#0.0]
-I # ACCU1 = ACCU2 - ACCU1, REG[X] - REG[Y]
T B [AR1,P#0.0]
L DW#16#0
T #REG0
L MB 101
T #REG1
L MB 102
T #REG2
L #POINTER
LAR1
JU PRE_LOOPEND
# Обработчик опкода 06: инкремент #CHECK_N при равенстве регистров X и Y
# OP06(X, Y): #CHECK_N += (1 if REG[X] == REG[Y] else 0)
OPCODE_6: L #COUNTER_N
INC 1
T #COUNTER_N
+AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP7 # REG[X]
L P#M 100.0
LAR2
L #TEMP7
L C#8
*I
+AR2
TAR2 #TEMP9 # REG[X]
+AR1 P#1.0
L B [AR1,P#0.0]
T #TEMP8
L P#M 100.0
LAR2
L #TEMP8
L C#8
*I
+AR2
TAR2 #TEMP10 # REG[Y]
TAR1 #POINTER
LAR1 #TEMP9 # REG[Y]
LAR2 #TEMP10 # REG[X]
L B [AR1,P#0.0]
L B [AR2,P#0.0]
==I
JCN M013
JU M014
M013: L P#DBX 0.0
LAR1
T #POINTER
L B#16#0
T #TEMP6
JU PRE_LOOPEND
M014: L #POINTER
LAR1
# Инкремент значения #CHECK_N
L #CHECK_N
L L#1
+I
T #CHECK_N
JU PRE_LOOPEND
PRE_LOOPEND: L #REG0
T MB 100
L #REG1
T MB 101
L #REG2
T MB 102
+AR1 P#1.0
L #TEMP6
+ 1
T #TEMP6
JU LOOPEND
OPCODE_OTHER: L P#DBX 0.0
LAR1
L 0
T #TEMP6
TAR1 #POINTER
LOOPEND: TAR1 #POINTER
CLR
= #TEMP16
L #CHECK_N
L L#20
==I
S #TEMP16
L #COUNTER_N
==I
A #TEMP16
# Все проверки пройдены, если #CHECK_N == #COUNTER_N == 20
JC GOOD
L #CHECK_N
L L#20
<I
S #TEMP16
L #COUNTER_N
==I
A #TEMP16
JC FAIL
JU M019
GOOD: SET
= #PRE_RET_VAL
JU FINISH
FAIL: CLR
= #PRE_RET_VAL
JU FINISH
M019: CLR
O #PRE_RET_VAL
= #RET_VAL
JU LOOP
FINISH: CLR
O #PRE_RET_VAL
= #RET_VALVirtual maşın təlimatları haqqında bir fikir əldə etdikdən sonra DB100 blokunda bayt kodunu təhlil etmək üçün kiçik bir sökücü yazaq:
import string
alph = string.ascii_letters + string.digits
with open('DB100.bin', 'rb') as f:
m = f.read()
pc = 0
while pc < len(m):
op = m[pc]
if op == 1:
print('R{} = DB101[{}]'.format(m[pc + 2], m[pc + 1]))
pc += 3
elif op == 2:
c = chr(m[pc + 1])
c = c if c in alph else '?'
print('R{} = {:02x} ({})'.format(m[pc + 2], m[pc + 1], c))
pc += 3
elif op == 4:
print('R0 = 0; R{} = (R{} == R{})'.format(
m[pc + 1], m[pc + 1], m[pc + 2]))
pc += 3
elif op == 5:
print('R0 = 0; R{} = R{} - R{}'.format(
m[pc + 1], m[pc + 1], m[pc + 2]))
pc += 3
elif op == 6:
print('CHECK (R{} == R{})n'.format(
m[pc + 1], m[pc + 2]))
pc += 3
else:
print('unk opcode {}'.format(op))
breakNəticədə aşağıdakı virtual maşın kodunu alırıq:
Virtual maşın kodu
R1 = DB101[0]
R2 = 6e (n)
R0 = 0; R1 = (R1 == R2)
CHECK (R1 == R0)
R1 = DB101[1]
R2 = 10 (?)
R0 = 0; R1 = R1 - R2
R2 = 20 (?)
R0 = 0; R1 = R1 - R2
CHECK (R1 == R0)
R1 = DB101[2]
R2 = 77 (w)
R0 = 0; R1 = (R1 == R2)
CHECK (R1 == R0)
R1 = DB101[3]
R2 = 0a (?)
R0 = 0; R1 = R1 - R2
R2 = 16 (?)
R0 = 0; R1 = R1 - R2
CHECK (R1 == R0)
R1 = DB101[4]
R2 = 75 (u)
R0 = 0; R1 = (R1 == R2)
CHECK (R1 == R0)
R1 = DB101[5]
R2 = 0a (?)
R0 = 0; R1 = R1 - R2
R2 = 16 (?)
R0 = 0; R1 = R1 - R2
CHECK (R1 == R0)
R1 = DB101[6]
R2 = 34 (4)
R0 = 0; R1 = (R1 == R2)
CHECK (R1 == R0)
R1 = DB101[7]
R2 = 26 (?)
R0 = 0; R1 = R1 - R2
R2 = 4c (L)
R0 = 0; R1 = R1 - R2
CHECK (R1 == R0)
R1 = DB101[8]
R2 = 33 (3)
R0 = 0; R1 = (R1 == R2)
CHECK (R1 == R0)
R1 = DB101[9]
R2 = 0a (?)
R0 = 0; R1 = R1 - R2
R2 = 16 (?)
R0 = 0; R1 = R1 - R2
CHECK (R1 == R0)
R1 = DB101[10]
R2 = 37 (7)
R0 = 0; R1 = (R1 == R2)
CHECK (R1 == R0)
R1 = DB101[11]
R2 = 22 (?)
R0 = 0; R1 = R1 - R2
R2 = 46 (F)
R0 = 0; R1 = R1 - R2
CHECK (R1 == R0)
R1 = DB101[12]
R2 = 33 (3)
R0 = 0; R1 = (R1 == R2)
CHECK (R1 == R0)
R1 = DB101[13]
R2 = 0a (?)
R0 = 0; R1 = R1 - R2
R2 = 16 (?)
R0 = 0; R1 = R1 - R2
CHECK (R1 == R0)
R1 = DB101[14]
R2 = 6d (m)
R0 = 0; R1 = (R1 == R2)
CHECK (R1 == R0)
R1 = DB101[15]
R2 = 11 (?)
R0 = 0; R1 = R1 - R2
R2 = 23 (?)
R0 = 0; R1 = R1 - R2
CHECK (R1 == R0)
R1 = DB101[16]
R2 = 35 (5)
R0 = 0; R1 = (R1 == R2)
CHECK (R1 == R0)
R1 = DB101[17]
R2 = 12 (?)
R0 = 0; R1 = R1 - R2
R2 = 25 (?)
R0 = 0; R1 = R1 - R2
CHECK (R1 == R0)
R1 = DB101[18]
R2 = 33 (3)
R0 = 0; R1 = (R1 == R2)
CHECK (R1 == R0)
R1 = DB101[19]
R2 = 26 (?)
R0 = 0; R1 = R1 - R2
R2 = 4c (L)
R0 = 0; R1 = R1 - R2
CHECK (R1 == R0)Gördüyünüz kimi, bu proqram sadəcə olaraq DB101-dən hər bir simvolun müəyyən bir dəyərə bərabərliyini yoxlayır. Bütün yoxlamalardan keçmək üçün son xətt: n0w u 4r3 7h3 m4573r. Əgər bu xətt DB101 blokunda yerləşdirilirsə, onda əl ilə PLC idarəetməsi işə salınır və balonu partlatmaq və ya söndürmək mümkün olacaq.
Hamısı budur! Aleksey sənaye ninjasına layiq yüksək səviyyədə bilik nümayiş etdirdi :) Qalibə yaddaqalan hədiyyələr göndərdik. Bütün iştirakçılara çox təşəkkür edirik!
Mənbə: www.habr.com