miasm.ir.symbexec.StateEngine Class Reference

Inheritance diagram for miasm.ir.symbexec.StateEngine:

Collaboration diagram for miasm.ir.symbexec.StateEngine:

Public Member Functions
def	merge (self, other)

Detailed Description

Stores an Engine state

Member Function Documentation

merge()

def miasm.ir.symbexec.StateEngine.merge	(		self,
			other
	)

Generate a new state, representing the merge of self and @other
@other: a StateEngine instance

Reimplemented in miasm.ir.symbexec_types.SymbolicStateCTypes, miasm.ir.symbexec_top.SymbolicStateTop, and miasm.ir.symbexec.SymbolicState.

---

The documentation for this class was generated from the following file:

• /home/serpilliere/projet/test_doc_miasm/miasm/miasm/ir/symbexec.py