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

class angr.knowledge_plugins.key_definitions.tag.Tag

Bases: object

A tag for a Definition that can carry different kinds of metadata.

__init__(metadata=None)

Parameters:

metadata (object)

class angr.knowledge_plugins.key_definitions.tag.FunctionTag

Bases: Tag

A tag for a definition created (or used) in the context of a function.

__init__(function=None, metadata=None)

Parameters:

• function (int | None)

• metadata (object)

class angr.knowledge_plugins.key_definitions.tag.SideEffectTag

Bases: 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.

class angr.knowledge_plugins.key_definitions.tag.ParameterTag

Bases: FunctionTag

A tag for a definition of a parameter.

class angr.knowledge_plugins.key_definitions.tag.LocalVariableTag

Bases: FunctionTag

A tag for a definition of a local variable of a function.

class angr.knowledge_plugins.key_definitions.tag.ReturnValueTag

Bases: FunctionTag

A tag for a definition of a return value of a function.

class angr.knowledge_plugins.key_definitions.tag.InitialValueTag

Bases: Tag

A tag for a definition of an initial value

class angr.knowledge_plugins.key_definitions.tag.UnknownSizeTag

Bases: Tag

A tag for a definition of an initial value