Command Palette

Search for a command to run...

UnylyUnyly
Весь каталог

Rtosmap

БесплатноНе проверен

Statically map task structures, stack usage, and ISR call graphs in FreeRTOS/Zephyr firmware to flag stack overflows and priority-inversion risks.

GitHubEmbed

Описание

Statically map task structures, stack usage, and ISR call graphs in FreeRTOS/Zephyr firmware to flag stack overflows and priority-inversion risks.

README

RTOSMAP

RTOSMAP

Statically map task structures, stack usage, and ISR call graphs in FreeRTOS/Zephyr firmware to flag stack overflows and priority-inversion risks.

PyPI CI License: COCL 1.0 Suite

IoT / OT / Embedded — firmware, buses, and device security.

pip install cognis-rtosmap
rtosmap scan .            # → prioritized findings in seconds

🔎 Example output

Real, reproducible output from the tool — runs offline:

$ rtosmap-emit --version
rtosmap 1.6.1
$ rtosmap-emit --help
usage: rtosmap [-h] [--version] {check} ...

Map RTOS task stacks and flag stack-overflow risks from a stack map file.

positional arguments:
  {check}
    check     analyze a stack map file and report risky tasks

options:
  -h, --help  show this help message and exit
  --version   show program's version number and exit

map format per line: <name> <stack_size> <peak_used> [priority]
sizes accept K/KB suffix (e.g. 4K). '#' starts a comment.

example: rtosmap check tasks.map --format json --warn 70 --fail 85

Blocks above are real rtosmap output — reproduce them from a clone.

Sample result format (illustrative values — run on your own data for real findings):

{
"feed_name": "My Awesome Feed",
"spec_version": "2.0",
"id": "rtosmap-emit-2023-02-15T14:30:00Z",
"type": "indicator",
"created_by_ref": "my_cognito_id",
"modified_by_ref": "my_cognito_id",
"created": "2023-02-15T14:30:00Z",
"modified": "2023-02-15T14:30:00Z",
"name": "My Awesome Indicator",
"description": "This is a test indicator.",
"labels": ["test", "rtosmap"],
"observed_data": {
"network_traffic": [
{
"protocol": "tcp",
"src_port": 1234,
"dst_port": 5678,
"src_ip": "192.168.1.100",
"dst_ip": "8.8.8.8"
}
]
},
"indicators": [
{
"type": "domain_name",
"value": "example.com"
},
{
"type": "ip_address",
"value": "192.168.1.100"
}
]
}

Usage — step by step

  1. Install (Python 3.9+):

    pip install rtosmap            # or: pipx install rtosmap
    
  2. Check a stack map. Point check at your RTOS stack map file (or - for stdin) to report risky tasks:

    rtosmap check stackmap.txt
    
  3. Tune the thresholds. Adjust the used-percentage at which a task is flagged WARNING (--warn, default 80) or CRITICAL (--fail, default 90):

    rtosmap check stackmap.txt --warn 70 --fail 85 --format json > stack.json
    

    Three output formats are available via --format: table (default, human-readable), json (stable contract for scripts/agents), and sarif (SARIF 2.1.0 for GitHub code-scanning — see below).

  4. Read the result. The report ranks each task by stack used%, marking WARNING/CRITICAL tiers. In JSON mode, parse the per-task findings; the process exits non-zero on CRITICAL findings.

  5. Gate in CI. Use --strict to also fail on WARNING-level findings:

    rtosmap check stackmap.txt --strict
    

Contents

Why rtosmap?

Embedded devs love free static analysis they can drop in PRs — 'this task overflows its stack under load' caught pre-merge. Niche but rabidly loyal embedded GitHub crowd.

rtosmap is single-purpose, scriptable, and self-hostable: point it at a target, get prioritized results in the format your workflow already speaks (table · JSON · SARIF), gate CI on it, and let agents drive it over MCP.

Features

  • ✅ Parse Map — FreeRTOS / Zephyr / ThreadX stack maps, K/KB/KiB units
  • ✅ Analyze — overflow, critical/low headroom, invalid size, unverified
  • ✅ Analyze Text — parse + analyze a stack-map string in one call
  • ✅ Three outputs — table · json · SARIF 2.1.0 (--format sarif)
  • ✅ Tunable gate — --warn / --fail thresholds + --strict for CI
  • ✅ Runs on Linux/macOS/Windows · Docker · devcontainer
  • ✅ Ports in Python, JavaScript, Go, and Rust (ports/)

Quick start

pip install cognis-rtosmap
rtosmap --version
rtosmap scan .                       # scan current project
rtosmap scan . --format json         # machine-readable
rtosmap scan . --fail-on high        # CI gate (non-zero exit)

