about summary refs log tree commit diff stats
path: root/miasm2/analysis/dse.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* Ensure there is no multi-line basic block in the cacheAjax2017-05-241-0/+3
* DSE: support absence of z3Ajax2017-04-211-2/+9
* Handle symbolic exec stuck on lbl_genAjax2017-04-181-38/+61
* Introduce a module for Dynamic Symbolic ExecutionAjax2017-04-181-0/+522