Dynamic analysis

See what supported firmware does when it runs.

Add bounded execution evidence to the static assessment. FDIE can emulate supported Linux binaries (MIPS, ARM, AArch64 and x86-64) and fuzz them, then retain the observations, failures and coverage that explain the run.

The boundary around a runtime investigation

01 / Input

Recovered target

Binary, dependencies and an appropriate execution method.

02 / Bounded sandbox

  • Execute

    Attempt supported emulation or boot with resource and network restrictions.

  • Exercise

    Use supported inputs or fuzzing targets and retain the run outcome.

03 / Evidence

Observed behaviour

Events, candidate failures, reproduction material and explicit coverage.

Conceptual execution workflow. Device compatibility and the paths actually exercised determine the evidence available.

Observe

Processes, loaded libraries and listening sockets

Investigate

Candidate crashes and available reproducing inputs

Qualify

Executed, failed, timed-out and unsupported work

Choose the method for the image

Binary execution and a device boot answer different questions.

A supported CPU architecture is one prerequisite. The recovered filesystem, ABI, libraries, kernel and hardware interfaces also affect whether execution can proceed. FDIE keeps the chosen method and its result with the assessment.

Per-binary emulation

Attempt selected supported binaries in a bounded environment and inspect available process, library and behaviour observations. This can yield useful evidence without reconstructing an entire device.

Missing dependencies, unsupported instructions and hardware access can stop a target before the relevant path executes.

Linux system boot where available

Where the deployment provides a compatible kernel, attempt startup of supported Linux firmware and inspect the activity reached. This adds system-level context to an individual executable's evidence.

Custom kernels, drivers and peripheral assumptions can prevent boot. A successful startup still leaves many application paths untested.

Coverage-guided fuzzing

Supply generated inputs to supported targets and retain candidate failures for investigation. A useful record identifies the target, input and available execution trace.

A crash needs reproduction and root-cause review before its security impact is known.

MCU and RTOS evidence

Recover supported build, container and static binary metadata even when there is no Linux filesystem or compatible boot path.

This is static evidence. It is not presented as a successful emulation of the physical device.

Interpret the recorded behaviour

Use an observation to choose the next test.

Runtime output is most useful when the reviewer can distinguish a directly observed event from a broader inference. Connect the observation to the target, execution mode and run context, then investigate whether it matters on the product as deployed.

What a runtime observation supports
Observed eventUseful evidenceAdditional investigation
A process executedThe binary ran within the tested environmentWhich inputs and relevant paths were exercised?
A library loadedThe component participated in the runWas the affected function reachable and invoked?
A service listenedA socket was opened in the sandboxHow is the service exposed and authenticated on the device?
An interpreter launchedThe target started a shell or another interpreterWas the command influenced by an untrusted input?
A target crashedThe recorded input or environment caused a failureCan it be reproduced, explained and assigned a security impact?
Nothing was observedNo event was seen in this bounded attemptDid the target execute far enough to assess the relevant behaviour?

From a crash to a confirmed issue

Preserve the input and investigate the cause.

Fuzzing can produce a lead that static analysis does not reveal. Keep the target and available reproduction material together so an engineer can determine whether the failure comes from the firmware, a missing dependency or the execution environment.

When the issue is understood, test the proposed remediation against the reproducer and the product’s normal behaviour. A disappearing crash is useful evidence, but the change still needs an engineering review.

  1. Reproduce

    Repeat the failure with the same target and controlled input. Record where reproduction differs from the original sandbox run.

  2. Explain

    Inspect the trace and affected operation. Distinguish environment failures from a fault with a meaningful security impact.

  3. Verify

    Review the fix, rerun the reproducer and run the relevant regression tests. Retain the outcome with the release evidence.

An operating requirement

Keep analysis separate from unrelated production workloads.

Untrusted firmware needs a controlled execution environment. Resource limits, restricted permissions, scratch-space controls and blocked sandbox network egress form the execution boundary. The deployment operator must validate and maintain that boundary.

For an on-premises installation, include host and emulator patching, storage limits, approved endpoint-protection exceptions and recovery procedures in the handover. Scope exceptions to the analysis paths that need them.

Runtime review guide
Does FDIE emulate every supported architecture?

No. Static recognition, binary analysis and runtime execution have separate support requirements. Qualify the exact image and execution mode during evaluation.

Does a runtime result prove a CVE is exploitable?

Not automatically. A component or process observation needs vulnerability-specific and device-specific context.

What if the target cannot run?

Keep the failed or unassessed state in the record, use the available static evidence and plan any necessary manual or physical-device testing.

FDIE · next step

Evaluate runtime coverage on a representative image.

Choose authorised firmware with known behaviour. Review which targets execute, what the observations establish and which questions still need device-level testing.

Paid at checkout. 14-day money-back guarantee on the first payment if three or fewer new images have been analysed.