Source code for angr.knowledge_plugins.key_definitions.tag
"""Classes to structure the different types of <Tag>s that can be attached to <Definition>s.- Tag - FunctionTag - ParameterTag - LocalVariableTag - ReturnValueTag - InitialValueTag"""
[docs]classTag:""" A tag for a Definition that can carry different kinds of metadata. """
[docs]classSideEffectTag(FunctionTag):""" A tag for a definition created or used as a side-effect of a function. Example: The <MemoryLocation> pointed by `rdi` during a `sprintf`. """
[docs]classParameterTag(FunctionTag):""" A tag for a definition of a parameter. """
[docs]classLocalVariableTag(FunctionTag):""" A tag for a definition of a local variable of a function. """
[docs]classReturnValueTag(FunctionTag):""" A tag for a definiton of a return value of a function. """
[docs]classInitialValueTag(Tag):""" A tag for a definiton of an initial value """
[docs]classUnknownSizeTag(Tag):""" A tag for a definiton of an initial value """