int3.factor

int3.factor.compute_factor.compute_factor(factor_ctx: FactorContext) → FactorResult

Emit sets of operations that achieve the target value.

The start argument may specify an initial start value. When omitted, one will be selected by the SAT engine.

class int3.factor.factor_clause.FactorClause(operation: FactorOperation, operand: int)

A operation/operand clause within a factor result.

class int3.factor.factor_context.FactorContext(arch: Architecture, target: int, bad_bytes: bytes = b'', max_depth: int = 3, byte_width: int = 8, allow_overflow: bool = True, width: int | None = None, allowed_ops: Sequence[FactorOperation] | None = None, forbidden_ops: Sequence[FactorOperation] | None = None, start: int | None = None)

The context for a factoring solve.

class int3.factor.factor_operation.FactorOperation(*values)

Supported factor operations.

class int3.factor.factor_result.FactorResult(clauses: tuple[FactorClause, ...])

The result of a factoring solve.