The Sprint
function or one of its variants.
Import path
import semmle.go.frameworks.Spew
Direct supertypes
Indirect supertypes
Predicates
hasTaintFlow | Holds if taint propagates through this function from |
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 | from FunctionModel |
getAnOutputNode | Gets an output node for this model for the call | 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 | from Function |
getParameterType | Gets the type of the | from Function |
getQualifiedName | Gets the qualified name of this entity, if any. | from Entity |
getResult | Gets the | from Function |
getResultType | Gets the type of the | 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 | from Entity |
hasQualifiedName | Holds if this entity is declared in a package with path | 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 | from FunctionModel |
taintStepForCall | Holds if this function model causes taint to flow from | from FunctionModel |
toString | Gets a textual representation of this entity. | from Entity |