Sokhatsky Commander, Terminal Vision, Binary Editor, Skynet
SC: Sokhatsky Commander
Є цілий клас файлових менеджеріву, серед яких Norton Commander, Volkov Commander (Всеволода Волкова), Demos Commander (Серія Вакуленко), Dos Navigator, Total Commander, FAR Manager. Такі програми розширюють класичні шели з історією команд додатковими можливостями: більш швидка навігація по файловій системі через курсори, розширений статус копіювання файлів, вбудовані радактори файлів. Фактично це воно (!), але:
— Без залежностей, потрібно тільки C99/POSIX які є стандартом;
— Без використання ncurses та S-Lang, тільки termios;
— Модальність редагування HEX і дизасемблер BE: Binary Editor;
— Модальність текстового редагування TV: Terminal Vision;
— Маленький розмір (бінарі 35KB, рядків 1KLOC, 5 С файлів на 64KB);
— Історія команд і їх виводів;
— Коректна передача управління терімінальним програмам і його повернення;
— Робота під Windows, Linux, Mac.
BE: Binary Editor
Є цілий клас бінарних редакторів, серед яких 010 Editor, beye, hiew, Binary Ninja, WinHex, що мають окрім HEX режиму — режим дизасемблера. Такі програми зручно використовати для дослідження ROM файлів, прошивок дронів, телефонів, BIOS, у якості систем накладання патчів, створення map-файлу бінарного образу за допомогою текстових анотацій, а також для візуального аналізу об`єктного коду. Фактично це objdump, але з можливістю зберігання та візуального редагування. У цій статті презентується концепт сучасного нового представника цієї когорти редакторів — BE (Binary Editor) InfoSec Hex Editor with Disassemblers, який має наступні характеристики:
— Без залежностей, потрібно тільки C99/POSIX які є стандартом;
— Без використання ncurses та S-Lang, тільки termios;
— Модальність редагування HEX з варіативною довжиною рядка;
— Модальність редагування ASM об`єктного коду з відображенням дизасемблера;
— 16, 32, 64, 128 бітні режими процесора;
— Маркування редагованих байтів перед збереженням, анотація регіонів;
— Пошук байтової послідовності, побітове редагування;
— Редагування секторів дисків (LBA);
— Створення та накладення патчів з анотованих регіонів;
— Повна підтримка x86 архітектури та її розширень у дизасемблері;
— vi-подібна система команд та режимів;
— Компактне ядро з підтримкою Maс та Linux;
— Підтримка контейнерів обʼєктного коду ELF, Mach-O, PE/COFF;
— Перша лінія дизасемблерів: EM64T, RISC-V, AArch64;
— Друга лінія дизасемблерів: M68K, PowerPC, MIPS, SuperH;
— Третя лінія дизасемблерів: PDP-11, 8080/8085/Z80/MSX, 6502/C64/Atari, HC08/HC11;
— Четверта лінія дизасемблерів: CLR, JVM, BEAM, EFI Byte Code.
TV: Text Vision
Простий текстовий редактор з IBM CUA Mode, який зазвичай постачається з командерами.
— Без залежностей, потрібно тільки C99/POSIX які є стандартом;
— Без використання ncurses та S-Lang, тільки termios;
— Режим перегляду і режим редагування;
— Простіше ніж в nano меню для збереження після редагування;
SH: Verified Shell
Верифікований POSIX шел.
— Робота під Windows, Linux, Mac, BSD;
— Без залежностей, потрібно тільки C99/POSIX які є стандартом;
— Формальна BNF нотація в LR(1);
— Вбудовані і зовнішні команди;
— Мова програмування;
— Відповідність IEEE 1003.2 POSIX Shell and Utilities;
— Формальна модель на OCaml (верифікація системою F);
— Формальна модель на Coq (верифікація CIC/MLTT);
— Генерація C з Coq/OCaml;
— Перший верифікований POSIX shell в світі.
RT: Skynet Run-Time
Операційна система реального часу.
— ANSI C99 POSIX RTOS for Synrc SKYNET application;
— Supports a limited curated set of hardware platforms and plain make buildsystem;
— The size of zipped source distribution is limited to 2.88MB (~200K LOC).
˙
˙
Публікації
[1]. Домашня сторінка проекту
[2]. FPGA археологія
[2]. XT: 8086 Дизасемблер
[3]. ARM64: Armv9.2 Дизасемблер
[4]. Процесори Intel
[5]. Ретроконсолі
[6]. Ретрокомпіки
[7]. Компіки Сохацького