`ailment` — angr Intermediate Language

class ailment.IRSBConverter

Bases: Converter

static convert(irsb, manager)

Convert the given IRSB to an AIL block

Parameters

irsb – The IRSB to convert
manager – The manager to use

Returns

Returns the converted block

Converter

exception ailment.converter_common.SkipConversionNotice: Bases: Exception

class ailment.converter_common.Converter

Bases: object

static convert(thing)

class ailment.converter_vex.VEXExprConverter

Bases: Converter

static simop_from_vexop(vex_op)

static generic_name_from_vex_op(vex_op)

static convert(expr, manager)

Parameters: expr –
Returns

static convert_list(exprs, manager)

static register(offset, bits, manager)

static tmp(tmp_idx, bits, manager)

static RdTmp(expr, manager)

static Get(expr, manager)

static Load(expr, manager)

static Unop(expr, manager)

static Binop(expr, manager)

static Triop(expr, manager)

static Const(expr, manager)

static const_n(expr, manager)

static ITE(expr, manager)

class ailment.converter_vex.VEXStmtConverter

Bases: Converter

static convert(idx, stmt, manager)

Parameters

idx –
stmt –
manager –

Returns

static WrTmp(idx, stmt, manager)

static Put(idx, stmt, manager)

static Store(idx, stmt, manager)

static Exit(idx, stmt, manager)

static LoadG(idx, stmt: LoadG, manager)

static StoreG(idx, stmt: StoreG, manager)

static CAS(idx, stmt: CAS, manager)

class ailment.converter_vex.VEXIRSBConverter

Bases: Converter

static convert(irsb, manager)

Parameters

irsb –
manager –

Returns

Expressions

class ailment.expression.Expression(*args, **kwargs)

Bases: TaggedObject

The base class of all AIL expressions.

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

depth

has_atom(atom, identity=True)

likes(atom)

replace(old_expr, new_expr)

class ailment.expression.Atom(*args, **kwargs)

Bases: Expression

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

variable

variable_offset

copy()

class ailment.expression.Const(*args, **kwargs)

Bases: Atom

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

value

bits

property size

likes(other)

property sign_bit

copy() → Const

class ailment.expression.Tmp(*args, **kwargs)

Bases: Atom

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

tmp_idx

bits

property size

likes(other)

copy() → Tmp

class ailment.expression.Register(*args, **kwargs)

Bases: Atom

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

reg_offset

bits

property size

likes(atom)

copy() → Register

class ailment.expression.Op(*args, **kwargs)

Bases: Expression

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

op

property verbose_op

class ailment.expression.UnaryOp(*args, **kwargs)

Bases: Op

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

operand

bits

variable

variable_offset

likes(other)

replace(old_expr, new_expr)

property operands

property size

copy() → UnaryOp

has_atom(atom, identity=True)

class ailment.expression.Convert(*args, **kwargs)

Bases: UnaryOp

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

TYPE_INT = 0

TYPE_FP = 1

from_bits

to_bits

is_signed

from_type

to_type

rounding_mode

likes(other)

replace(old_expr, new_expr)

copy() → Convert

class ailment.expression.Reinterpret(*args, **kwargs)

Bases: UnaryOp

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

from_bits

from_type

to_bits

to_type

likes(other)

replace(old_expr, new_expr)

copy() → Reinterpret

class ailment.expression.BinaryOp(*args, **kwargs)

Bases: Op

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

OPSTR_MAP = {'Add': '+', 'AddF': '+', 'And': '&', 'CmpEQ': '==', 'CmpF': 'CmpF', 'CmpGE': '>=', 'CmpGEs': '>=s', 'CmpGT': '>', 'CmpGTs': '>s', 'CmpLE': '<=', 'CmpLEs': '<=s', 'CmpLT': '<', 'CmpLTs': '<s', 'CmpNE': '!=', 'Concat': 'CONCAT', 'Div': '/', 'DivF': '/', 'DivMod': '/m', 'LogicalAnd': '&&', 'LogicalOr': '||', 'Mul': '*', 'MulF': '*', 'Or': '|', 'Sar': '>>a', 'Shl': '<<', 'Shr': '>>', 'Sub': '-', 'SubF': '-', 'Xor': '^'}

COMPARISON_NEGATION = {'CmpEQ': 'CmpNE', 'CmpGE': 'CmpLT', 'CmpGEs': 'CmpLTs', 'CmpGT': 'CmpLE', 'CmpGTs': 'CmpLEs', 'CmpLE': 'CmpGT', 'CmpLEs': 'CmpGTs', 'CmpLT': 'CmpGE', 'CmpLTs': 'CmpGEs', 'CmpNE': 'CmpEQ'}

operands

bits

