effects

Documentation

Overview

Package effects detects boundary-crossing calls: SQL, Redis, HTTP clients, and Kafka producers. Effect nodes are the anchors of a flow - the filter pipeline never drops them, and graph extraction does not descend past them into library internals.

Index

• type Effect
  • func Detect(info *ssax.CalleeInfo, site ssa.CallInstruction) *Effect

Types

type Effect

type Effect struct {
	Type      string // "sql" | "redis" | "http" | "kafka" | "grpc" | "security" | "storage"
	Detail    string // query text, command, or method name - best effort
	Topic     string // resolved Kafka topic, "" if not applicable/unresolved
	TopicExpr string // source-level hint when the topic is dynamic
}

func Detect

func Detect(info *ssax.CalleeInfo, site ssa.CallInstruction) *Effect

Detect reports the effect a call site performs, or nil.