| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | DSE: add support for several strategies (code/branch/path coverage) | Ajax | 2017-09-05 | 1 | -13/+65 |
| * | DSE: separate solution decision and solution computation | Ajax | 2017-09-05 | 1 | -5/+14 |
| * | Asmblock: remove disasm engine job_done attribute | Fabrice Desclaux | 2017-07-27 | 1 | -1/+0 |
| * | DSE: use registers from the real arch, not the jitter emulated one | Ajax | 2017-07-21 | 1 | -3/+15 |
| * | Asmblock: rename bloc | Fabrice Desclaux | 2017-07-07 | 1 | -1/+1 |
| * | IR: rename add_bloc | Fabrice Desclaux | 2017-07-07 | 1 | -1/+1 |
| * | Ensure there is no multi-line basic block in the cache | Ajax | 2017-05-24 | 1 | -0/+3 |
| * | DSE: support absence of z3 | Ajax | 2017-04-21 | 1 | -2/+9 |
| * | Handle symbolic exec stuck on lbl_gen | Ajax | 2017-04-18 | 1 | -38/+61 |
| * | Introduce a module for Dynamic Symbolic Execution | Ajax | 2017-04-18 | 1 | -0/+522 |