Frida - dynamic instrumentation (alpha)

Hook a target at runtime to confirm LLM-flagged sinks actually execute, trace API calls, bypass SSL pinning, scan memory for secrets.

When to use

• /scan or /agentic flagged a sink and you want to confirm it fires at runtime before treating it as exploitable.
• A binary or mobile app is doing something opaque and a few minutes of API-trace would reveal the shape.
• A pinned mobile app is blocking your MITM proxy.
• A crash you can't rr-record (macOS) needs a function-call trace.

Install

pipx install frida-tools                       # host CLI + python bindings
raptor doctor                                  # confirms frida is detected

For remote / mobile targets, install the matching frida-server on the target side. See docs/frida.md. Note: most frida-server binaries bind to 127.0.0.1 by default - start with -l 0.0.0.0:27042 or SSH-forward port 27042.

Invocation

The slash command surfaces the libexec wrapper; run it as Bash. Lifecycle (output dir, run state) is handled by the wrapper.

libexec/raptor-frida --target <pid|name|bundle-id|binary>
                     (--template <name> | --script <path>)
                     [--host HOST[:PORT]] [--usb]
                     [--duration N] [--spawn] [--unsafe-attach]

Equivalent CLI without a Claude session: raptor frida ....

Templates

raptor frida --list-templates

Operator-supplied scripts via --script ./hook.js - same send(...) capture path.

Examples

# Trace API calls in a local PID for 30s
raptor frida --target 1234 --template api-trace --duration 30

# Spawn a binary and watch its first minute
raptor frida --target ./victim --template api-trace --duration 60

# Bypass SSL pinning on a USB-attached mobile target. Spawn by bundle id (frida resolves bundle ids for spawn); attach-by-name needs the running process's name, not the bundle id, so --spawn is the reliable form.
raptor frida --target com.example.app --template ssl-unpin --usb --spawn --duration 120

# Connect to remote frida-server
raptor frida --target target-proc --host 10.10.20.1 --template api-trace

# Operator-supplied hook
raptor frida --target Safari --script ./my-hook.js --duration 30

Output layout

<run-dir>/
  events.jsonl       # one JSON object per send() from the script
  metadata.json      # target, host info, timings, errors
  script.js          # copy of the script that ran
  frida-report.md    # short human-readable summary

<run-dir> is resolved by libexec/raptor-run-lifecycle:

• Active /project: out/projects/<name>/frida-<timestamp>/
• Otherwise: out/frida_<timestamp>/

Failure modes (read metadata.json first)

Threat model

Frida-instrumented targets are untrusted - that's the whole point. The runner is wrapped in core.sandbox.run() with the frida profile (ptrace allowed, skip_pid_ns=True for /proc access, restrict_reads=True, fake_home=True):

• Spawn mode (--target ./binary): block_network=True — the target can't reach out.
• Attach mode (--target <pid|name>): network untouched — the process is already running with whatever connectivity it needs.
• --unsafe-attach: sandbox bypassed entirely (system processes, SIP targets). Logged in metadata.json.

Pipeline integration

Frida output is automatically consumed by downstream pipelines when evidence exists in the run directory:

No flags needed — consumers discover evidence via packages.frida.evidence.discover_evidence() and gate on packages.frida.available().

Programmatic API (for orchestration scripts)

from packages.frida.active import auto_observe, observe_target, observe_paired

# Single binary spawn — runs under sandbox frida profile
run_dir = observe_target("/path/to/binary", template="api-trace", duration_sec=30)

# Network service — paired observation via netns coordinator
run_dir = observe_paired(["./server", "--port", "8080"],
                         template="api-trace", wait_port=8080)

# Pipeline hook — skips if fresh evidence already exists
run_dir = auto_observe("/path/to/binary", search_dirs=[out_dir])

Status

Alpha. Four templates ship (api-trace, bb-coverage, ssl-unpin, binary-flow-trace); richer set in progress (collab with @Splinters-io). Integration into /validate is automatic (Stage B collects runtime evidence via frida_validation_bridge). /crash-analysis integration on macOS is planned. The autonomous LLM-guided mode from the abandoned PR #57 is intentionally not in this slice.