dogtopus

#include <stdio.h>
#include <stdbool.h>
#include <unistd.h>

#include <muteki/ui/event.h>
#include <muteki/ui/canvas.h>
#include <muteki/file.h>

#include <mutekix/console.h>

dogtopus

import itertools
import pathlib
import sys

FLIPPER_HEADER_CONST = '''
Filetype: Flipper NFC device
Version: 3
# Nfc device type can be UID, Mifare Ultralight, Mifare Classic
Device type: Mifare Classic
# UID, ATQA and SAK are common for all formats

dogtopus

Besta RTOS reversing notes

Some random notes about Besta RTOS. Will probably ended up on a wiki somewhere after Project Muteki become mostly usable.

Besta RTOS?

Besta RTOS (aka. BXC OS) is the bespoke operating system developed mostly by Besta (Xi'an) Co.,Ltd. (BXC) for generation 2 and 3* of the Besta hardware platform. It is fully preemptive, supports dynamically loading external executables and shared libraries, and includes a built-in, fully functional GUI subsystem that provides ready-to-use themed widgets. Besta mainly uses this OS on their own dictionary products, although there have been cases that a cut-down version of the OS being used on some Besta ODM devices like the HP Prime G1 calculator.

*: We define the platform generations as follows:

dogtopus

Moonoon Color Technical Specs

Hardware

Basic specs

CPU: AppoTech AX208 AXC51 (8051-compatible with 16-bit extended instruction set) microcontrolle @ ~~100MHz~~ 96MHz?

RAM: 15KB (12K IRAM + 1K Data RAM + 2K PRAM)

dogtopus

#!/usr/bin/python3
# This tool exploits a weakness in RGSSAD file format in order to recover
# non-standard magic key (other than the default 0xdeadcafe key) used in some
# RGSSAD archives.
#
# RGSSAD uses a LCG (Linear Congruential Generator) (Xn+1 = aXn+c mod m) to
# generate xor pads in order to encrypt files and their metadata. However,
# the LCG implementation returns the seed (X0) instead of the result of a single
# iteration of the algorithm (X1) on its first iteration. The seed is then being
# used as the xor pad for the file name length (a 32-bit value) of the first

dogtopus

import hashlib

def secret(start: int, size: int) -> bytes:
    result = bytearray()
    add = start + size
    for i in range(size):
        result.append(start & 0xff)
        next = start + add
        add = start
        start = next

dogtopus

#!/usr/bin/env python3

from __future__ import annotations

'''
Convert sigrok JSON trace containing UART HCI traffic to HCI PCAP file.

The JSON trace files are typically acquired with:

sigrok-cli -i some-sigrok-session.sr -P uart:baudrate=<hci-baud> -A uart=tx-data:rx-data --protocol-decoder-jsontrace > some-json-trace-file.json

dogtopus

Jedi/Banana Info

Identification

FCCID

• AK8CUHZCT1: JDM-001, JDM-020(?, uses similar BT module)
• AK8CUHZCT1F1: JDM-011(D2?)
• AK8CUHZCT1A: JDM-030
• AK8CUHZCT2: JDM-040

dogtopus

#!/usr/bin/env python3

from Cryptodome.PublicKey import RSA
from Cryptodome.Signature import pss
from Cryptodome.Hash import SHA256
from Cryptodome.Math.Numbers import Integer

import io
import shutil
import sys

dogtopus

#!/usr/bin/env python3

import hid

import contextlib
import ctypes
import enum
import hashlib
import os
import sys