Example

$ rtosmap scan .
  [HIGH    ] RTO-001  example finding             (./src/app.py)
  [MEDIUM  ] RTO-002  another signal              (./config.yaml)

  2 findings · risk score 5 · 38ms

Demos — real-world scenarios

Each folder under demos/ has a stack map in rtosmap's real input format plus a SCENARIO.md explaining where the data came from, what to expect, the exact command, and how to act. Every demo is exercised by the test suite, so they always run.

Demo RTOS / target Shows
01-basic FreeRTOS overflow + low headroom + unverified, default thresholds
02-zephyr-thread-analyzer Zephyr (nRF5340 BLE) converting CONFIG_THREAD_ANALYZER output; BLE-controller stacks at risk
03-esp32-wifi-ble-coex ESP-IDF (ESP32-S3) tuned --warn 75 --fail 90 for a hot coexistence build
04-clean-baseline-ci STM32 FreeRTOS a known-good map that passes --strict (exit 0) as a CI guard
05-safety-critical-tight IEC 62304 Class C 50%-headroom policy surfacing overflow, invalid size, and unverified tasks
06-stdin-pipeline Azure RTOS / ThreadX pipe a live on-target capture in over stdin (check -)
07-sarif-code-scanning FreeRTOS (smart meter) --format sarif → GitHub code-scanning annotations
08-json-triage-jq FreeRTOS (industrial gateway) mixed K/KB/KiB units + JSON/jq agent triage
python -m rtosmap check demos/02-zephyr-thread-analyzer/threads.map

SARIF for GitHub code-scanning

rtosmap check --format sarif emits a SARIF 2.1.0 log. Each outcome maps to a stable rule id (RTOS-OVERFLOW, RTOS-HEADROOM-CRITICAL, RTOS-HEADROOM-LOW, RTOS-INVALID-SIZE, RTOS-UNVERIFIED) so code-scanning can track and suppress findings across runs.

# .github/workflows/firmware.yml
- name: rtosmap stack scan
  run: python -m rtosmap check fw/stack.map --format sarif > rtosmap.sarif
  continue-on-error: true
- uses: github/codeql-action/upload-sarif@v3
  with:
    sarif_file: rtosmap.sarif

Stack-overflow and low-headroom findings then show up as annotations on the PR's changed files. See demos/07-sarif-code-scanning.

Architecture

flowchart LR
  IN[input] --> P[rtosmap<br/>analyze + score]
  P --> OUT[report]

Use it from any AI stack

rtosmap is interoperable with every popular way of using AI:

  • MCP serverrtosmap mcp (Claude Desktop, Cursor, Cognis.Studio, uncensored-fleet)
  • OpenAI-compatible / JSON — pipe rtosmap scan . --format json into any agent or LLM
  • LangChain · CrewAI · AutoGen · LlamaIndex — wrap the CLI/JSON as a tool in one line
  • CI / scripts — exit codes + SARIF for non-AI pipelines

How it compares

Cognis rtosmap Ghidra scripting + percepio Tracealyzer
Self-hostable, no account varies
Single command, zero config ⚠️
JSON + SARIF for CI varies
MCP-native (AI agents)
Polyglot ports (JS/Go/Rust)
Open license ✅ COCL varies

Built in the spirit of Ghidra scripting + percepio Tracealyzer, re-framed the Cognis way. Missing a credit? Open a PR.

Integrations

Pipes into your stack: SARIF for code-scanning, JSON for anything, an MCP server (rtosmap mcp) for AI agents, and a webhook forwarder for SIEM/Slack/Jira. See docs/INTEGRATIONS.md.

Install — every way, every platform

pip install "git+https://github.com/cognis-digital/rtosmap.git"    # pip (works today)
pipx install "git+https://github.com/cognis-digital/rtosmap.git"   # isolated CLI
uv tool install "git+https://github.com/cognis-digital/rtosmap.git" # uv
pip install cognis-rtosmap                                          # PyPI (when published)
docker run --rm ghcr.io/cognis-digital/rtosmap:latest --help        # Docker
brew install cognis-digital/tap/rtosmap                             # Homebrew tap
curl -fsSL https://raw.githubusercontent.com/cognis-digital/rtosmap/main/install.sh | sh
Linux macOS Windows Docker Cloud
scripts/setup-linux.sh scripts/setup-macos.sh scripts/setup-windows.ps1 docker run ghcr.io/cognis-digital/rtosmap DEPLOY.md (AWS/Azure/GCP/k8s)

