embedded-runtime-validation-safety
Design bounded, evidence-preserving runtime validation for embedded firmware with read-only defaults, explicit budgets, and no automatic retries. Use after static analysis when live behavior must be c
Files2
View on GitHubSKILL.mdfirmware-reverse-eng-skill/embedded-runtime-validation-safety/SKILL.md
GitHubEmbedded Runtime Validation Safety
Use this skill to turn a static hypothesis into the smallest controlled runtime observation while protecting embedded devices from lockout, reboot, configuration loss, or request floods.
Guardrails
- Define the exact target, interface, operation, expected evidence, and stop conditions.
- Default to dry-run and offline self-validation. Preserve originals and write timestamped evidence.
- Use one request stream, conservative timeouts, explicit pacing, and no automatic retries after send or timeout.
- Prefer read-only probes. Require exact target checks and typed confirmation immediately before any destructive action.
- Capture only the target/protocol scope. Record request count, timing, response, reachability, and state transitions.
- Stop on lockout/rate-limit signals, unexpected state changes, ambiguous authorization, or any privileged result without expected proof.
Classifications
Use precise outcomes such as DRY_RUN_NOT_SENT, RESPONSE_RECEIVED,
NO_RESPONSE, REJECTED, PROBABLE_STATE_CHANGE, and UNKNOWN. Distinguish
packet transmission from handler acceptance and acceptance from observed
state change. A missing response is never success by itself.
Evidence handoff
Store metadata, raw request/response, capture hash, timeline, pre/post state, and a concise result report. Record capture failures explicitly. Do not add stealth, source rotation, lockout bypass, fuzzing, or target discovery.