miasm2.analysis module
High-level tools for binary analysis
"High-level tools for binary analysis"
Sub-modules
Data flow analysis based on miasm intermediate representation
Provide dependency graph
Dynamic symbolic execution module.
Offers a way to have a symbolic execution along a concrete one. Basically, this is done through DSEEngine class, with scheme:
dse = DSEEngine(Machine("x86_32")) dse.attach(jitter)
The DSE state can be updated through:
- .update_state_from_concrete: update the ...
miasm2.analysis.expression_range
Naive range analysis for expression
miasm2.analysis.modularintervals
Intervals with a maximum size, supporting modular arithmetic