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 ...
Naive range analysis for expression
Intervals with a maximum size, supporting modular arithmetic