core

type AdapterRegistry map[schemas.TaskType]Analyzer

type AnalysisContext struct {
	Global    *GlobalContext
	Task      schemas.Task
	TargetURL *url.URL
	Logger    *zap.Logger
	Artifacts *schemas.Artifacts
	Findings  []schemas.Finding
	KGUpdates *schemas.KnowledgeGraphUpdate
	// Session allows an analyzer to operate on a pre-existing browser session,
	// which is crucial for agent-driven, multi-step analysis scenarios.
	Session schemas.SessionContext
}

type Analyzer interface {
	Name() string
	Description() string
	Type() AnalyzerType
	Analyze(ctx context.Context, analysisCtx *AnalysisContext) error
}

type AnalyzerType string

type BaseAnalyzer struct {
	Logger *zap.Logger // Exposed for use in specific analyzer implementations.
	// contains filtered or unexported fields
}

type GlobalContext struct {
	Config         config.Interface
	Logger         *zap.Logger
	BrowserManager schemas.BrowserManager
	DBPool         *pgxpool.Pool
	KGClient       schemas.KnowledgeGraphClient
	OASTProvider   schemas.OASTProvider
	FindingsChan   chan<- schemas.Finding
	// Adapters provides access to the registry of all available analysis adapters,
	// allowing for dynamic invocation by components like the agent.
	Adapters AdapterRegistry
}

type IdentifierLocation string

type IdentifierType string

type ObservedIdentifier struct {
	Value     string
	Type      IdentifierType
	Location  IdentifierLocation
	Key       string // The key for headers, query params, or the JSON path.
	PathIndex int    // The index for URL path segments.
}

type Reporter interface {
	// Write takes a `ResultEnvelope`, which can contain findings and/or
	// knowledge graph updates, and persists it.
	Write(envelope *schemas.ResultEnvelope) error
}

type SerializedResponse struct {
	StatusCode int         `json:"status_code"`
	Headers    http.Header `json:"headers"`
	Body       string      `json:"body"`
}

type SinkDefinition struct {
	// Full property path (e.g., "Element.prototype.innerHTML").
	Name string `json:"Name" yaml:"name"`
	// The canonical sink type (e.g., SinkInnerHTML). Used for correlation.
	Type schemas.TaintSink `json:"Type" yaml:"type"`

	// True if this is a property setter.
	Setter bool `json:"Setter" yaml:"setter"`
	// The argument index to inspect for taint (for function calls).
	ArgIndex int `json:"ArgIndex" yaml:"arg_index"`
	// An optional ID for a JS-side pre-condition (e.g. "IS_STRING_ARG0").
	ConditionID string `json:"ConditionID,omitempty" yaml:"condition_id,omitempty"`
}

type SinkType string

type TaintSink string

type TaintSource string