Versions in this module Expand all Collapse all v0 v0.5.0 May 3, 2026 v0.4.55-fp-fix Feb 27, 2026 v0.1.3 May 27, 2026 Changes in this version + const DefaultMaxFlowEdges + const DefaultMaxFlowNodes + const EdgeArrayGet + const EdgeArraySet + const EdgeAssignment + const EdgeCall + const EdgeConcatenate + const EdgeConditional + const EdgeConstructor + const EdgeDataFlow + const EdgeDestructure + const EdgeFramework + const EdgeIteration + const EdgeMethodCall + const EdgeParameter + const EdgeProperty + const EdgeReturn + const NodeCarrier + const NodeFunction + const NodeParam + const NodeProperty + const NodeReturn + const NodeSource + const NodeVariable + const SourceCLIArg + const SourceDatabase + const SourceEnvVar + const SourceFile + const SourceHTTPBody + const SourceHTTPCookie + const SourceHTTPFile + const SourceHTTPGet + const SourceHTTPHeader + const SourceHTTPJSON + const SourceHTTPPath + const SourceHTTPPost + const SourceHTTPRequest + const SourceNetwork + const SourceSession + const SourceStdin + const SourceUnknown + const SourceUserInput + type AnalysisState struct + CallGraph map[string][]string + Carriers []FlowNode + CurrentClass string + CurrentFile string + CurrentMethod string + CurrentScope string + Depth int + FileDependencies map[string][]string + MaxDepth int + ObjectInstances map[string]*ObjectInstance + Sources []FlowNode + SymbolTables map[string]*SymbolTable + TaintedVars map[string]map[string]*TaintInfo + Visited map[string]bool + func NewAnalysisState(maxDepth int) *AnalysisState + type AnnotationDef struct + Arguments map[string]interface{} + Line int + Name string + type Assignment struct + Column int + FilePath string + IsTainted bool + Keys []string + Line int + Operator string + Scope string + Source string + SourceType string + TaintSource string + Target string + TargetType string + type BackwardPath struct + CrossFile bool + Source SourceInfo + Steps []BackwardStep + type BackwardStep struct + Description string + Expression string + FilePath string + Line int + StepNumber int + StepType string + type BackwardTraceResult struct + AnalyzedFiles int + Duration time.Duration + Paths []BackwardPath + Sources []SourceInfo + TargetExpression string + TargetFile string + TargetLine int + type BatchTraceResult struct + AnalyzedFiles int + HasUserInput bool + PerVariable map[string]*BackwardTraceResult + TotalDuration time.Duration + VariablesFound int + type CallArg struct + Index int + IsTainted bool + TaintChain *TaintChain + TaintSource string + Type string + Value string + type CallSite struct + Arguments []CallArg + ClassName string + Column int + FilePath string + FunctionName string + HasTaintedArgs bool + IsConstructor bool + IsStatic bool + Line int + MethodName string + ResultVar string + Scope string + TaintedArgIndices []int + type CarrierChain struct + ClassName string + Framework string + Initialization string + PopulationCalls []string + PopulationMethod string + PropertyName string + type CarrierInfo struct + AccessPattern string + PopulationMethod string + PopulationPattern string + PropertyName string + SourceTypes []string + type ClassDef struct + CarrierInfo *CarrierInfo + Constructor *MethodDef + EndLine int + Extends string + FilePath string + Implements []string + IsAbstract bool + IsCarrier bool + IsFinal bool + Line int + Methods map[string]*MethodDef + Name string + Namespace string + Properties map[string]*PropertyDef + Traits []string + Visibility string + func NewClassDef(name, filePath string, line int) *ClassDef + func (cd *ClassDef) ReleaseBodySources() + type ConstantDef struct + Line int + Name string + Type string + Value string + type FlowEdge struct + Code string + Description string + FilePath string + From string + ID string + Line int + Metadata map[string]interface{} + To string + Type FlowEdgeType + type FlowEdgeType = constants.FlowEdgeType + type FlowMap struct + AllEdges []FlowEdge + AllNodes []FlowNode + CallGraph map[string][]string + CarrierChain *CarrierChain + Carriers []FlowNode + Metadata FlowMapMetadata + Paths []FlowPath + Sources []FlowNode + Target FlowTarget + Usages []FlowNode + func NewFlowMap() *FlowMap + func NewFlowMapWithLimits(maxNodes, maxEdges int) *FlowMap + func (fm *FlowMap) AddCarrier(carrier FlowNode) bool + func (fm *FlowMap) AddEdge(edge FlowEdge) bool + func (fm *FlowMap) AddNode(node FlowNode) bool + func (fm *FlowMap) AddSource(source FlowNode) bool + func (fm *FlowMap) AddUsage(usage FlowNode) bool + func (fm *FlowMap) HasEdge(from, to string, edgeType FlowEdgeType) bool + func (fm *FlowMap) HasNode(nodeID string) bool + func (fm *FlowMap) Summary() string + func (fm *FlowMap) ToDOT() string + func (fm *FlowMap) ToJSON() (string, error) + func (fm *FlowMap) ToMermaid() string + type FlowMapMetadata struct + AnalyzedAt time.Time + Duration string + FilesAnalyzed int + Framework string + Language string + TracerVersion string + type FlowNode struct + CarrierType string + ClassName string + Column int + EndColumn int + EndLine int + FilePath string + ID string + Language string + Line int + Metadata map[string]interface{} + MethodName string + Name string + Scope string + Snippet string + SourceKey string + SourceType SourceType + Type FlowNodeType + TypeInfo *TypeInfo + type FlowNodeType = constants.FlowNodeType + type FlowPath struct + Description string + ID string + Source *FlowNode + Steps []FlowStep + Target *FlowNode + type FlowStep struct + Description string + Edge *FlowEdge + Node FlowNode + StepNumber int + type FlowTarget struct + Column int + Expression string + FilePath string + Line int + type FrameworkPattern struct + AccessPattern string + CarrierClass string + CarrierProperty string + ClassPattern string + Description string + Framework string + ID string + Language string + MethodPattern string + Name string + PopulatedBy string + PopulatedFrom []string + PropertyPattern string + SourceKey string + SourceType SourceType + type FrameworkPatternData struct + AccessPattern string + CarrierClass string + CarrierProperty string + ClassPattern string + Description string + Framework string + ID string + Language string + MethodPattern string + Name string + PopulatedBy string + PopulatedFrom []string + PropertyPattern string + SourceKey string + SourceType string + func (d *FrameworkPatternData) ToFrameworkPattern() *FrameworkPattern + type FunctionDef struct + BodyEnd int + BodySource string + BodyStart int + CallsExternal []string + EndLine int + FilePath string + IsAsync bool + IsExported bool + Line int + Name string + ParamTaintChains map[int]*TaintChain + Parameters []ParameterDef + ParamsToReturn []int + ReturnTaintChain *TaintChain + ReturnType string + ReturnsInput bool + type ImportInfo struct + Alias string + IsRelative bool + Line int + Names []string + Path string + Type string + type Location struct + Column int + EndColumn int + EndLine int + FilePath string + Line int + type MethodDef struct + Annotations []AnnotationDef + BodyEnd int + BodySource string + BodyStart int + CallsExternal []string + CallsInternal []string + EndLine int + IsAbstract bool + IsAsync bool + IsStatic bool + Line int + Name string + Parameters []ParameterDef + ParamsToProps map[int]string + ParamsToReturn []int + ReturnType string + ReturnsInput bool + Visibility string + type ObjectInstance struct + ClassName string + CreatedAt Location + Framework string + Properties map[string]*TaintInfo + VariableName string + type ParameterDef struct + DefaultValue string + Index int + InputSource string + IsReference bool + IsVariadic bool + Name string + ReceivesInput bool + TaintChain *TaintChain + Type string + type PropertyDef struct + InitialValue string + InputSources []string + IsReadonly bool + IsStatic bool + Line int + Name string + ReceivesInput bool + TaintDepth int + Type string + Visibility string + type SourceInfo struct + Expression string + FilePath string + Line int + Type SourceType + type SourceType = common.SourceType + type SymbolTable struct + Classes map[string]*ClassDef + Constants map[string]*ConstantDef + FilePath string + Framework string + Functions map[string]*FunctionDef + Imports []ImportInfo + Language string + Metadata map[string]interface{} + Namespace string + Variables map[string]*VariableDef + func NewSymbolTable(filePath, language string) *SymbolTable + func (st *SymbolTable) ReleaseBodySources() + type TaintChain struct + CurrentExpression string + Depth int + OriginalFile string + OriginalLine int + OriginalSource string + OriginalType SourceType + Steps []TaintStep + func NewTaintChain(source, sourceType, file string, line int) *TaintChain + func (tc *TaintChain) AddStep(stepType, expression, file string, line int, description string) + func (tc *TaintChain) Clone() *TaintChain + type TaintInfo struct + Depth int + Path []string + Source *FlowNode + SourceKey string + SourceType SourceType + type TaintStep struct + Description string + Expression string + FilePath string + Line int + StepType string + type TypeInfo struct + Generics []string + IsNullable bool + Kind string + Name string + Package string + type VariableDef struct + InitialValue string + IsConstant bool + IsGlobal bool + IsTainted bool + Line int + Name string + Scope string + TaintChain *TaintChain + TaintDepth int + TaintSource string + Type string v0.1.2 Dec 12, 2025 v0.1.1 Dec 12, 2025
Go to main page