Antra
How it worksStar1Get Started
Star1
Antra
How it worksStar1Get Started
Star1
Documentation
  • Introduction
  • Installation
  • Quick start
  • Configuration basics
  • Monorepos
  • Trust boundaries
  • Findings and severity
  • Schema providers
  • Suppressions and baselines
  • antra init
  • antra scan
  • antra sync
  • antra doctor
  • antra baseline
  • antra trace
  • antra watch
  • antra fix
  • antra query
  • antra studio
  • Studio
  • Launching Studio
  • Reading the graph
  • Configuration reference
  • BG-001: Server-to-client leak
  • BG-002: Unvalidated input
  • BG-003: Opaque object pass
  • BG-004: Secret in markup
  • GitHub Actions
  • Introduction
  • Installation
  • Quick start
  • Configuration basics
  • Monorepos
  • Trust boundaries
  • Findings and severity
  • Schema providers
  • Suppressions and baselines
  • antra init
  • antra scan
  • antra sync
  • antra doctor
  • antra baseline
  • antra trace
  • antra watch
  • antra fix
  • antra query
  • antra studio
  • Studio
  • Launching Studio
  • Reading the graph
  • Configuration reference
  • BG-001: Server-to-client leak
  • BG-002: Unvalidated input
  • BG-003: Opaque object pass
  • BG-004: Secret in markup
  • GitHub Actions

antra trace

Print the full dataflow path from a database source to a client sink.

Explains why a finding fired, by printing the path the value took.

Usage

antra trace <target> [path]
  • target is required: a file, or a file:line pair such as app/page.tsx:85.
  • path is the Next.js app root and defaults to ..
antra trace app/page.tsx:85
antra trace app/account/page.tsx:42 ./apps/dashboard
antra trace app/page.tsx:85 --format json

Flags

FlagDefaultWhat it does
--format <type>prettypretty or json.

Reading the output

The path runs from the source, the point where the value entered your program (usually a database read), to the sink, the boundary crossing that triggered the finding. Each hop is a place the value passed through.

This is the command to run when a finding looks wrong. Either the path shows a step you did not expect, which is a real bug, or it shows a sanitizer the analysis did not recognize, which is a configuration problem for antra.config.json.

Findings carry a provenance list in their own right, sourced from the same analysis trace walks, nearest-to-sink first.

Previous
antra baseline
Next
antra watch
On this page
  • Usage
  • Flags
  • Reading the output