Class Url::JoinPath

The JoinPath function.

Import path

import semmle.go.frameworks.Stdlib

Direct supertypes

FunctionModel

Indirect supertypes

Predicates

hasTaintFlow

Holds if taint propagates through this function from input to output.

Inherited predicates

getACall	Gets a call to this function.	from Function
getAParameter	Gets a parameter of this function.	from Function
getARead	Gets a data-flow node that reads the value of this entity.	from ValueEntity
getAReference	Gets a reference to this entity.	from Entity
getAResult	Gets a result variable of this function.	from Function
getAWrite	Gets a control-flow node that updates the value of this entity.	from ValueEntity
getAnInputNode	Gets an input node for this model for the call `c`.	from FunctionModel
getAnOutputNode	Gets an output node for this model for the call `c`.	from FunctionModel
getBody	Gets the body of this function, if any.	from Function
getDeclaration	Gets the declaring identifier for this entity, if any.	from Entity
getFuncDecl	Gets the declaration of this function, if any.	from Function
getName	Gets the name of this entity.	from Entity
getNumParameter	Gets the number of parameters of this function.	from Function
getNumResult	Gets the number of results of this function.	from Function
getPackage	Gets the package in which this entity is declared, if any.	from Entity
getParameter	Gets the `i`th parameter of this function.	from Function
getParameterType	Gets the type of the `i`th parameter of this function.	from Function
getQualifiedName	Gets the qualified name of this entity, if any.	from Entity
getResult	Gets the `i`th result variable of this function.	from Function
getResultType	Gets the type of the `i`th result of this function.	from Function
getScope	Gets the scope in which this entity is declared, if any.	from Entity
getType	Gets the type of this entity.	from Entity
hasLocationInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.	from Entity
hasQualifiedName	Holds if this entity is declared in a package with path `pkg` and has the given `name`.	from Entity
isVariadic	Holds if this function is variadic.	from Function
mayHaveSideEffects	Holds if this function has no observable side effects.	from Function
mayPanic	Holds if calling this function may cause a runtime panic.	from Function
mayReturnNormally	Holds if this function may return without panicking, exiting the process, or looping forever.	from Function
mustPanic	Holds if calling this function always causes a runtime panic.	from Function
taintStep	Holds if this function model causes taint to flow from `pred` to `succ`.	from FunctionModel
taintStepForCall	Holds if this function model causes taint to flow from `pred` to `succ` for the call `c`.	from FunctionModel
toString	Gets a textual representation of this entity.	from Entity

Charpred

JoinPath