tracer

type AnalysisState struct {
	ScopeState                                    // scope management (push/pop, lookup)
	TaintedValues     map[string]*TaintedVariable // variable name -> tainted info (taint tracking)
	FunctionSummaries map[string]*FunctionSummary
	VisitedFunctions  map[string]bool
}

type Argument struct {
	Name  string
	Text  string
	Index int
}

type Config struct {
	// Languages to analyze (empty = all supported)
	Languages []string

	// Maximum inter-procedural analysis depth
	MaxDepth int

	// Number of parallel workers
	Workers int

	// Custom source definitions (in addition to built-in)
	CustomSources []sources.Definition

	// Skip directories matching these patterns
	SkipDirs []string

	// Include only files matching these patterns (empty = all)
	IncludePatterns []string

	// Verbose enables diagnostic logging to stdout during analysis
	Verbose bool
}

type FlowEdge struct {
	From     string       `json:"from"` // Node ID
	To       string       `json:"to"`   // Node ID
	Type     FlowEdgeType `json:"type"`
	Location Location     `json:"location"`
}

type FlowEdgeType = constants.FlowEdgeType

type FlowGraph struct {
	Nodes []FlowNode `json:"nodes"`
	Edges []FlowEdge `json:"edges"`
}

type FlowNode struct {
	ID       string       `json:"id"`
	Type     FlowNodeType `json:"type"`
	Name     string       `json:"name"`
	Location Location     `json:"location"`
}

type FlowNodeType = constants.FlowNodeType

type FullAnalysisState struct {
	*AnalysisState

	// Slices for output (computed on demand)
	Sources          []*InputSource
	TaintedVariables []*TaintedVariable
	TaintedFunctions []*TaintedFunction

	PropagationPaths map[string][]*PropagationPath // source ID -> paths
	ReturnsTainted   map[string]*InputSource       // function name -> source
	// contains filtered or unexported fields
}

type FunctionSummary struct {
	Name            string          `json:"name"`
	FilePath        string          `json:"file_path"`
	Language        string          `json:"language"`
	StartLine       int             `json:"start_line"`
	EndLine         int             `json:"end_line"`
	Parameters      []ParameterInfo `json:"parameters"`
	ParamsToReturn  []int           `json:"params_to_return"` // Indices of params that flow to return
	ParamsToParams  map[int][]int   `json:"params_to_params"` // Param N flows to param M in nested calls
	IsSource        bool            `json:"is_source"`        // Function itself returns user input
	CalledFunctions []string        `json:"called_functions"`
}

type InputLabel = constants.InputLabel

type InputSource struct {
	ID       string       `json:"id"`
	Type     string       `json:"type"` // e.g., "$_GET", "req.body", "argv"
	Key      string       `json:"key"`  // e.g., "username" in $_GET['username']
	Location Location     `json:"location"`
	Labels   []InputLabel `json:"labels"`
	Language string       `json:"language"`
}

type InterproceduralAnalyzer struct {
	// contains filtered or unexported fields
}

type Location struct {
	FilePath  string `json:"file_path"`
	Line      int    `json:"line"`
	Column    int    `json:"column"`
	EndLine   int    `json:"end_line"`
	EndColumn int    `json:"end_column"`
	Snippet   string `json:"snippet,omitempty"`
}

type ParameterInfo struct {
	Index int    `json:"index"`
	Name  string `json:"name"`
	Type  string `json:"type,omitempty"`
}

type PropagationPath struct {
	Source      *InputSource      `json:"source"`
	Steps       []PropagationStep `json:"steps"`
	Destination Location          `json:"destination"`
}

type PropagationStep struct {
	Type     PropagationStepType `json:"type"`
	Variable string              `json:"variable"`
	Function string              `json:"function,omitempty"` // If crossing function boundary
	Location Location            `json:"location"`
}

type PropagationStepType = constants.PropagationStepType

type Scope struct {
	ID        string                      `json:"id"`
	Type      ScopeType                   `json:"type"`
	Name      string                      `json:"name"`
	Parent    *Scope                      `json:"-"` // Avoid circular JSON
	ParentID  string                      `json:"parent_id,omitempty"`
	Children  []*Scope                    `json:"-"` // Child scopes
	Variables map[string]*TaintedVariable `json:"-"`
	StartLine int                         `json:"start_line"`
	EndLine   int                         `json:"end_line"`
	StartLoc  Location                    `json:"start_location,omitempty"`
}

type ScopeState struct {
	CurrentScope *Scope
	ScopeStack   []*Scope
}

type ScopeType = constants.ScopeType

type TaintInfo struct {
	Source *InputSource
	Depth  int
}

type TaintPropagator struct {
	// contains filtered or unexported fields
}

type TaintedFunction struct {
	ID              string            `json:"id"`
	Name            string            `json:"name"`
	FilePath        string            `json:"file_path"`
	Line            int               `json:"line"`
	Language        string            `json:"language"`
	TaintedParams   []TaintedParam    `json:"tainted_params"`
	ReceivesThrough []PropagationPath `json:"receives_through,omitempty"`
}

type TaintedParam struct {
	Index  int              `json:"index"`
	Name   string           `json:"name"`
	Source *InputSource     `json:"source"`
	Path   *PropagationPath `json:"path,omitempty"`
}

type TaintedVariable struct {
	ID       string       `json:"id"`
	Name     string       `json:"name"`
	Scope    string       `json:"scope"`  // Function/class scope
	Source   *InputSource `json:"source"` // Original input source
	Location Location     `json:"location"`
	Depth    int          `json:"depth"` // How many assignments from original source
	Language string       `json:"language"`
}

type TraceResult struct {
	// All discovered input sources
	Sources []*InputSource `json:"sources"`

	// All variables that hold user input at some point
	TaintedVariables []*TaintedVariable `json:"tainted_variables"`

	// All functions that receive user input (directly or transitively)
	TaintedFunctions []*TaintedFunction `json:"tainted_functions"`

	// Complete flow graph
	FlowGraph *FlowGraph `json:"flow_graph"`

	// Statistics
	Stats TraceStats `json:"stats"`

	// Errors encountered during analysis (parse errors, permission errors, etc.)
	Errors []error `json:"errors,omitempty"`
}

type TraceStats struct {
	FilesAnalyzed     int            `json:"files_analyzed"`
	SourcesFound      int            `json:"sources_found"`
	TaintedVarsFound  int            `json:"tainted_variables_found"`
	TaintedFuncsFound int            `json:"tainted_functions_found"`
	PropagationPaths  int            `json:"propagation_paths"`
	AnalysisDuration  time.Duration  `json:"analysis_duration_ns"`
	DurationMs        int64          `json:"analysis_duration_ms"`
	ByLanguage        map[string]int `json:"files_by_language"`
}

type Tracer struct {
	// contains filtered or unexported fields
}