7/11/2023 0 Comments Linux disassembler pythonvarious generic "helpers" and arch-dependent pretty printers to allow custom look-and-feel configurations (think AT&T vs. various classes implementing usual disassembly techniques like linear sweep, recursive traversal, or more elaborated techniques like path-predicate which relies on SAT/SMT solvers to proceed with discovering the control flow graph or even to implement techniques like DARE (Directed Automated Random Exploration). a generic execution model wich provides an abstract memory model to deal with concrete or symbolic values transparently, and other system-dependent features. a symbolic algebra module which allows to describe the semantics of every instructions and compute a functional representation of instruction blocks. a generic framework for decoding instructions, developed to reduce the time needed to implement support for new architectures. Amoco is a python package dedicated to the (static) analysis of binaries.
0 Comments
Leave a Reply. |