| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove old api support | Fabrice Desclaux | 2019-02-12 | 1 | -12/+19 |
| | | |||||
| * | Fix typos & add codespell | Pierre LALET | 2018-12-23 | 1 | -3/+3 |
| | | |||||
| * | Expression: replace arg by ptr in ExprMem | Fabrice Desclaux | 2018-10-12 | 1 | -6/+6 |
| | | |||||
| * | Expresion: use ExprAssign instead of ExprAff | Fabrice Desclaux | 2018-10-01 | 1 | -4/+4 |
| | | | | | | | ExprAff stands for (in french) "Expression affectation" We will now use ExprAssign (for Expression Assignment) (instead of ExprAss) | ||||
| * | DSE: fix a bug happening in rare case | Ajax | 2018-08-01 | 1 | -3/+6 |
| | | | | | | | | When the symb_concrete execution is needed, EmulationSymbExec is used. In the previous version, it was writing in Memory. If the current instruction is reading and writing at the same place, the jitter instance may have a different behavior than the symb concrete one | ||||
| * | IR: gen ircfg from ir_arch | Fabrice Desclaux | 2018-07-05 | 1 | -17/+23 |
| | | |||||
| * | Update symbol_pool's deprecated API -> LocationDB | Ajax | 2018-07-03 | 1 | -1/+1 |
| | | |||||
| * | symbol_pool -> loc_db | Ajax | 2018-07-03 | 1 | -7/+7 |
| | | |||||
| * | Jitcore: remove useless strucs and rename for more meaningful names | Ajax | 2018-06-22 | 1 | -1/+1 |
| | | |||||
| * | DSE: remove useless changes introduced by 61551fa7 | Ajax | 2018-06-11 | 1 | -7/+2 |
| | | |||||
| * | Core: replace AsmLabel by LocKey | Fabrice Desclaux | 2018-06-09 | 1 | -2/+2 |
| | | |||||
| * | Expr: Add new word ExprLoc | Fabrice Desclaux | 2018-06-08 | 1 | -16/+34 |
| | | | | | | This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here. | ||||
| * | DSE: update doc on attachment in a breakpoint | Ajax | 2018-05-14 | 1 | -1/+19 |
| | | |||||
| * | Symbexec: use hashtable for mem symbols | Fabrice Desclaux | 2018-03-15 | 1 | -4/+5 |
| | | |||||
| * | Add handle_correct_destination() | William Bruneau | 2018-03-12 | 1 | -13/+17 |
| | | |||||
| * | Fix according to @p-l- comment | William Bruneau | 2018-03-12 | 1 | -2/+2 |
| | | |||||
| * | Compute branches using the previous address | William Bruneau | 2018-03-12 | 1 | -2/+9 |
| | | | | | | | 'destination' is the address that we could have reached instead of the current address. Therefore the new branch that can be reach with the new solution is 'previous_addr -> destination'. | ||||
| * | Do not use current address to compute path for the new solution | William Bruneau | 2018-03-12 | 1 | -1/+4 |
| | | | | | | | | When using path coverage strategy we do not want to include the current address in the path that will be reached by the new solution. Indeed, 'destination' is the address that we could have reached instead of the current address using the new solution. | ||||
| * | Reinitialize _history when restoring snapshot | William Bruneau | 2018-03-12 | 1 | -0/+4 |
| | | | | | | | Each time we restore a snapshot we want to restore _history. If not done, each time we use restore_snapshot() we continue appending the new _history to the old one. | ||||
| * | 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 |
| | | | | | Avoid potential useless and costly Solver.check | ||||
| * | Asmblock: remove disasm engine job_done attribute | Fabrice Desclaux | 2017-07-27 | 1 | -1/+0 |
| | | | | | | | | | | | | WARNING: disasmEngine behaviour modification Before patch: job_done containted the already disassembled addresses. If the user disassembled twice the same addresse, the engine will return empty object on the second call. After patch: If the user disassemble twice the same addresse, the engine will return result of the disassembling in both cases. | ||||
| * | DSE: use registers from the real arch, not the jitter emulated one | Ajax | 2017-07-21 | 1 | -3/+15 |
| | | | | | Fix the snapshot to use EIP in x86-32 instead of RIP | ||||
| * | 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 |
| | | | | | | If there was any, the callback may be called after the execution of several instruction, instead of the expected one-by-one | ||||
| * | 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 |