signed

variable

variable_offset

floating_point

rounding_mode

likes(other)

has_atom(atom, identity=True)

replace(old_expr, new_expr)

property verbose_op

property size

copy() → BinaryOp

class ailment.expression.TernaryOp(*args, **kwargs)

Bases: Op

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

OPSTR_MAP = {}

operands

bits

likes(other)

has_atom(atom, identity=True)

replace(old_expr, new_expr)

property verbose_op

property size

copy() → TernaryOp

class ailment.expression.Load(*args, **kwargs)

Bases: Expression

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

addr

size

endness

guard

alt

variable

variable_offset

property bits

has_atom(atom, identity=True)

replace(old_expr, new_expr)

likes(other)

copy() → Load

class ailment.expression.ITE(*args, **kwargs)

Bases: Expression

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

cond

iffalse

iftrue

bits

variable

variable_offset

likes(atom)

has_atom(atom, identity=True)

replace(old_expr, new_expr)

property size

copy() → ITE

class ailment.expression.DirtyExpression(*args, **kwargs)

Bases: Expression

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

dirty_expr

bits

likes(other)

copy() → DirtyExpression

replace(old_expr, new_expr)

property size

class ailment.expression.VEXCCallExpression(*args, **kwargs)

Bases: Expression

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

cee_name

operands

bits

likes(other)

copy() → VEXCCallExpression

replace(old_expr, new_expr)

property size

class ailment.expression.BasePointerOffset(*args, **kwargs)

Bases: Expression

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

bits

base

offset

variable

variable_offset

property size

likes(other)

replace(old_expr, new_expr)

copy() → BasePointerOffset

class ailment.expression.StackBaseOffset(*args, **kwargs)

Bases: BasePointerOffset

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

copy() → StackBaseOffset

Statement

class ailment.statement.Statement(*args, **kwargs)

Bases: TaggedObject

The base class of all AIL statements.

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

replace(old_expr, new_expr)

eq(expr0, expr1)

class ailment.statement.Assignment(*args, **kwargs)

Bases: Statement

Assignment statement: expr_a = expr_b

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

dst

src

likes(other)

replace(old_expr, new_expr)

copy() → Assignment

class ailment.statement.Store(*args, **kwargs)

Bases: Statement

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

addr

data

size

endness

variable

guard

offset

likes(other)

replace(old_expr, new_expr)

copy() → Store

class ailment.statement.Jump(*args, **kwargs)

Bases: Statement

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

target

target_idx

likes(other)

replace(old_expr, new_expr)

copy()

class ailment.statement.ConditionalJump(*args, **kwargs)

Bases: Statement

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

condition

true_target

false_target

likes(other)

replace(old_expr, new_expr)

copy() → ConditionalJump

class ailment.statement.Call(*args, **kwargs)

Bases: Expression, Statement

Call is both an expression and a statement. The return expression of a call is defined as the ret_expr if and only if the callee function has one return expression.

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

target

calling_convention

prototype

args

ret_expr

fp_ret_expr

likes(other)

property bits

property size

property verbose_op

property op

replace(old_expr, new_expr)

copy()

class ailment.statement.Return(*args, **kwargs)

Bases: Statement

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

target

ret_exprs

likes(other)

replace(old_expr, new_expr)

copy()

class ailment.statement.DirtyStatement(*args, **kwargs)

Bases: Statement

Wrapper around the original statement, which is usually not convertible (temporarily).

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

dirty_stmt

copy() → DirtyStatement

Misc. Things

class ailment.block.Block(addr, original_size, statements=None, idx=None)

Bases: object

Describes an AIL block.

addr

original_size

statements: List[Statement]

idx

copy(statements=None)

likes(other)

class ailment.manager.Manager(name: Optional[str] = None, arch=None)

Bases: object

next_atom()

reset()

property ins_addr: Optional[int]

class ailment.tagged_object.TaggedObject(*args, **kwargs)

Bases: object

A class that takes arbitrary tags.

Create a new instance and set _tags attribute.

Since TaggedObject override __getattr__ method and try to access the _tags attribute, infinite recursion could occur if _tags not ready to exists.

This behavior causes an infinite recursion error when copying TaggedObject with copy.deepcopy.

Hence, we set _tags attribute here to prevent this problem.

idx

initialize_tags(tags)

property tags: Dict

ailment.utils.get_bits(expr: Union[int, Bits, Expression]) → Optional[int]

ailment.utils.stable_hash(t: Tuple) → int

ailment.utils.is_none_or_likeable(arg1, arg2, is_list=False): Returns whether two things are both None or can like each other

ailment — angr Intermediate Language

Converter

Expressions

Statement

Misc. Things

`ailment` — angr Intermediate Language