symbolic

type Assignment struct {
	Source      string // The source expression (e.g., "$_GET", "$array[$key]")
	SourceType  string // Type of source
	Method      string // Which method made this assignment
	Line        int
	FilePath    string
	IsUserInput bool     // Whether this comes from user input
	TaintChain  []string // Chain of taints
}

type ChainStep struct {
	Type      ExpressionType // PropertyAccess or MethodCall
	Name      string         // method or property name
	Arguments []string       // method arguments if method call
	AccessKey string         // array access key if any
}

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

type ExpressionType int

type ExternalAssignment struct {
	PropertyName string // The property being assigned
	Source       string // The value assigned (e.g., "generate_post_check()")
	FilePath     string
	Line         int
}

type FlowStep struct {
	StepNumber  int
	Description string
	Code        string
	FilePath    string
	Line        int
	Type        string // "property_init", "constructor_call", "method_call", "assignment", "loop", "return"
}

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

type MagicPropertyInfo struct {
	HasMagicGet      bool   // Class has __get method
	HasDynamicAssign bool   // Class has $this->$var = $val pattern
	BackingProperty  string // Property used for storage (e.g., "phrases")
	AssignMethodName string // Method that assigns properties
	SourceType       string // "file_include", "array", etc.
}

type MethodCall struct {
	ClassName  string
	MethodName string
	Arguments  []string
	FilePath   string
	Line       int
	CalledFrom string // Parent method
}

type MethodReturnInfo struct {
	ReturnsProperty     bool     // returns $this->property
	PropertyName        string   // which property
	UsesParamAsKey      bool     // returns $this->property[$param]
	ParamIndex          int      // which parameter is used as key
	ReturnsParam        bool     // returns a parameter directly
	ReturnStatements    []string // all return statement code
	ReturnsUserInput    bool     // directly returns user input
	UserInputExpression string   // e.g., "$_GET['key']"
	ReturnsSelf         bool     // returns $this (fluent interface)
}

type ObjectInstance struct {
	VariableName string
	ClassName    string
	FilePath     string
	Line         int
	Properties   map[string]*PropertyState
}

type ParsedExpression struct {
	Type            ExpressionType
	RawExpr         string
	VarName         string   // $mybb
	ClassName       string   // MyBB (resolved)
	PropertyName    string   // input
	MethodName      string   // get_input
	AccessKey       string   // 'thumbnail' or 'timezone'
	Arguments       []string // method arguments
	SuperglobalName string   // $_GET, $_POST, etc. (for ExprTypeSuperglobal)
	IsSuperglobal   bool     // true if this is a superglobal access

	// Chained expression support
	IsChained  bool        // true if this is a chained expression
	ChainSteps []ChainStep // Steps in the chain
}

type PropertyFlow struct {
	// The expression being traced (e.g., "$mybb->input['thumbnail']" or "$mybb->get_input('timezone')")
	Expression string

	// The class and property/method
	ClassName    string
	PropertyName string
	MethodName   string
	AccessKey    string // e.g., "thumbnail" for array access or method argument

	// The complete trace
	Steps []FlowStep

	// Ultimate sources
	Sources []UltimateSource
}

type PropertyState struct {
	ClassName      string
	PropertyName   string
	InitialValue   string
	CurrentSources []string     // What sources have flowed into this property
	PopulatedBy    []MethodCall // Which method calls populated this property
	Assignments    []Assignment // All assignments to this property
}

type UltimateSource struct {
	Type       string // "http_get", "http_post", "http_cookie", etc.
	Expression string // e.g., "$_GET['thumbnail']"
	FilePath   string
	Line       int
}