tracer

type CallSiteInfo struct {
	File     string   `json:"file"`
	Line     int      `json:"line"`
	Argument string   `json:"argument"`
	HasInput bool     `json:"has_input"`
	Sources  []string `json:"sources,omitempty"`
}

type ParameterTaintInfo struct {
	FunctionName   string         `json:"function_name"`
	ParameterName  string         `json:"parameter_name"`
	ParameterIndex int            `json:"parameter_index"`
	IsTainted      bool           `json:"is_tainted"`
	Sources        []string       `json:"sources,omitempty"`
	CallSites      []CallSiteInfo `json:"call_sites,omitempty"`
}

type TraceReport struct {
	Variable         string                `json:"variable"`
	Codebase         string                `json:"codebase"`
	TotalDefinitions int                   `json:"total_definitions"`
	WithUserInput    int                   `json:"with_user_input"`
	WithoutUserInput int                   `json:"without_user_input"`
	Definitions      []VariableTraceResult `json:"definitions"`
}

type VarAssignment struct {
	Line       int      `json:"line"`
	Expression string   `json:"expression"`
	HasInput   bool     `json:"has_input"`
	Sources    []string `json:"sources,omitempty"`
}

type VariableDefinition struct {
	File         string `json:"file"`
	Line         int    `json:"line"`
	FunctionName string `json:"function_name,omitempty"`
	ClassName    string `json:"class_name,omitempty"`
	InitialValue string `json:"initial_value"`
	CodeSnippet  string `json:"code_snippet"`
}

type VariableTraceResult struct {
	File           string              `json:"file"`
	Line           int                 `json:"line"`
	FunctionName   string              `json:"function_name,omitempty"`
	ClassName      string              `json:"class_name,omitempty"`
	HasUserInput   bool                `json:"has_user_input"`
	InputSources   []string            `json:"input_sources,omitempty"`
	FlowPath       []string            `json:"flow_path,omitempty"`
	MatchedCarrier string              `json:"matched_carrier,omitempty"`
	Assignments    []VarAssignment     `json:"assignments,omitempty"`
	ParameterInfo  *ParameterTaintInfo `json:"parameter_info,omitempty"`
}

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