Related Cognis tools

  • fwxray — Diff two firmware images and surface exactly what changed: new binaries, flipped config flags, added certs, and shifted entropy regions.
  • canzap — Replay, fuzz, and assert on CAN bus traffic from a .pcap or SocketCAN interface with a tiny YAML DSL.
  • sbomb — Generate a CycloneDX SBOM directly from an unpacked firmware root filesystem and flag components with known CVEs and EOL kernels.
  • mqttspy — Passively map an MQTT broker: enumerate topics, detect unauthenticated writes, spot PII/secrets in payloads, and emit a risk report.
  • uefiscan — Audit UEFI firmware dumps for missing Secure Boot keys, unsigned modules, S3 boot-script vulns, and known SMM threats.
  • modpot — Spin up a high-interaction Modbus/DNP3 ICS honeypot that logs attacker register reads/writes as structured JSON.

Explore the suite → 🗂️ all 170+ tools · ⭐ awesome-cognis · 🔗 cognis-sources · 🤖 uncensored-fleet · 🧠 engram

Contributing

PRs, new rules, and demo scenarios are welcome under the collaboration-pull model — see CONTRIBUTING.md and SECURITY.md.

⭐ If rtosmap saved you time, star it — it genuinely helps others find it.

Interoperability

{} composes with the 300+ tool Cognis suite — JSON in/out and a shared OpenAI-compatible /v1 backbone. See INTEROP.md for the suite map, composition patterns, and reference stacks.

License

Source-available under the Cognis Open Collaboration License (COCL) v1.0 — free for personal, internal-evaluation, research, and educational use; commercial / production use requires a license ([email protected]). See LICENSE.


Cognis Digital · one of 170+ tools in the Cognis Neural Suite · Making Tomorrow Better Today

from github.com/cognis-digital/rtosmap

Установка Rtosmap

У этого сервера нет опубликованного пакета — он собирается из исходников. Открой репозиторий и следуй инструкции в README.

▸ github.com/cognis-digital/rtosmap

FAQ

Rtosmap MCP бесплатный?

Да, Rtosmap MCP бесплатный — установка в пару кликов через Unyly без оплаты.

Нужен ли API-ключ для Rtosmap?

Нет, Rtosmap работает без API-ключей и переменных окружения.

Rtosmap — hosted или self-hosted?

Self-hosted: сервер запускается локально на твоей машине командой из раздела установки.

Как установить Rtosmap в Claude Desktop, Claude Code или Cursor?

Открой Rtosmap на unyly.org, выбери вкладку своего клиента (Claude Desktop, Claude Code, Cursor) и нажми Install — конфиг сгенерируется автоматически, без правки JSON.

Похожие MCP

Notion

Read and write pages in your workspace

Notionавтор: Notion

Linear

Issues, cycles, triage — from Claude

Linearавтор: Linear
Pro

Google Drive

Search and read your Drive files

Googleавтор: Google

mindsdb/mindsdb

Connect and unify data across various platforms and databases with [MindsDB as a single MCP server](https://docs.mindsdb.com/mcp/overview).

mindsdbавтор: mindsdb

fulcradynamics/fulcra-context-mcp

MCP server for accessing personal health and biometric data including sleep stages, heart rate, HRV, glucose, workouts, calendar, and location via the Fulcra Li

fulcradynamicsавтор: fulcradynamics

aymericzip/intlayer

A MCP Server that enhance your IDE with AI-powered assistance for Intlayer i18n / CMS tool: smart CLI access, access to the docs.

aymericzipавтор: aymericzip

rinadelph/Agent-MCP

A framework for creating multi-agent systems using MCP for coordinated AI collaboration, featuring task management, shared context, and RAG capabilities.

rinadelphавтор: rinadelph

WhenLabs-org/when

Developer toolkit: auto-detect stack for AI context files, catch port conflicts, validate .env schemas, spot docs drift, audit dependency licenses, and time cod

WhenLabs-orgавтор: WhenLabs-org

Beltran12138/wecom-docs-mcp-server

WeCom (Enterprise WeChat) document operations via MCP: create, read, and edit Docs and Smartsheets (9 tools). Fills the doc-CRUD gap — existing WeCom MCP server

Beltran12138автор: Beltran12138

madbonez/caldav-mcp

Universal MCP server for CalDAV protocol integration. Works with any CalDAV-compatible calendar server including Yandex Calendar, Google Calendar (via CalDAV),

madbonezавтор: madbonez

Compare Rtosmap with

Не уверен что выбрать?

Найди свой стек за 60 секунд

Автор?

Embed-бейдж для README

Похожее

Все в категории productivity