about summary refs log tree commit diff stats
path: root/miasm2/analysis (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* IR: gen ircfg from ir_archFabrice Desclaux2018-07-056-92/+104
|
* IR: remove default regs_init for symbexecFabrice Desclaux2018-07-051-2/+2
|
* Analysis: Remove unused functionFabrice Desclaux2018-07-051-30/+0
|
* Update symbol_pool's deprecated API -> LocationDBAjax2018-07-034-5/+5
|
* symbol_pool -> loc_dbAjax2018-07-034-29/+35
|
* Jitcore: remove useless strucs and rename for more meaningful namesAjax2018-06-221-1/+1
|
* Code cleaning: remove useless / commented codeAjax2018-06-213-76/+1
|
* Jitter: add simple trace apiFabrice Desclaux2018-06-211-6/+5
|
* Example/ida: use addr to guess archFabrice Desclaux2018-06-191-0/+2
| | | | | Some arch like ARM depends on address in order to determine which attributes have to be used during analysis
* DSE: remove useless changes introduced by 61551fa7Ajax2018-06-111-7/+2
|
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-096-108/+109
|
* Expr: Add new word ExprLocFabrice Desclaux2018-06-082-43/+61
| | | | | This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here.
* Remove TCC jitter engineAjax2018-05-161-1/+1
|
* DSE: update doc on attachment in a breakpointAjax2018-05-141-1/+19
|
* Remove debug codeFabrice Desclaux2018-05-091-4/+0
|
* Update Mips runtimeFabrice Desclaux2018-05-021-0/+65
|
* Sandbox/arm: Add armtlFabrice Desclaux2018-04-181-0/+70
|
* Arm: add armt jitterFabrice Desclaux2018-04-181-0/+5
|
* Fix memory breakpoint nameFabrice Desclaux2018-03-281-1/+1
|
* Symbexec: use hashtable for mem symbolsFabrice Desclaux2018-03-153-14/+16
|
* 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
| | | | | | '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 solutionWilliam Bruneau2018-03-121-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 snapshotWilliam Bruneau2018-03-121-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.
* Sandbox: on Linux env import, also set the ABORT_ADDRAjax2018-03-051-18/+20
|
* Add support for PowerPC 32bit big-endian processors: "ppc32b"Aymeric Vincent2018-02-262-1/+97
|
* Set CALL_FINISH_ADDR to 0x13371acc to be 4 bytes alignedAymeric Vincent2018-02-221-1/+1
|
* Rename CALL_FINNISH_ADDR to CALL_FINISH_ADDRAymeric Vincent2018-02-221-3/+3
|
* Fix tipoFabrice Desclaux2018-02-091-1/+1
|
* DataFlow: Normalize class namesFabrice Desclaux2018-02-091-20/+25
|
* IRBlock: getitem/len on assignblksFabrice Desclaux2018-02-093-11/+11
|
* IRBlock: irblock iterates on its assignblksFabrice Desclaux2018-02-094-33/+33
|
* IRBlock: replace irs by assignblksFabrice Desclaux2018-02-095-20/+20
|
* append b to the opens mode ; Python on Windows makes a distinction between ↵w4kfu2018-01-161-3/+3
| | | | text and binary files
* Remove unused sandbox optionWilliam Bruneau2017-12-151-2/+0
|
* Ctypes: allow analysis on incomplete graphsFabrice Desclaux2017-10-031-2/+5
|
* 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
| | | | Avoid potential useless and costly Solver.check
* Example: add ctype_propagationFabrice Desclaux2017-08-081-0/+178
|
* Asmblock: remove disasm engine job_done attributeFabrice Desclaux2017-07-271-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 oneAjax2017-07-211-3/+15
| | | | Fix the snapshot to use EIP in x86-32 instead of RIP
* Asmblock: rename blocFabrice Desclaux2017-07-071-1/+1
|
* IR: rename add_blocFabrice Desclaux2017-07-072-3/+3
|
* IR: rename get_blocFabrice Desclaux2017-07-071-1/+1
|
* Merge pull request #522 from serpilliere/ir_roCamille Mougey2017-06-062-29/+22
|\ | | | | Ir ro
| * IR: avoid IRBlock attribute creationFabrice Desclaux2017-05-241-27/+18
| |
| * IR: Make IRBlock immutableFabrice Desclaux2017-05-241-2/+4
| |
* | Ensure there is no multi-line basic block in the cacheAjax2017-05-241-0/+3
|/ | | | | If there was any, the callback may be called after the execution of several instruction, instead of the expected one-by-one
* Merge pull request #536 from commial/refactor/gcc-default-jitterserpilliere2017-04-211-2/+2
|\ | | | | Refactor/gcc default jitter