about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* x86 arch: fix prefix/rex encoding, add mnemoserpilliere2014-06-251-3/+48
|
* Asmbloc: fix get_flow_instr for non zero delayslot archserpilliere2014-06-241-0/+2
|
* Cpu: bs_mod_name accept dictserpilliere2014-06-241-1/+7
|
* Fix operand unify irem/imodserpilliere2014-06-244-8/+4
|
* Win api: fix api (tx a.guinet)serpilliere2014-06-191-1/+1
|
* jitter: modify vm_set_mem to set exception flagsserpilliere2014-06-173-7/+19
|
* mergeserpilliere2014-06-177-59/+122
|\
| * Test: Yes, we can use a function to invoke all jitter each timeajax2014-06-161-33/+23
| |
| * Jitter Python: Add the rest of tests (unpack_upx is very long)ajax2014-06-161-0/+4
| |
| * Jitter Python: check all memory exceptions only on new instruction (in assembly)ajax2014-06-161-5/+13
| |
| * Test: Add "python" jitter for few testsajax2014-06-161-0/+4
| |
| * Jitter Python: Init without alias (fix CPU update bug), manage memory exceptionsajax2014-06-161-1/+13
| |
| * Archs: Introduce "all_regs_id_no_alias", a list of all main registers ↵ajax2014-06-164-0/+25
| | | | | | | | without their aliases
| * Jitter Python: Reorganize the Jit function builderajax2014-06-161-19/+48
| | | | | | | | | | - Rewrite updates (engine and JitCpu) in subfunctions - Explode eval block in an eval_ir loop to gain more control
| * Jitter: VmMngr: Avoid code duplication && set exceptions flags on "vm_set_mem"ajax2014-06-161-14/+5
| |
* | Arm sem: normalize argumentsserpilliere2014-06-161-121/+137
| |
* | Arm sem: rename semantic local variablesserpilliere2014-06-161-94/+94
| |
* | Arm sem: add mnemonics (tx to nsarlin)serpilliere2014-06-162-3/+38
|/ | | | TODO: fix cf shifters
* Test: add arm test with symbexec engineserpilliere2014-06-161-0/+1
|
* Jit python: handle jump to ExprId (asm_label)serpilliere2014-06-161-2/+5
|
* Test: Add a new test for Python jitterajax2014-06-141-0/+1
|
* Jitter: Add basic write handling in Python Jitterajax2014-06-141-1/+39
|
* Test: Add "tcc", "llvm" and "python" jitter for the example "test_jit_x86_32"ajax2014-06-141-1/+3
|
* Example: Update Test Jit x86_32: OptParse -> ArgParse, "--jitter" argumentajax2014-06-141-12/+9
|
* Jitter: Add PoC jitter engine based on Miasm2 Symbolic execution engineajax2014-06-142-0/+104
| | | | | | | | This way, we hope to: - make symbexec more reliable - provide a full Python based Jitter (but *very* slow) Currently, memory writes, self-modiying code and exceptions aren't handled
* Jitter: Update jit_call API to use JitCpu & VmMngr instance instead of their ↵ajax2014-06-141-4/+4
| | | | structure pointer
* x86 SEM: Fix LOOPNE, LOOPE. Use ExprCond instead of ExprOp('==')ajax2014-06-141-12/+12
|
* Simplification: fix bug in simplification (tx to Florent Monjalet)serpilliere2014-06-131-1/+1
|
* Test: Add LLVM jitter in md5_arm exampleajax2014-06-132-2/+3
|
* Jitter LLVM: Fix an issue with pointer collision cachingajax2014-06-131-1/+1
|
* Jitter LLVM: Add architecture dependent libs for ARMajax2014-06-131-1/+2
|
* ARM: Add API to be LLVM compliantserpilliere2014-06-131-0/+154
|
* Jitter LLVM: Force ret size to 64 to comply with llvm_exec_funcajax2014-06-131-1/+1
|
* Arm sem: remove == operatorserpilliere2014-06-131-8/+9
|
* Jitter: Fix compilation on macserpilliere2014-06-131-0/+3
|
* Jitter: Remove inline for clang compilationserpilliere2014-06-133-13/+13
|
* jit: remove verbose outputserpilliere2014-06-135-32/+6
|
* Simplification: detect and handle == conditionserpilliere2014-06-134-23/+38
| | | | Add corresponding regression tests
* merge; fix x86 ror/rolserpilliere2014-06-125-535/+796
|\ | | | | | | rol ror mask shifter in semantic instead of in expr_simpl
| * Simplifications: Add symetric cond catching + corresponding testsajax2014-06-122-2/+40
| |
| * Simplifications_cond: Fix size issue, add constructorajax2014-06-122-7/+26
| | | | | | | | | | | | | | | | | | I could have use a child class of ExprOp specific for conditions, but I prefer to keep a better modularity by just using "<s", "<u" as a new op I don't add the size issue in expression/expression.py (such as 'parity') because we don't want dependencies from this file to expression/simplifications_cond (for TOK_*)
| * Test: Simplifications: Use ".msb()" instead of hard coded [31:32]ajax2014-06-121-2/+2
| |
| * Simplifications: Add regression tests for simplifications_condajax2014-06-121-1/+30
| |
| * Simplifications: Add basic conditions detectionajax2014-06-122-4/+175
| |
| * Simplifications: Export common simplifications to an extern fileajax2014-06-092-504/+508
| |
* | x86: int is set to splitflow (fix by Florent Monjalet)serpilliere2014-06-121-0/+2
| |
* | expression: fix rol/ror simplifications (fix by fperigaud)serpilliere2014-06-122-2/+8
|/
* Gdbserver: assert EIP with jitter PCajax2014-06-041-0/+6
|
* Debugging: fix watchmem second argajax2014-06-041-4/+5
|
* test_ida: fix missing importserpilliere2014-06-041-0/+1
|