analyzer

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

type LanguageAnalyzer interface {
	// Language returns the language this analyzer handles
	Language() string

	// SupportedExtensions returns file extensions this analyzer handles
	SupportedExtensions() []string

	// BuildSymbolTable parses a file and builds its symbol table
	BuildSymbolTable(filePath string, source []byte, root *sitter.Node) (*types.SymbolTable, error)

	// ResolveImports resolves import/include statements to actual file paths
	ResolveImports(symbolTable *types.SymbolTable, basePath string) ([]string, error)

	// ExtractClasses extracts class definitions from the AST
	ExtractClasses(root *sitter.Node, source []byte) ([]*types.ClassDef, error)

	// ExtractFunctions extracts function definitions from the AST
	ExtractFunctions(root *sitter.Node, source []byte) ([]*types.FunctionDef, error)

	// ExtractAssignments extracts all variable assignments from the AST
	ExtractAssignments(root *sitter.Node, source []byte, scope string) ([]*types.Assignment, error)

	// ExtractCalls extracts all function/method calls from the AST
	ExtractCalls(root *sitter.Node, source []byte, scope string) ([]*types.CallSite, error)

	// FindInputSources finds all user input sources in the AST
	FindInputSources(root *sitter.Node, source []byte) ([]*types.FlowNode, error)

	// AnalyzeMethodBody analyzes a method body for data flow
	AnalyzeMethodBody(method *types.MethodDef, source []byte, state *types.AnalysisState) (*MethodFlowAnalysis, error)

	// DetectFrameworks detects which frameworks are used in the code
	DetectFrameworks(symbolTable *types.SymbolTable, source []byte) ([]string, error)

	// GetFrameworkPatterns returns known framework patterns for this language
	GetFrameworkPatterns() []*types.FrameworkPattern

	// TraceExpression traces a specific expression back to its sources
	TraceExpression(target types.FlowTarget, state *types.AnalysisState) (*types.FlowMap, error)
}

type MethodFlowAnalysis struct {
	// Which parameters flow to return value
	ParamsToReturn []int

	// Which parameters flow to which properties
	ParamsToProperties map[int][]string

	// Which parameters flow to which method calls (param index -> call sites)
	ParamsToCallArgs map[int][]*types.CallSite

	// Variables that become tainted within the method
	TaintedVariables map[string]*types.TaintInfo

	// All assignments in the method
	Assignments []*types.Assignment

	// All calls in the method
	Calls []*types.CallSite

	// Return statements
	Returns []ReturnInfo

	// Does this method return user input?
	ReturnsInput bool

	// Does this method modify properties with input?
	ModifiesProperties bool
}

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

type ReturnInfo struct {
	Line        int
	Expression  string
	IsTainted   bool
	TaintSource string
}