about summary refs log tree commit diff stats
path: root/miasm2/analysis/dse.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove old api supportFabrice Desclaux2019-02-121-12/+19
* Fix typos & add codespellPierre LALET2018-12-231-3/+3
* Expression: replace arg by ptr in ExprMemFabrice Desclaux2018-10-121-6/+6
* Expresion: use ExprAssign instead of ExprAffFabrice Desclaux2018-10-011-4/+4
* DSE: fix a bug happening in rare caseAjax2018-08-011-3/+6
* IR: gen ircfg from ir_archFabrice Desclaux2018-07-051-17/+23
* Update symbol_pool's deprecated API -> LocationDBAjax2018-07-031-1/+1
* symbol_pool -> loc_dbAjax2018-07-031-7/+7
* Jitcore: remove useless strucs and rename for more meaningful namesAjax2018-06-221-1/+1
* DSE: remove useless changes introduced by 61551fa7Ajax2018-06-111-7/+2
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-091-2/+2
* Expr: Add new word ExprLocFabrice Desclaux2018-06-081-16/+34
* DSE: update doc on attachment in a breakpointAjax2018-05-141-1/+19
* Symbexec: use hashtable for mem symbolsFabrice Desclaux2018-03-151-4/+5
* Add handle_correct_destination()William Bruneau2018-03-121-13/+17
* Fix according to @p-l- commentWilliam Bruneau2018-03-121-2/+2
* Compute branches using the previous addressWilliam Bruneau2018-03-121-2/+9
* Do not use current address to compute path for the new solutionWilliam Bruneau2018-03-121-1/+4
* Reinitialize _history when restoring snapshotWilliam Bruneau2018-03-121-0/+4
* DSE: add support for several strategies (code/branch/path coverage)Ajax2017-09-051-13/+65
* DSE: separate solution decision and solution computationAjax2017-09-051-5/+14
* Asmblock: remove disasm engine job_done attributeFabrice Desclaux2017-07-271-1/+0
* DSE: use registers from the real arch, not the jitter emulated oneAjax2017-07-211-3/+15
* Asmblock: rename blocFabrice Desclaux2017-07-071-1/+1
* IR: rename add_blocFabrice Desclaux2017-07-071-1/+1
* 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