/**
 * Taint Propagation Tracker — Propagates taint through variable assignments.
 *
 * Walks lines forward from discovered sources, tracking how tainted data
 * flows through assignments, destructuring, template literals, etc.
 * Marks variables as sanitised when they pass through known sanitisers.
 */
import type { UserInputSource, TaintedVariable } from './taint-types';
import type { SanitiserInfo } from './taint-types';
/**
 * Propagate taint through variable assignments in a file.
 *
 * Algorithm:
 * 1. Initialize tainted vars from sources
 * 2. Walk lines forward, tracking brace depth for scope
 * 3. For each line, check if any tainted var appears on the right side
 * 4. If sanitiser wraps the expression, mark sanitised
 * 5. When exiting a scope, remove block-scoped (const/let) vars at that depth
 */
export declare function propagateTaint(content: string, _filePath: string, sources: UserInputSource[], sanitisers: SanitiserInfo[]): TaintedVariable[];
//# sourceMappingURL=taint-tracker.d.ts.map